打字猴:1.701056969e+09
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
1701057000 (15) 莫尔,1982年,第178页。
1701057001
1701057002 (16) 莫尔,1982年,第178页。
1701057003
1701057004 (17) 同上。
1701057005
1701057006 (18) 同上书,第167页。
1701057007
1701057008 (19) 罗素,怀特海文集,1997年,第viii页。
1701057009
1701057010 (20) 道本,1990年,第267页。
1701057011
1701057012 (21) 克莱因,1980年,第211—212页。
1701057013
1701057014 (22) 道本,1990年,第268页。
1701057015
1701057016
1701057017
1701057018
[ 上一页 ]  [ :1.701056969e+09 ]  [ 下一页 ]