×

罗素和哥德尔。 (英语) Zbl 1380.03007号

摘要:本文调查了罗素和哥德尔之间的互动,包括个人和智力方面的互动。在描述了罗素对哥德尔的影响之后,最后讨论了罗素对于不完全性定理的反应。

MSC公司:

03-03 数学逻辑和基础的历史
01年6月 20世纪数学史
03F40型 哥德尔数与不完全性问题
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

参考文献:

[1] 阿内利斯。,哥德尔的结果让伯特兰·罗素感到惊讶吗?发布到FOM电子邮件列表,2010年3月30日。
[2] 丘吉尔。,罗素的命题同一性理论。《自然哲学》,第21卷(1984年),第513-522页。
[3] 克劳塞·威廉斯。,罗素回忆,牛津大学出版社,伦敦,纽约,1970年。
[4] 道森J。W.,《逻辑困境:库尔特·哥德尔的生活和工作》,A.K.彼得斯,马萨诸塞州韦尔斯利,1997年·兹伯利0866.03003
[5] 范伯格B。和KasrilsR。(编辑),亲爱的伯特兰·罗素(Bertrand Russell)……《1950-1968年与公众通信精选》,乔治·艾伦(George Allen)和安文(Unwin)有限公司,伦敦,1969年。
[6] 弗雷格。,《哲学与数学函件》(GabrielG、HermesH、KambartelF、ThielC和VeraartA编辑),芝加哥大学出版社,芝加哥,1980年,布莱恩·麦吉尼斯(Brian McGuinness)摘自德语版,汉斯·卡尔(Hans Kaal)翻译·Zbl 0502.03002号
[7] 哥德尔。,《数学原理与系统》第一卷《数学与物理》第38卷(1931年),第173-198页。
[8] 哥德尔。,罗素的数学逻辑,《伯特兰·罗素的哲学》(《生活哲学家图书馆》第5卷)(SchilppP.A.,编辑),西北大学,埃文斯顿,1944年,第123-153页,[10,第119-141]。
[9] 哥德尔。,什么是康托连续统问题?《美国数学月刊》,第54卷(1947),第515-525页,[10,第176-187].10.2307/2305929页·Zbl 0038.03003号 ·doi:10.2307/2305929
[10] 哥德尔。,《作品集》,第二卷:《1938-1974年出版物》(费弗曼S.、道森J.W.Jr.、克莱纳S.C.、穆勒G.H.、索洛韦R.M.和范海耶诺特J.,编辑),牛津大学出版社,纽约,1990年·Zbl 0698.01023号
[11] 哥德尔。,《文集》,第三卷:未发表的论文和讲座(费弗曼、道森·J·W·Jr.、戈德法布·W·、帕森斯·C·和索洛韦·R·M·编辑),牛津大学出版社,纽约,1995年·Zbl 0826.01038号
[12] 哥德尔。,作品集,第四卷:通讯A-G(FefermanS.,DawsonJ.W.Jr.(主编),GoldfarbW。,帕森斯C。,和SiegW。,编辑),牛津大学出版社,纽约,2003年·Zbl 1026.01019号
[13] 哥德尔。,作品集,第五卷:通信H-Z(FefermanS.,DawsonJ.W.Jr.(主编),GoldfarbW。,帕森斯C。,和SiegW。,编辑),牛津大学出版社,纽约,2003年·Zbl 1026.01020号
[14] 格拉坦-吉尼斯。,《寻找数学根,1870-1940:从康托到罗素再到哥德尔的逻辑学、集合论和数学基础》,普林斯顿大学出版社,新泽西州普林斯顿,2000年·Zbl 0962.0302号
[15] 亨金。,逻辑和数学是相同的吗?《科学》,第138卷(1962年),第788-794.10.1126/科学138.3542.788页·Zbl 1225.03008号 ·doi:10.1126/science.138.3542.788
[16] 伊朗。(编辑),伯特兰·罗素:《批判性评估》,第二卷:逻辑和数学,劳特利奇出版社,伦敦,纽约,1999年。
[17] 佩勒姆J。和UrquhartA。,俄罗斯命题,《逻辑、方法论和科学哲学IX》,《第九届国际逻辑、方法论和科学哲学大会论文集》,瑞典乌普萨拉,1991年8月7日至14日,北荷兰,阿姆斯特丹,纽约,1994年,第307-326页·Zbl 0825.03024号
[18] 奎因W。V.,《我的一生:自传》,麻省理工学院出版社,马萨诸塞州剑桥,1985年。
[19] 理查兹。A.Beyond,Harcourt Brace Jovanovich,纽约,1974年。
[20] 罗德里格斯咨询公司。,罗素,哥德尔和逻辑主义,数学哲学,第15届国际维特根斯坦研讨会论文集,第1部分,1993年,再版于[16],第320-329页,第233-242页·Zbl 0840.01023号
[21] 罗素B。,关于表示。《心灵》,第14卷(1905年),第479-493页。
[22] 罗素B。,逻辑悖论。《医学与道德评论》,第14卷(1906年),第627-650页。
[23] 罗素B。,《数学哲学导论》,第二版,乔治·艾伦和昂文,伦敦,1920年·Zbl 0865.03001号
[24] 罗素B。,按时完成订单。《剑桥哲学学会学报》,第32卷(1936年),第216-228.10.1017/S0305004100001766页·doi:10.1017/S0305004100001766
[25] 罗素B。,《数学原理》(The Principles of Mathematics),乔治·艾伦(George Allen)和安文(Unwin),伦敦,1937年,第二版:1903年首次出版。
[26] 罗素B。,《意义与真理的探究》,第一版,W.W.Norton and Company,Inc.,纽约,1940年。
[27] 罗素B。,逻辑实证主义。《论战》,第1卷(1945年),第6-13页,重印于[35,第148-155]。
[28] 罗素B。,怀特黑德和数学原理。《心智》,第57卷(1948年),第137-138页,转载于[35,第190-191]页。
[29] 罗素B。,逻辑实证主义。《国际哲学评论》,第4卷(1950年),第3-19页,重印于[30,第323-343]。
[30] 罗素B。,《逻辑与知识》(MarshR.C.,编辑),乔治·艾伦(George Allen)和安文(Unwin),伦敦,1956年。
[31] 罗素B。,伯特兰·罗素1914-1944自传:第二卷,利特尔、布朗和公司,波士顿,多伦多,1968年,大西洋月刊。
[32] 罗素B。,《伯特兰·罗素自传1944-1967:第三卷》,乔治·艾伦和安文,伦敦,1969年。
[33] 罗素B。,我的“批判性回复”补遗,《伯特兰·罗素的哲学》(SchilppP.A.编辑),《生活哲学家图书馆》,第五卷,第四版,公开法庭,伊利诺伊州拉萨尔,1971年,第xvii-xx页。
[34] 罗素B。,《符号逻辑中的“不可溶性”及其解决方案》,贝特兰·罗素(莱基博士,编辑),乔治·布雷西勒,纽约,1973年,第190-214页。
[35] 罗素B。,论文集第11卷:1943-1968年《最后的哲学遗嘱》(SlaterJ.G.,在彼得·科尔纳(Peter Köllner)编辑的协助下),劳特利奇出版社,伦敦,纽约,1997年。
[36] 罗素B。,论文集第5卷;《走向1905-1908年的数学原理》(MooreG.H.编辑),劳特利奇出版社,伦敦,纽约,2014年。
[37] 亚瑟·席尔普(Arthur SchilppP)。(编辑),《伯特兰·罗素的哲学》,生活哲学家图书馆,第5卷,西北大学,伊利诺伊州埃文斯顿,1944年。
[38] Urquhart公司。,《逻辑与外延,罗素vs.美浓:论外延》(GriffinN.和JacquetteD.,编辑)的遗产,Routledge,纽约,2008年。
[39] 乌尔库哈特。,《Principia Mathematica:前100年》,《Palgrave Mathematia百年伴侣》(编辑格里芬和林斯基),帕尔格雷夫·麦克米伦,亨德米尔斯,汉普郡贝辛斯托克,2013年,第3-20.10.1057/9781137344632_1页·Zbl 1298.03016号 ·doi:10.1057/9781137344632_1
[40] 王华。,关于库尔特·哥德尔的一些事实。《符号逻辑杂志》,第46卷(1981年),第653-659.10.2307/2273764页·Zbl 0461.01014号 ·doi:10.2307/2273764
[41] 王华。,《对库尔特·哥德尔的反思》,麻省理工学院出版社,马萨诸塞州剑桥,1987年·Zbl 0628.01022号
[42] 北怀特黑德A。和RussellB。,《数学原理》,剑桥大学出版社,1910-1913,第1卷,1910年,第2卷,1913年,第3卷,1913。
[43] 北怀特黑德A。和RussellB。,《数学原理》第1卷第二版,剑桥大学出版社,剑桥,1927年。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。