更改

库尔特·哥德尔 Kurt Gödel (查看源代码)

2021年7月12日 (一) 00:15的版本

删除204字节、 2021年7月12日 (一) 00:15

→‎不完全性定理

第80行：第80行：

==职业生涯==

===不完全性定理===

+

<blockquote>Kurt Gödel's achievement in modern logic is singular and monumental—indeed it is more than a monument, it is a landmark which will remain visible far in space and time. ... The subject of logic has certainly completely changed its nature and possibilities with Gödel's achievement.|[[John von Neumann]]<ref>{{Cite journal |last=Halmos |first=P.R. |title=The Legend of von Neumann |journal=The American Mathematical Monthly |volume=80 |number=4 |date=April 1973 |pages=382–94|doi=10.1080/00029890.1973.11993293 }}</ref>

−

{{quote|Kurt Gödel's achievement in modern logic is singular and monumental—indeed it is more than a monument, it is a landmark which will remain visible far in space and time. ... The subject of logic has certainly completely changed its nature and possibilities with Gödel's achievement.|[[John von Neumann]]<ref>{{Cite journal |last=Halmos |first=P.R. |title=The Legend of von Neumann |journal=The American Mathematical Monthly |volume=80 |number=4 |date=April 1973 |pages=382–94|doi=10.1080/00029890.1973.11993293 }}</ref>}}

+

库尔特·哥德尔在现代逻辑方面的成就是独一无二的和具有纪念意义的——事实上它不仅仅是一座纪念碑，它是一座里程碑，它将在遥远的时空中保持可见。。。随着哥德尔的成就，逻辑学的学科无疑已经完全改变了它的性质和可能性。

−

{{引述|库尔特·哥德尔在现代逻辑方面的成就是独一无二的和具有纪念意义的——事实上它不仅仅是一座纪念碑，它是一座里程碑，它将在遥远的时空中保持可见。。。随着哥德尔的成就，逻辑学的学科无疑已经完全改变了它的性质和可能性[[John von Neumann]]<ref>{{Cite journal |last=Halmos |first=P.R. |title=The Legend of von Neumann |journal=The American Mathematical Monthly |volume=80 |number=4 |date=April 1973 |pages=382–94|doi=10.1080/00029890.1973.11993293 }}</ref>}}

+

——[[John von Neumann]]</blockquote>

1930年，哥德尔参加了9月5日至7日在柯尼斯堡举行的第二届精确科学认识论会议。在这里，他发表了他的“不完备性定理”。<ref name="Stadler">{{cite book |last1=Stadler |first1=Friedrich |title=The Vienna Circle: Studies in the Origins, Development, and Influence of Logical Empiricism |date=2015 |publisher=Springer |isbn=9783319165615 |url=https://books.google.com/books?id=2rAlCQAAQBAJ&q=Erkenntnis+1930+Konigsberg&pg=PA161 |language=en}}</ref>在那篇文章中，他证明了任何强大到足以描述自然数算术的可计算公理系统(例如，Peano 公理或 Zermelo-Fraenkel 集合论与选择公理) :

第114行：第114行：

<br>

+

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

薄荷

7,129

个编辑