哥德尔的故事MicrosoftOfficeWord文档.docxVIP

数学家哥德尔及不完备定理 库尔特·哥德尔（Kurt Godel）（1906 年 4 月 28 日—1978 年 1 月 14 日）是位数学家、逻辑学家和哲学家。其最杰出的贡献是哥德尔不完全性定理和连续统假设的相对协调性证明。 生于捷克的布尔诺，卒于美国普林斯顿。早年在维也纳大学攻读修读理论物理、基础数学，后来又转研数理逻辑、集合论。但 1940 年代中就将注 力投放在哲学上，并参加哲学小组活动。1930 年获博士学位。其博士论文证明了「狭谓词演算的有效公式皆可证」。之后在维也纳大学工作。 1938 年到美国普林斯顿高等研究院任职，1948 年加入美国籍。1953 年成为该所教授。哥德尔发展了冯