哥德尔，库特

---

【生卒】：1906—1978

【介绍】：

奥地利出生的美国逻辑学家和数学家。

他所发现的一个最为重要的数学成果是数学的非确定性。

生于布尔诺(现在捷克斯洛伐克境内)，一商人之子，就读于维也纳大学，1930年获博士学位并被留校任教。1938年离开奥地利移居美国，在普林斯顿高等研究院任研究员，1953至1976年任数学教授，1948年加入美国籍。1931年他出版了《论数学原理及有关体系的形式上不可断定的命题》(英译本，1962)。

阐明在任何连贯的并包含简单算术原理的体系中，如罗素的《数学原理》，总是存在著用这个体系的公理不能证明其成立或不成立的真正命题。它们是不可确定的。任何修补调整、增加补充或什么新的原理都不能克服该体系中这惊人的缺陷。所以根本没有办法来完成弗雷格－罗素的研究。

哥德尔的重要成就还包括1930年(他的博士论文)第一次证明初等逻辑的完整性，1933年将模态逻辑和布苏威尔的直觉主义逻辑的建议性分析进行新公理化。在宇宙学领域，哥德尔提出一些宇宙模型，其中包括1949年未用马赫原理就解决了广义相对论平衡式的模型。

哥德尔去世时给世人留下大约80本科研笔记，一共5000来页，用古老的德国速记形式写成。尽管这些资料还有待于进一步的分析研究，但据说这些笔记涉及的题目繁杂，从神学到人口学研究应有尽有。