更改

==职业生涯==

==职业生涯==

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

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

<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>

<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.''<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>

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

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