哥德尔

出处：按学科分类—自然科学总论 天津人民出版社《自然辩证法辞典》第693页（598字）

【生卒】：1906—1978

【介绍】：

美籍奥地利着名数理逻辑学家。

1924年就读于维也纳大学，开始学物理，后改学数学和数理逻辑。曾参加维也纳学派的哲学讨论会，但其哲学思想与逻辑经验主义并不一致。

1930年获博士学位。从1924年到1939年，哥德尔的大部分时光是在维也纳度过的，从1840年到1978年去世为止，他一直在普林斯顿工作。哥德尔对数理逻辑的发展做出了重大贡献。1930年，他在《逻辑谓词演算公理的完全性》一文中，证明了狭谓词演算的完全性定理，即在狭谓词演算中，任一公式A，或者A是可证的，或者非A是可满足的。

1931年，他在《关于＜数学原理＞一书和有关系统中的形式不可判定语句》中证明了哥德尔不完全性定理，即：(1)一个包括初等数论的形式系统P，如果这个系统是一致的，则它就是不完全的；(2)如果这样的系统是一致的，则其一致性在本系统中是不可证的。1938——1939年，他在《选择公理和广义连续统假设同集合论公理的一致性》中证明了广义连续统假设和选择公理对于集合论的其他公理的相容性。

哥德尔的创造性工作对于数学和数理逻辑尤其是模型论、公理集合论、递归论等的发展产生了巨大的推动作用。除了上述着仁外，还有《论形式数学系统的不可判定命题》(1934年)、《罗素的数理逻辑》(1944年)、《什么是康托尔的连续统问题?》(1947年)等。