1701056950
数学恩仇录：数学家的十大论战 [:1701054520]
1701056951
数学恩仇录：数学家的十大论战 不完备性
1701056952
1701056953
当一些数学家们忙着钻研，而另一些人却深受那些悖论——花园里的大象的困扰。但策梅洛并不仅仅希望解决悖论问题。他还有诸如希尔伯特等其他数学家，曾认为对集合论可靠的公理化会成为算术理论，实际上也为一般的数学打下坚实的基础。但事情没有那样发展。
1701056954
1701056955
在20世纪30年代，奥地利出生的年轻数学家库尔特·哥德尔（Kurt Godel）展示的一些成果表明，从本质上来说，这样一种公理化，无论多么谨慎地提出来，都永远不可能为数学提供出预想中的坚实基础。哥德尔的不完备理论（incompleteness theory）说明对于给定的任何系统来说，在系统中都有不能在系统内证明的命题。换言之，不能依靠完全在系统内的研究来构建集合论的一致性，无论怎样构建它都不行。只有运用更高一级的原理或外部的原理，才能得到这种一致性。
1701056956
1701056957
约瑟夫·道本解释说：“哥德尔说明了，在任何丰富得足够容纳基本算术的系统中，总会有既不能被证明又不能被推翻的理论。它们是悬而未决的，看起来很有可能的是：康托尔的连续统假设可能是这种悬而未决命题的突出例子。”(22)
1701056958
1701056959
后来在1963年，斯坦福大学的数学家保罗·J·科恩（Paul J. Cohen）证明了哥德尔的成果所提出的一些问题。科恩说明，在集合论里，不管是连续统假设还是选择公理，包括策梅洛-弗兰克尔的公理化安排，都不能证明是正确的。
1701056960
1701056961
1701056962
1701056963
1701056964
事实上，科恩进一步相信连续统假设实际上是错误的——在和c之间可以有一个超限数，数学家们有一天会表明这一点。当然如果康托尔能看到这一天，他会伤透了心。科恩是这样考虑的：他疑惑为什么像连续统（c，有时以2的方形式给出）这样一个涵盖丰富的概念应该在势上跟集合一样简单。他更进一步地认为，将来可能会证明连续统比任何超限阿列夫数都要大。
1701056965
1701056966
总之，对于希尔伯特的第一个问题（证明康托尔的连续统假设），我们有了一个答案（各种各样的）。并且很显然，部分答案取决于我们在开始时选择哪种公理作为基础开展我们的研究。
1701056967
1701056968
康托尔的集合论和各种各样对它的反对（通常是很强烈的）将数学带到了一个艰难的关口。当然，长期以来珍爱数学并视其为一门富有逻辑、严格和确定的学科的观点已经被严重损害了。很多数学家不仅对问题有了完全不同的看法，而且他们开始学派纷立，各自持论格格不入。
1701056969
1701056970
例如，悖论产生了很大影响，特别是对于那些关注数学基础的人，因为整个他们钟爱学科的基础看起来开始动摇了，要不就是建立在一个不牢固的基础上。从大约20世纪之交起，相当多的数学家投入到这个问题的研究中来，但他们分成了几个互相敌对的团体。这些人逐渐形成了三个主要团体或者说学派：以伯特兰·罗素和阿尔弗莱德·诺斯·怀特海为首的逻辑主义学派；利奥波德·克罗内克建立、朱尔斯·亨利·庞加莱给予部分支持、鲁伊兹·布劳威尔和赫尔曼·外尔（Hermann Weyl）为之冲锋陷阵的直觉主义学派；戴维·希尔伯特领导的形式主义学派。我们将在稍后的章节讨论后两个学派。在下一章里，我们将关注罗素的逻辑主义和他怎样发展逻辑主义，同时还有庞加莱的争论以及他为何这样做。
1701056971
1701056972
(1) 莫尔，1982年，第42页。
1701056973
1701056974
(2) 马迪，1990年，第117页。
1701056975
1701056976
(3) 贝尔，1945年，第484页。
1701056977
1701056978
(4) 参见：如莫尔，1982年，第93—141页。
1701056979
1701056980
(5) 杰威尔（Jervell），1996年，第96页。
1701056981
1701056982
(6) 罗素，海兹曼文集，1986年，第72—73页。
1701056983
1701056984
(7) 莫尔，1982年，第313页。
1701056985
1701056986
(8) 杰威尔（Jervell），1996年，第96页。
1701056987
1701056988
(9) 莫尔，1982年，第159页。
1701056989
1701056990
(10) 一个数学理论或体系中，它的任何部分都不与其他部分不一致或矛盾，那么就说它是连贯的。
1701056991
1701056992
(11) 克莱因，1980年，第211页。
1701056993
1701056994
(12) 马迪，1990年，第118页。
1701056995
1701056996
(13) 同上。
1701056997
1701056998
(14) 马迪，1990年，第121页。
1701056999