库尔特·哥德尔 Kurt Gödel

来自集智百科 - 复杂系统|人工智能|复杂科学|复杂网络|自组织
薄荷（讨论 | 贡献）2021年7月11日 (日) 23:34的版本 （→‎职业生涯）
跳到导航 跳到搜索


库尔特·哥德尔
类别 信息
姓名： 库尔特·哥德尔 Kurt Gödel
出生日期： 1906年4月28日
出生地： 布鲁恩，Austria-Hungary
死亡地： 普林斯顿，新泽西州，美国。
母校： 维也纳大学
所在机构： 高等研究院
主要研究方向： 数学，数理逻辑，分析哲学，物理
成就： 哥德尔不完备性定理，哥德尔完备性定理，哥德尔可构造宇宙，哥德尔度量封闭类时曲线，哥德尔逻辑，哥德尔达米特逻辑，哥德尔的β函数，哥德尔编号，哥德尔运算，哥德尔加速定理，哥德尔逻辑证明理论， 连续统假设与 ZFC ，构造性公理的一致性，冷凝引理， 方言解释，弹弓论点
博士生导师： Hans Hahn
获得荣誉：

库尔特·弗里德里希·哥德尔 Kurt Friedrich Gödel（1906年4月28日至1978年1月14日）是一位逻辑学家、数学家和分析哲学家。与亚里士多德 Aristotle和哥特洛布·弗雷格 Gottlob Frege一起被认为是历史上最重要的逻辑学家之一。当时其他人，如伯特兰·罗素 Bertrand Russell、[2]阿尔弗雷德·诺斯·怀特黑德 Alfred North Whitehead[2] 和大卫·希尔伯特 David Hilbert都在分析逻辑和集合论的使用，以理解乔治·坎托 Georg Cantor开创的数学基础。


1931年，25岁的哥德尔在[[维也纳大学]完成博士学位一年后，发表了两篇不完全性定理。第一个不完全性定理指出，对于任何强大到足以描述自然数的算术的自洽递归公理系统，都存在无法从公理证明的关于自然数的真实命题。为了证明这个定理，哥德尔发展了一种技术，现在称为哥德尔编码，它将形式表达式编码为自然数。


哥德尔在12岁时自动成为捷克斯洛伐克公民，因为奥匈帝国在第一次世界大战中失败而垮台。(根据他的同学的说法，像许多德国人占多数的居民一样，“哥德尔认为自己一直是奥地利人，是捷克斯洛伐克的流亡者”。)1929年2月，他被授予捷克斯洛伐克公民身份，并于4月被授予奥地利公民身份。1938年德国吞并奥地利时，哥德尔在32岁时自动成为德国公民。第二次世界大战后(1948年) ，42岁的他成为了美国公民。


他还指出，如若这些公理一致，选择公理和连续性假设都不能从公认的集合论公理中证伪。前一个结果为数学家在证明中假设选择公理打开了大门。他还通过澄清经典逻辑、直觉逻辑和模态逻辑之间的联系，对证明理论作出了重要贡献。


童年

哥德尔于1906年4月28日出生于布吕尼，出生于奥地利-匈牙利（现布尔诺，捷克共和国）的德国家庭，家中有一家纺织厂的经理Rudolf Gödel（1874-1929），Marianne Gödel（1879-1966年）。[3] 在他的一生中，哥德尔始终与母亲保持着亲密的关系；他们的通信往来频繁而广泛。[4] 在他出生的时候，这座城市包括他的父母在内的大多数人讲德语。[5]他的父亲是天主教徒，母亲是新教徒，孩子们都是新教徒。库尔特哥德尔的祖先经常活跃在布吕恩的文化生活中。例如，他的祖父约瑟夫哥德尔是那个时代的著名歌手，并且有几年是布伦男子合唱团联盟的成员。[6]


奥匈帝国在一战中战败，12岁时，哥德尔自动成为了捷克斯洛伐克公民。（根据他的同学的说法，和德国人占主导地位的捷克苏台德区的许多居民一样，“哥德尔一直认为自己是奥地利人，是捷克斯洛伐克的流亡者。”[7]1929年2月，他被授予捷克斯洛伐克国籍，4月获得奥地利国籍。[8] 1938年纳粹德国吞并奥地利时，哥德尔在32岁时自动成为德国公民。第二次世界大战（1948年）之后，42岁的他成为美国公民。[9]


在他的家庭里，年轻的哥德尔因为他贪得无厌的好奇心被称为(“为什么先生”) 。据哥德尔的哥哥鲁道夫说，哥德尔在六七岁的时候得了风湿热，他已经完全康复了，但是在他的余生里，他始终坚信他的心脏受到了永久性的损伤。从四岁开始，哥德尔就患有“频繁发作的健康状况不佳” ，这种状况一直持续到他的一生。[10]


哥德尔于1912年至1916年就读于布伦的Evangelische Volksschule，1916年至1924年在Deutsches Staats-Realgymnasium就读，在所有科目中都表现出色，尤其是在数学、语言和宗教方面。尽管库尔特最初擅长语言，但后来他对历史和数学更感兴趣。1920年，他的哥哥鲁道夫 Rudolf（生于1902年）前往维也纳就读于维也纳大学医学院时，更增加了他对数学的兴趣。库尔特学习了加贝尔伯格的速记，歌德的色彩理论和对艾萨克·牛顿 Isaac Newton的批评，以及伊曼努尔·康德 Immanuel Kant的著作。


在维也纳的学习

18岁时，哥德尔与他的兄弟在维也纳会合，进入维也纳大学学习。到那时，他已经掌握了大学水平的数学。虽然最初打算学习理论物理学，但他也参加了数学和哲学课程。在此期间，他采纳了数学实在论的思想。他阅读康德的著作，并与Moritz Schlick、Hans Hahn和Rudolf Carnap一起加入维也纳学派。然后哥德尔学习了数论，但是当他参加了Moritz Schlick 举办的一个研[11]讨会，研究了Bertrand Russell的书《数学哲学导论 Introduction to Mathematical Philosophy》 ，他开始对数学逻辑感兴趣。根据哥德尔的说法，数理逻辑是“一门先于所有其他科学的科学，它包含了所有科学的基本思想和原则。”


在博洛尼亚参加David Hilbert特关于数学系统的完整性和一致性的讲座，可能为哥德尔的一生奠定了基础。1928年，Hilbert和Wilhelm Ackermann出版了《数理逻辑的原理 Principles of Mathematical Logic》 ，在一阶逻辑的导言中提出了完备性的问题:“ 一个形式系统的公理是否足以推导出所有系统模型中真实的每个命题？”


这个问题成为了哥德尔博士论文的主题。1929年，23岁的他在Hans Hahn 的指导下完成了他的博士论文。在其中，他建立了关于一阶谓词演算的同名完备性定理。他在1930年获得博士学位，他的论文（附带一些额外的工作）由维也纳科学院出版。


职业生涯

不完全性定理

/* Styling for Template:Quote */ .templatequote { overflow: hidden; margin: 1em 0; padding: 0 40px; } .templatequote .templatequotecite { 

   line-height: 1.5em;
   /* @noflip */
   text-align: left;
   /* @noflip */
   padding-left: 1.6em;
   margin-top: 0;

}

模板:引述


1930年，哥德尔参加了9月5日至7日在柯尼斯堡举行的第二届精确科学认识论会议。在这里，他发表了他的 不完备性定理。[12]在那篇文章中，他证明了任何强大到足以描述自然数算术的可计算公理系统(例如，Peano 公理或 Zermelo-Fraenkel 集合论与选择公理) : 


If a (logical or axiomatic formal) system is consistent, it cannot be complete.

如果一个(逻辑或公理化的正式)系统是一致的，那么它就不能是完整的。

哥德尔把他的不完全性定理发表在Überformal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme（英文名为“On Formally Undecidable Propositions of Principia Mathematica and Related Systems”）。在这篇文章中，他证明了任何强大到足以描述自然数算术的可计算[[公理系统]（例如，皮亚诺公理 Peano axioms或包含选择公理的策梅洛-弗兰克尔集合论 Zermelo–Fraenkel set theory with the axiom of choice（ZFC） ）：

1. 如果一个（逻辑或公理形式）形式系统是一致性的，它的逻辑就不可能是完整的。

在他1932年的两页论文中，哥德尔反驳了直觉主义逻辑的有限值性。在证明中，他隐含地使用了后来被称为的 哥德尔-达米特中间逻辑 Gödel–Dummett intermediate logic（或哥德尔模糊逻辑）。


2. 公理的一致性不能在它们自己的系统内得到证明。


事后看来，不完全性定理的核心思想相当简单。哥德尔基本上构造了一个公式，证明它在给定的形式系统中是不可证明的。如果这是可以证明的，那就错了。因此，总会有至少一个真实但无法证明的陈述。也就是说，对于任何可计算可枚举的算术公理集（也就是说，一个原则上可以由一台具有无限资源的理想计算机打印出来的集合），都有一个公式是正确的，但在该系统中是不可证明的。然而，为了精确起见，哥德尔需要产生一种方法来编码（作为自然数）语句、证明和可证明性的概念；他使用一种称为哥德尔编码 Gödel numbering来实现这一点。

The consistency of axioms cannot be proved within their own system.

公理的一致性不能在它们自己的体系中得到证明。


这些定理结束了半个世纪的努力，从Frege的工作开始，到Hilbert的形式主义，他们都试图找到一套足以适用于所有数学的公理。


20世纪30年代中期：进一步的工作和美国访问

1932年，哥德尔在获得了学位，1933年，他在那里成为一名无薪讲师。1933年，Adolf Hitler在德国掌权，随后几年，纳粹在奥地利和维也纳的数学家中的影响力不断上升。1936年6月，Moritz Schlick的研讨会引起了哥德尔对逻辑学的兴趣，却被他以前的学生Johann Nelböck暗杀。这对哥德尔引发了“一场严重的神经危机”。引用错误：没有找到与</ref>对应的<ref>标签


1933年，哥德尔第一次来到美国，在那里他遇到了阿尔伯特·爱因斯坦 Albert Einstein，爱因斯坦成了他的好朋友。他在美国数学学会的年会上发表了演讲。在这一年里，哥德尔还发展了可计算性和递归函数的概念，以至于他能够提出一个关于一般递归函数和真理概念的演讲。这项工作是在数论中发展起来的，使用了哥德尔编码 Gödel numbering。


1934年，哥德尔在新泽西州普林斯顿的高级研究所做了一系列演讲，题目是关于正式数学系统的不可判定命题。斯蒂芬·克莱恩 Stephen Kleene刚刚在普林斯顿大学完成了他的博士学位，他记下了这些讲座的笔记，这些讲座随后被出版。


哥德尔在1935年秋天再次参观了国际会计准则。旅行和艰苦的工作使他筋疲力尽，第二年他休息一下，从抑郁症中恢复过来。他于1937年重返教学岗位。在此期间，他致力于证明选择公理和连续统假设公理的一致性; 他继续表明，这些假设不能从集合论公理系统的共同体系中被证伪。


随后，他又去了美国，在1938年秋天在国际会计准则学会上度过，出版了“选择公理和广义连续统假设与集合论公理的一致性”[13]成为现代数学的经典。在那部著作中，他引入了可构造宇宙，这是一个集合论的模型，其中唯一存在的集合是那些可以从更简单的集合中构造出来的集合。哥德尔证明了[[选择公理]和广义连续统假设在可构造的宇宙中都是正确的，因此必须与集合论的Zermelo–Fraenkel公理一致。这个结果对工作的数学家产生了相当大的影响，因为这意味着他们在证明Hahn–Banach定理时可以假设选择公理。Paul Cohen后来构造了ZF的[[结构（数学逻辑）|模型]，其中AC和GCH都是假的；这些证明一起意味着AC和GCH独立于集论的ZF公理。


1939年春天，哥德尔在圣母大学度过。[14]


普林斯顿，爱因斯坦，美国公民

1938年 3 月 12 日合并后，奥地利成为纳粹德国的一部分。德国废除了Privatdozent的头衔，因此哥德尔不得不在新的命令下申请一个不同的职位。他以前与维也纳圈的犹太成员，特别是与哈恩的联系，对他不利。维也纳大学拒绝了他的申请。


当德国军队发现他适合征兵时，他的困境加剧了。第二次世界大战于 1939 年 9 月开始。这一年还没有结束，哥德尔和他的妻子离开维也纳前往普林斯顿。为了避免穿越大西洋的困难，哥德尔夫妇乘坐西伯利亚大铁路到达太平洋，从日本航行到旧金山（他们于1940年3月4日到达），然后乘火车穿越美国到达普林斯顿。在那里，哥德尔接受了高级研究所 (IAS) 的一个职位，他之前曾在 1933-34 年访问过该研究所。[15]


在此期间，阿尔伯特·爱因斯坦 Albert Einstein也住在普林斯顿。哥德尔和爱因斯坦建立了深厚的友谊，众所周知，他们经常一起长途跋涉往返于高等研究院。他们谈话的性质对其他研究所成员来说是个谜。经济学家Oskar Morgenstern回忆说，在爱因斯坦生命的最后时刻，他坦言“自己的工作不再有意义，他来到研究所只是为了……有幸与哥德尔一起步行回家”。[16]

1942年的夏天，哥德尔和他的妻子Adele在缅因州的蓝山海湾顶端的蓝山旅馆度过。哥德尔不仅仅是在度假，而且还有一个非常富有成效的夏季工作。John w. Dawson jr.利用哥德尔尚未出版的工作笔记本中的卷15推测哥德尔发现了选择公理独立于有限类型理论（集合论的弱化形式）的证明， 1942 年在蓝山时。哥德尔的密友Hao Wang支持这个猜想，并指出哥德尔的蓝山笔记本包含了他对这个问题最广泛的处理。


1947年12月5日，爱因斯坦和摩根斯坦陪同哥德尔参加了他的美国公民身份考试，他们在考试中充当了见证人。哥德尔曾向他们透露，他发现美国宪法存在不一致之处，这可能使美国成为一个独裁国家。爱因斯坦和摩根斯坦担心他们的朋友不可预测的行为可能会危及他的申请。法官原来是菲利普 · 福曼，他认识爱因斯坦，并在爱因斯坦自己的公民听证会上主持了宣誓。一切都很顺利，直到 Forman 碰巧问哥德尔，他是否认为像纳粹政权一样的独裁会在美国发生，然后哥德尔开始向 Forman 解释他的发现。福尔曼明白发生了什么事，打断了哥德尔的话，把听证会转移到其他问题和例行结论上。


His predicament intensified when the German army found him fit for conscription. World War II started in September 1939.

当德军发现他适合应征入伍后，他的困境更加严重。第二次世界大战始于1939年9月。

Gödel became a permanent member of the Institute for Advanced Study at Princeton in 1946. Around this time he stopped publishing, though he continued to work. He became a full professor at the Institute in 1953 and an emeritus professor in 1976.

哥德尔于1946年成为普林斯顿高等研究院的常任成员。大约在这个时候，他停止了出版，尽管他继续工作。1953年，他成为该研究所的全职教授，1976年成为名誉教授的全职教授。

Before the year was up, Gödel and his wife left Vienna for Princeton. To avoid the difficulty of an Atlantic crossing, the Gödels took the Trans-Siberian Railway to the Pacific, sailed from Japan to San Francisco (which they reached on March 4, 1940), then crossed the US by train to Princeton. There Gödel accepted a position at the Institute for Advanced Study (IAS), which he had previously visited during 1933–34.</nowiki>[17]

在这一年结束之前，哥德尔和他的妻子离开维也纳去了普林斯顿。为了避免穿越大西洋的困难，哥德尔一家乘坐横贯西伯利亚铁路到达太平洋，从日本航行到旧金山（他们于1940年3月4日到达旧金山），然后乘火车横渡美国到达普林斯顿。哥德尔在那里接受了高等研究所（IAS）的一个职位，他曾在1933-34年间访问过该研究所。[18]

During his many years at the Institute, Gödel's interests turned to philosophy and physics. In 1949, he demonstrated the existence of solutions involving closed timelike curves, to Einstein's field equations in general relativity. He is said to have given this elaboration to Einstein as a present for his 70th birthday. His "rotating universes" would allow time travel to the past and caused Einstein to have doubts about his own theory. His solutions are known as the Gödel metric (an exact solution of the Einstein field equation).

哥德尔在研究所的多年时间里，他的兴趣转向了哲学和物理学。1949年，他证明了包含封闭时间型曲线的解的存在性，这些解是爱因斯坦在《广义相对论的场方程。据说他把这个精心设计作为爱因斯坦70岁生日的礼物送给了他。他的“旋转宇宙”将允许时间旅行回到过去，并使爱因斯坦对自己的理论产生怀疑。他的解被称为哥德尔度量(爱因斯坦场方程的精确解)。

Albert Einstein was also living at Princeton during this time. Gödel and Einstein developed a strong friendship, and were known to take long walks together to and from the Institute for Advanced Study. The nature of their conversations was a mystery to the other Institute members. Economist Oskar Morgenstern recounts that toward the end of his life Einstein confided that his "own work no longer meant much, that he came to the Institute merely ... to have the privilege of walking home with Gödel".[19]

阿尔伯特·爱因斯坦也住在普林斯顿大学。爱因斯坦因长期的友谊而闻名于世。他们谈话的性质对研究所的其他成员来说是个谜。经济学家Oskar Morgenstern叙述说，爱因斯坦在临终时透露，“他自己的工作已经没有多大意义，他来到研究所只是为了。。。有幸和哥德尔一起步行回家”。[20]

He studied and admired the works of Gottfried Leibniz, but came to believe that a hostile conspiracy had caused some of Leibniz's works to be suppressed. To a lesser extent he studied Immanuel Kant and Edmund Husserl. In the early 1970s, Gödel circulated among his friends an elaboration of Leibniz's version of Anselm of Canterbury's ontological proof of God's existence. This is now known as Gödel's ontological proof.

他研究和欣赏莱布尼茨的作品，但是他开始相信是一个敌对的阴谋导致了莱布尼茨的一些作品被压制。在一定程度上，他研究了康德和胡塞尔。在20世纪70年代早期，哥德尔在他的朋友中间传阅了莱布尼茨版本的关于上帝存在的本体论证明的安瑟伦。这就是现在众所周知的哥德尔的本体论证明。

Gödel and his wife, Adele, spent the summer of 1942 in Blue Hill, Maine, at the Blue Hill Inn at the top of the bay. Gödel was not merely vacationing but had a very productive summer of work. Using 脚本错误：没有“lang”这个模块。 [volume 15] of Gödel's still-unpublished 脚本错误：没有“lang”这个模块。 [working notebooks], John W. Dawson Jr. conjectures that Gödel discovered a proof for the independence of the axiom of choice from finite type theory, a weakened form of set theory, while in Blue Hill in 1942. Gödel's close friend Hao Wang supports this conjecture, noting that Gödel's Blue Hill notebooks contain his most extensive treatment of the problem. 1942年夏天，哥德尔和他的妻子阿黛尔在海湾顶端的蓝山旅馆度过了一个夏天。哥德尔不仅仅是在度假，而且整个夏天的工作非常富有成效。利用哥德尔尚未出版的{lang| de | Heft 15}[第15卷]（{lang | de | Arbeitshefte}}[工作笔记本]，[约翰W道森小推测哥德尔在1942年的《蓝山》中发现了选择公理独立于有限类型理论的一个证明，这是集合论的一种弱化形式。哥德尔的密友[[王浩（学术）|王浩]支持这个猜想，他指出哥德尔的蓝山笔记本包含了他对这个问题最广泛的处理。

On December 5, 1947, Einstein and Morgenstern accompanied Gödel to his U.S. citizenship exam, where they acted as witnesses. Gödel had confided in them that he had discovered an inconsistency in the U.S. Constitution that could allow the U.S. to become a dictatorship. Einstein and Morgenstern were concerned that their friend's unpredictable behavior might jeopardize his application. The judge turned out to be Phillip Forman, who knew Einstein and had administered the oath at Einstein's own citizenship hearing. Everything went smoothly until Forman happened to ask Gödel if he thought a dictatorship like the Nazi regime could happen in the U.S. Gödel then started to explain his discovery to Forman. Forman understood what was going on, cut Gödel off, and moved the hearing on to other questions and a routine conclusion.[21][22]

1947年12月5日，爱因斯坦和摩根斯坦陪同哥德尔参加了他的美国国籍考试，在那里他们充当了证人。哥德尔向他们透露，他发现了[[美国宪法]中的一个不一致之处，这可能会使美国成为一个独裁政权。爱因斯坦和摩根斯坦担心他们朋友不可预测的行为可能会危及他的应用。法官原来是Phillip Forman，他认识爱因斯坦，并在爱因斯坦自己的公民听证会上主持了宣誓仪式。一切都很顺利，直到福尔曼碰巧问哥德尔，他是否认为美国会发生类似[纳粹政权]的独裁统治，然后戈德尔开始向福尔曼解释他的发现。福尔曼明白发生了什么，切断了哥德尔的话，把听证会转移到其他问题和常规结论上。引用错误：没有找到与</ref>对应的<ref>标签[23]


Gödel was awarded (with Julian Schwinger) the first Albert Einstein Award in 1951, and was also awarded the National Medal of Science, in 1974. Gödel was elected a Foreign Member of the Royal Society (ForMemRS) in 1968. The Gödel Prize, an annual prize for outstanding papers in the area of theoretical computer science, is named after him.

哥德尔于1951年被授予(与朱利安·施温格一起)第一个阿尔伯特·爱因斯坦奖勋章，并于1974年获得美国国家科学奖章勋章。1968年，哥德尔被选为英国皇家学会的外籍会员。哥德尔奖是一年一度的理论计算机科学领域杰出论文奖，以他的名字命名。


Gödel became a permanent member of the Institute for Advanced Study at Princeton in 1946. Around this time he stopped publishing, though he continued to work. He became a full professor at the Institute in 1953 and an emeritus professor in 1976.[24]

1946年，哥德尔成为普林斯顿高级研究所的常任理事国。大约在这个时候，他停止了出版，尽管他继续工作。1953年他成为该研究所的正式教授，1976年成为名誉教授。[25]

Gravestone of Kurt and Adele Gödel in the Princeton, N.J., cemetery

新泽西州普林斯顿公墓的库尔特和阿黛尔 · 哥德尔墓碑


During his many years at the Institute, Gödel's interests turned to philosophy and physics. In 1949, he demonstrated the existence of solutions involving closed timelike curves, to Einstein's field equations in general relativity.[26] He is said to have given this elaboration to Einstein as a present for his 70th birthday.[27] His "rotating universes" would allow time travel to the past and caused Einstein to have doubts about his own theory. His solutions are known as the Gödel metric (an exact solution of the Einstein field equation).

在学院的多年里，哥德尔的兴趣转向了哲学和物理学。1949年，他证明了在广义相对论中，涉及封闭的类时间曲线的解的存在性。[28] 据说他把这一精髓送给爱因斯坦作为70岁生日礼物。[29] 他的“旋转宇宙”将允许时间旅行回到过去，并使爱因斯坦对自己的理论产生怀疑。他的解被称为Gödel metric（爱因斯坦场方程的精确解）。

Later in his life, Gödel suffered periods of mental instability and illness. Following the assassination of his close friend Moritz Schlick, Gödel had an obsessive fear of being poisoned; he would eat only food that his wife, Adele, prepared for him. Late in 1977, she was hospitalized for six months and could subsequently no longer prepare her husband's food. In her absence, he refused to eat, eventually starving to death. He weighed when he died. His death certificate reported that he died of "malnutrition and inanition caused by personality disturbance" in Princeton Hospital on January 14, 1978. He was buried in Princeton Cemetery. Adele's death followed in 1981.

后来，哥德尔经历了一段精神不稳定和疾病的时期。在他的密友 Moritz Schlick 被暗杀后，哥德尔对中毒有着强迫性的恐惧; 他只吃他的妻子阿黛尔为他准备的食物。1977年底，她住院6个月，随后不能再为丈夫准备食物。在她不在的时候，他拒绝进食，最终饿死。他死的时候称了体重。他的死亡证明显示他于1978年1月14日在普林斯顿医院死于“人格障碍引起的营养不良和缺乏意识”。他被埋葬在普林斯顿公墓。阿黛尔于1981年去世。

He studied and admired the works of Gottfried Leibniz, but came to believe that a hostile conspiracy had caused some of Leibniz's works to be suppressed.[30] To a lesser extent he studied Immanuel Kant and Edmund Husserl. In the early 1970s, Gödel circulated among his friends an elaboration of Leibniz's version of Anselm of Canterbury's ontological proof of God's existence. This is now known as Gödel's ontological proof.

他研究和钦佩[[戈特弗里德·莱布尼兹]的作品，但后来认为，敌对阴谋使莱布尼兹的一些作品遭到压制。[31] 在较小程度上，他研究了伊曼纽尔·康德和埃德蒙·胡塞尔。20世纪70年代初，哥德尔在他的朋友中传播了一本莱布尼茨对神的存在的解释。这现在被称为哥德尔的本体论证明。

Awards and honours奖励与荣誉

Gödel was awarded (with Julian Schwinger) the first Albert Einstein Award in 1951, and was also awarded the National Medal of Science, in 1974.[32] Gödel was elected a Foreign Member of the Royal Society (ForMemRS) in 1968.[1] He was a Plenary Speaker of the ICM in 1950 in Cambridge, Massachusetts.[33] The Gödel Prize, an annual prize for outstanding papers in the area of theoretical computer science, is named after him.

哥德尔于1951年被授予第一个阿尔伯特爱因斯坦奖，并于1974年被授予国家科学奖章[34]哥德尔当选为 1968年皇家学会外籍会员[1]他是1950年在马萨诸塞州剑桥市举行的[International Congress of Mathematics | ICM]]的全体发言人。[35] Gödel Prize是理论计算机科学领域杰出论文的年度奖，以他的名字命名。

Gödel was a convinced theist, in the Christian tradition. He held the notion that God was personal.

哥德尔是一个坚定的有神论者，在基督教传统中。他认为上帝是个人的。

文件:Kurt godel tomb 2004.jpg
Gravestone of Kurt and Adele Gödel in the Princeton, N.J., cemetery


He believed firmly in an afterlife, stating: "Of course this supposes that there are many relationships which today's science and received wisdom haven't any inkling of. But I am convinced of this [the afterlife], independently of any theology." It is "possible today to perceive, by pure reasoning" that it "is entirely consistent with known facts." "If the world is rationally constructed and has meaning, then there must be such a thing [as an afterlife]."

他坚定地相信来世，他说: “当然，这是假设有许多关系，今天的科学和公认的智慧没有任何暗示。但我相信这个(来世) ，与任何神学都无关。”“今天，通过纯粹的推理，我们有可能认识到” ，它“与已知的事实完全一致”“如果世界是合理构建的，并且有意义，那么就一定存在(来世)。”

Later life and death晚年生活与死亡

Later in his life, Gödel suffered periods of mental instability and illness. Following the assassination of his close friend Moritz Schlick,[36] Gödel had an obsessive fear of being poisoned; he would eat only food that his wife, Adele, prepared for him. Late in 1977, she was hospitalized for six months and could subsequently no longer prepare her husband's food. In her absence, he refused to eat, eventually starving to death.[37] He weighed 模板:Convert when he died. His death certificate reported that he died of "malnutrition and inanition caused by personality disturbance" in Princeton Hospital on January 14, 1978.引用错误：没有找到与</ref>对应的<ref>标签 He was buried in Princeton Cemetery. Adele's death followed in 1981.[38]

A biography of Gödel was published by John Dawson in 2005: Logical Dilemmas: The Life and Work of Kurt Gödel (A. K. Peters, Wellesley, MA, ). Gödel was also one of four mathematicians examined in the 2008 BBC documentary entitled Dangerous Knowledge by David Malone.

约翰 · 道森于2005年出版了哥德尔的传记: 《逻辑困境: 科特 · 哥德尔的生活和工作》(a · k · 彼得斯，韦尔斯利，MA)。哥德尔也是2008年 BBC 纪录片《危险的知识》中的四位数学家之一。


Personal life个人生活

Douglas Hofstadter wrote a popular book in 1979 called to celebrate the work and ideas of Gödel, along with those of artist M. C. Escher and composer Johann Sebastian Bach. The book partly explores the ramifications of the fact that Gödel's incompleteness theorem can be applied to any Turing-complete computational system, which may include the human brain.

侯世达在1979年写了一本很受欢迎的书，名字叫做《哥德尔的作品和思想》 ，同时出版的还有艺术家 m. c. Escher 和作曲家约翰·塞巴斯蒂安·巴赫。这本书在一定程度上探索了哥德尔的不完备性定理可以应用于任何图灵完备计算系统(可能包括人脑)的结果。


Religious views宗教观点

Gödel is played by Lou Jacobi in the 1994 film I.Q.

在1994年的电影《智商》中哥德尔由卢 · 雅各比扮演。

Gödel was a convinced theist, in the Christian tradition.[39] He held the notion that God was personal.

哥德尔在基督教传统中是一个有神论者。[40]他认为上帝是个人的。

He believed firmly in an afterlife, stating: "Of course this supposes that there are many relationships which today's science and received wisdom haven't any inkling of. But I am convinced of this [the afterlife], independently of any theology." It is "possible today to perceive, by pure reasoning" that it "is entirely consistent with known facts." "If the world is rationally constructed and has meaning, then there must be such a thing [as an afterlife]."[41]

他坚信是有来世的，他说：“当然，这是假设有许多关系，而今天的科学和接受的智慧没有任何迹象。但我相信这个[来世]，独立于任何神学，“今天可以通过纯粹的推理来感知它”与已知的事实完全一致。“如果世界是理性构建并具有意义的，那么必然存在这样一种东西（作为来生）。”[42]


In an unmailed answer to a questionnaire, Gödel described his religion as "baptized Lutheran (but not member of any religious congregation). My belief is theistic, not pantheistic, following Leibniz rather than Spinoza."[43] Describing religion(s) in general, Gödel said: "Religions are, for the most part, bad—but religion is not".[44] According to his wife Adele, "Gödel, although he did not go to church, was religious and read the Bible in bed every Sunday morning",[45] while of Islam, he said, "I like Islam: it is a consistent [or consequential] idea of religion and open-minded."[46]

在对一份问卷的未加掩饰的回答中，哥德尔将他的宗教描述为“受洗的路德教（但不是任何宗教团体的成员）。我的信仰是“有神论”，而不是泛神论，追随 Leibniz，而不是Spinoza”[47] 在描述宗教时，哥德尔说：“在很大程度上宗教可能是坏的，但宗教不是”[48]据他的妻子阿黛尔说，“哥德尔虽然没有去教堂，但他是虔诚的，每个星期天早上都在床上读圣经”，[49]谈到伊斯兰教，他说：“我喜欢伊斯兰教：它是一种始终如一的（或相应的）宗教思想和开放的思想。”[50]

In German:

德语:

Legacy遗产

The Kurt Gödel Society, founded in 1987, was named in his honor. It is an international organization for the promotion of research in the areas of logic, philosophy, and the history of mathematics. The University of Vienna hosts the Kurt Gödel Research Center for Mathematical Logic. The Association for Symbolic Logic has invited an annual Kurt Gödel lecturer each year since 1990.

成立于1987年的库尔特哥德尔协会是为了纪念他而命名的。它是一个国际组织，旨在促进逻辑学、哲学和数学史领域的研究。[[维也纳大学]是库尔特哥德尔数理逻辑研究中心的东道主。自1990年以来，符号逻辑协会每年都会邀请一位库尔特•哥德尔讲师。

Gödel's Philosophical Notebooks are edited at the Kurt Gödel Research Centre which is situated at the Berlin-Brandenburg Academy of Sciences and Humanities in Germany.

[1]在[2]编辑，[3]位于[4]。

In English:

英语:


Five volumes of Gödel's collected works have been published. The first two include Gödel's publications; the third includes unpublished manuscripts from Gödel's 脚本错误：没有“lang”这个模块。, and the final two include correspondence.

已经出版了五卷哥德尔的作品集。前两个包括哥德尔的出版物；第三个包括哥德尔的未出版手稿{lang| de|Nachlass}，最后两个包括通信。


A biography of Gödel was published by John Dawson in 2005: Logical Dilemmas: The Life and Work of Kurt Gödel (A. K. Peters, Wellesley, MA,

). Gödel was also one of four mathematicians examined in the 2008 BBC documentary entitled Dangerous Knowledge by David Malone.[51]

《哥德尔传》由 John Dawson于2005年出版：“逻辑困境：库尔特·哥德尔的生活和工作”（A.K.Peters，马萨诸塞州韦尔斯利，{isbn | 1-56881-256-6}）。戈德尔也是2008年BBC纪录片《危险知识》（David Malone（独立制片人）| David Malone]]审查的四位数学家之一。[52]


In English translation:

英文翻译:

Douglas Hofstadter wrote a popular book in 1979 called 脚本错误：没有“lang”这个模块。 to celebrate the work and ideas of Gödel, along with those of artist M. C. Escher and composer Johann Sebastian Bach. The book partly explores the ramifications of the fact that Gödel's incompleteness theorem can be applied to any Turing-complete computational system, which may include the human brain.

Douglas Hofstadter在1979年写了一本很受欢迎的书，名叫{lang | de |哥德尔，埃舍尔，巴赫| italic=yes}}，以赞美哥德尔的作品和思想，以及艺术家M.C.Escher和作曲家Johann Sebastian Bach。这本书部分探讨了哥德尔的不完全性定理可以应用于任何图灵完备计算系统，其中可能包括人脑这一事实的结果。

Gödel is played by Lou Jacobi in the 1994 film I.Q.

在1994年的电影《智商》中哥德尔由卢 · 雅各比扮演。

Bibliography参考文献

重要出版物

德语版：

  • 1930, "Die Vollständigkeit der Axiome des logischen Funktionenkalküls." Monatshefte für Mathematik und Physik 37: 349–60.
  • 1931, "Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme, I." Monatshefte für Mathematik und Physik 38: 173–98.
  • 1932, "Zum intuitionistischen Aussagenkalkül", Anzeiger Akademie der Wissenschaften Wien 69: 65–66.


英语版：


  • 1940. The Consistency of the Axiom of Choice and of the Generalized Continuum Hypothesis with the Axioms of Set Theory. Princeton University Press.
  • 1947. "What is Cantor's continuum problem?" The American Mathematical Monthly 54: 515–25. Revised version in Paul Benacerraf and Hilary Putnam, eds., 1984 (1964). Philosophy of Mathematics: Selected Readings. Cambridge Univ. Press: 470–85.
  • 1950, "Rotating Universes in General Relativity Theory." Proceedings of the international Congress of Mathematicians in Cambridge, 1: 175–81


英文翻译:

  • Kurt Gödel, 1992. On Formally Undecidable Propositions Of Principia Mathematica And Related Systems, tr. B. Meltzer, with a comprehensive introduction by Richard Braithwaite. Dover reprint of the 1962 Basic Books edition.
  • Kurt Gödel, 2000.[53] On Formally Undecidable Propositions Of Principia Mathematica And Related Systems, tr. Martin Hirzel
  • Jean van Heijenoort, 1967. A Source Book in Mathematical Logic, 1879–1931. Harvard Univ. Press.
    • 1930. "The completeness of the axioms of the functional calculus of logic," 582–91.
    • 1930. "Some metamathematical results on completeness and consistency," 595–96. Abstract to (1931).
    • 1931. "On formally undecidable propositions of Principia Mathematica and related systems," 596–616.
    • 1931a. "On completeness and consistency," 616–17.
  • Collected Works: Oxford University Press: New York. Editor-in-chief: Solomon Feferman.
取自“https://wiki.swarma.org/index.php?title=库尔特·哥德尔_Kurt_Gödel&oldid=24330”