《数学史》第13章20世纪数学概观(Ⅲ)研究.pptVIP

第13章 20世纪数学概观(Ⅲ) 13.1 哥德尔不完全性定理 哥德尔是奥地利著名数学家,不完备性定理是他在1931年于《论数学原理及有关系统中的形式不可判定命题》中提出来的。 这一理论使数学基础研究发生了划时代的变化,更是现代逻辑史上很重要的一座里程碑 哥德尔 哥德尔（1906—1978）生于捷克的布尔诺，卒于美国普林斯顿。早年在维也纳大学攻读修读理论物理、基础数学，后来又转研数理逻辑、集合论。但1940年代中就将注意力投放在哲学上，并参加哲学小组活动。 1930年获博士学位。其博士论文证明了「狭谓词演算的有效公式皆可证」。之后在维也纳大学工作。 1938年到美国普林斯顿高等研究院任职，1948年加入美国籍。1953年成为该所教授。 哥德尔发展了冯·诺伊曼和伯奈斯等人的工作，其主要贡献在逻辑学和数学基础方面。 在20世纪初，他证明了哥德尔不完全性定理,这一著名结果发表在1931年的论文中。 他还致力于连续统假设的研究，在1930年采用一种不同的方法得到了选择公理的相容性证明。3年以后又证明了（广义）连续统假设的相容性定理，并于1940年发表。他的工作对公理集合论有重要影响，而且