哥德尔简介
哥德尔（Kurt Gödel；1906～1978），美籍奥地利数学家、逻辑学家和哲学家，是二十世纪最伟大的逻辑学家之一，其最杰出的贡献是哥德尔不完全性定理。
哥德尔1906年出生于捷克的布尔诺（原奥匈帝国），毕业于维也纳大学，1940年移居美国，任职于普林斯顿高等研究院（IAS）直至1976年退休。1978年1月14日，哥德尔于美国普林斯顿市去世，享年71岁。 1999年，美国《时代周刊》将哥德尔列为20世纪最具影响力的100位人物之一。
1924年入维也纳大学主修物理。
1926年转攻数学，1930年春获博士学位。
哥德尔一生致力于数理逻辑和数学基础的研究，其重要贡献有：①证明了狭谓词演算的有效公式皆可证。
②1931年证明了一个包括初等数论的形式系统，如果是相容的，则它是不完全的（即在本系统中必存在不可证明的真命题）；还证明：这样系统的相容性在本系统中不能证明，更不能用有穷方法证明。
③在1939年证明了连续统假设相对于通常的集合论公理系统是相容的。
④1958年发表的关于有穷观点的扩张一文里给出一个对于古典数论的构造性解释。
他的这些工作从正面或反面、或是部分地解答了20世纪后在数学基础方面争论的最根本的问题。
同时也给希尔伯特计划以很大的冲击。
他以独立的哲学见解和精湛的数学才能把数学和逻辑结合起来，创建了新方法，把数学基础研究提高到新的水平，使大部分的数理逻辑发展成为数学的分支。
