7,129
个编辑
更改
跳到导航
跳到搜索
第80行：
第80行： + − {{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>}} + 第114行：
第114行： +
→不完全性定理
==职业生涯==
==职业生涯==
===不完全性定理===
===不完全性定理===
<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>
库尔特·哥德尔在现代逻辑方面的成就是独一无二的和具有纪念意义的——事实上它不仅仅是一座纪念碑，它是一座里程碑，它将在遥远的时空中保持可见。。。随着哥德尔的成就，逻辑学的学科无疑已经完全改变了它的性质和可能性。
——[[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 集合论与选择公理) :
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 集合论与选择公理) :
<br>
<br>
===20世纪30年代中期：进一步的工作和美国访问===
===20世纪30年代中期：进一步的工作和美国访问===