由罗素的理发师悖论引发的第三次数学危机:历史背景、产生原因、如何解决、意义影响( 二 )


1931年,奥地利数学家哥德尔(1906~1972)发表了《论“数学原理”和有关体系的形式不可判定命题》的论文,给出了两个“不完备定理”,这是“数学和逻辑基础方面伟大的划时代的贡献” 。哥德尔第一定理推翻了数学的所有领域能被完全公理化这一强烈的信念;而第二定理则摧毁了沿着希尔伯特等人设想过的路线证明数学内部相容性的全部希望 。从此,前述三大数学流派为克服“危机”、寻找可靠数学基础的努力全部化为泡影!于是,数学家们再次陷入困惑,人们在困惑中沿着不完备定理这一指路明灯进入新一轮的思考和探索 。
不完备定理表明,任何所谓严密形式体系都不是天衣无缝的,没有哪个重要的部门能保证自己没有内在矛盾,人的智慧源泉不能被完全公理化;新的证明原则等待我们去发现或发明,某些被认可的数学哲学应重新评价,其中有的会被更新或废弃 。这种认识论上的飞跃为我们开拓了广阔的视野 。
由“悖论”这一“怪圈”引出“危机”,探究克服“危机”完善了三大数学流派,摧毁这些流派的幻想出现哥德尔不完备定理,导致至今尚未完结的探索,这是发生在数学领域里近一个世纪的事 。


推荐阅读