|
|||||
|
|
| 证明论及其发展 | |
| 作者姓名： | 徐云从 |
| 作者单位： | 北京计算机学院 |
| 摘 要： | (一) 众所周知,Russell悖论的出现曾经引起数学史上关于数学奠基问题的第三次大论战。 Hilbert为了保卫古典数学陆续于本世纪20年代前后发表了证明论(即元数学)的主张。他认为:包括Cantor集论在内的古典数学是“我们最有价值的宝藏”,而传统逻辑中的排中律是“普遍有效的”,应该保存这些古典数学的“有成效的概念结构和推理方法”。然而“绝对无穷概念的命题确实是超越人们直观性证据之外”的东西,它“是通过人们的心智过程被插入或外推出来的概念”。但是实无穷在数学思维中是不可缺少的,应 |
| 本文献已被 CNKI 等数据库收录！ | |