库尔特·哥德尔简介， 哥德尔不完全性定理

库尔特·哥德尔是日耳曼人，生于捷克布尔诺(原属奥地利)，毕业于维也纳大学，是著名数学家、逻辑学家、哲学家。哥德尔一生贡献很多，最著名的还是不完全性定理。 

1、库尔特·哥德尔简介

    库尔特·哥德尔生于捷克的布尔诺，卒于美国普林斯顿，是位数学家、逻辑学家和哲学家。其最杰出的贡献是哥德尔不完全性定理。

    1924年在维也纳大学攻读物理，1926年转到数学系，并参加哲学小组活动。1930年获博士学位。其博士论文证明了“狭谓词演算的有效公式皆可证”。之后在维也纳大学工作。1938年到美国普林斯顿高等研究院任职，1948年加入美国籍。1953年成为该所教授。哥德尔发展了冯·诺依曼和伯奈斯等人的工作，其主要贡献在逻辑学和数学基础方面。

2、哥德尔不完全性定理

    哥德尔是奥地利裔美国著名数学家，不完备性定理是他在1931年提出来的。这一理论使数学基础研究发生了划时代的变化，更是现代逻辑史上很重要的一座里程碑。该定理与塔尔斯基的形式语言的真理论，图灵机和判定问题，被赞誉为现代逻辑科学在哲学方面的三大成果。哥德尔证明了任何一个形式系统，只要包括了简单的初等数论描述，而且是自洽的，它必定包含某些系统内所允许的方法既不能证明真也不能证伪的命题。

    哥德尔不完全性定理的影响如此之广泛，难怪哥德尔会被看作当代最有影响力的智慧巨人之一，受到人们的永恒怀念。美国《时代》杂志曾评选出20世纪100个最伟大的人物，在数学家中，排在第一的就是哥德尔。