元 马致远 《陈抟高卧》第四折：“命不快，遭逢着这火醉婆娘。”
=='''人物生平'''==
[[File:FA48071BE9BACD15DA3368417A4B08DD213DA3D5_size68_w1200_h630.jpg|缩略图|340px|[http://image.so.com/view?q=%E5%93%A5%E5%BE%B7%E5%B0%94&src=tab_www&correct=%E5%93%A5%E5%BE%B7%E5%B0%94&ancestor=list&cmsid=1029b332bff13655bca38a26f6882a0e&cmran=0&cmras=0&cn=0&gn=0&kn=0&fsn=60#id=50b26ba40e376f8caa70e18845f7a71b&currsn=0 原图链接][http://wemedia.ifeng.com/14443798/wemedia.shtml 图片来源于大风号网]]]
生于捷克的布尔诺，卒于美国普林斯顿。 1924年年在维也纳大学攻读物理，1926年转到数学系，并参加哲学小组活动。
1930年获博士学位。 其博士论文证明了"狭谓词演算的有效公式皆可证"。之后在维也纳大学工作。
1938年到美国普林斯顿高等研究院任职，1948年加入美国籍。
1953年成为该所教授。哥德尔发展了冯·诺伊曼和伯奈斯等人的工作，其主要贡献在逻辑学和数学基础方面。<ref>[https://www.zhihu.com/question/27528796 如何简单清晰地解释哥德尔不完备定理？]，知乎网</ref>
[[File:T01ef4cbba2ba03f5f4.png|缩略图|1|340px|[http://image.so.com/view?q=%E5%93%A5%E5%BE%B7%E5%B0%94&src=tab_www&correct=%E5%93%A5%E5%BE%B7%E5%B0%94&ancestor=list&cmsid=1029b332bff13655bca38a26f6882a0e&cmran=0&cmras=0&cn=0&gn=0&kn=0&fsn=60#id=981f159e6f289fca0fac54bf2160aaf7&currsn=0 原图链接][http://www.360doc.cn/article/1434846_650841160.html 图片来源于个人图书馆网]]]
== 解释 ==