哥德尔，库尔特
【生卒】：1906－1978 【介绍】： 奥地利数学家和逻辑学家。 他从事元数学和数理逻辑问题的研究。1931年哥德尔所获得的最重要成果在于他证明了内容极为丰富的形式体系(其中包括公理集合论和自然数算术形式体系)具有不完备性：在这些体系中有一些真实的命题在其本身范围内既无法证明也无法推翻。哥德尔的这一成果引起了对形式体系之局限性的积极研究(А．丘吉、С．克林、塔尔斯基、А．莫斯托夫斯基、П·诺维科夫等人的著作)，他的这一成果在哲学上引出了一个论断：科学知识的完全形式化是根本不可能的。此外，哥德尔在模式论(关于简单谓词演算之完备性的定理)，在构造逻辑、递归函数论等方面也获得了重要的成果。哥德尔的哲学观点于30年代受到过新实证主义的影响，而后来他也批判主观主义。 |