[4月28日]科学历史上的今天——库尔特·哥德尔(Kurt Gödel)
1906年4月28日,库尔特·哥德尔(Kurt Gödel)出身于奥匈帝国(今捷克的布尔诺)。他的不完备性定理可称得上是20世纪最重要的数学成果。他是自亚里士多德以来最伟大的逻辑学家之一。
早期生活和职业
哥德尔定理
哥德尔的博士论文《逻辑计算的完备性》(Über die Vollständigkeit des Logikkalküls)于1930年发表了缩减版。它证明了完备性定理(the completeness theorem),确立了所有一阶逻辑真理在标准一阶系统中都可证,因此经典的一阶逻辑或谓词逻辑是完备的。这可能是20世纪最重要的——事实上是历史上最重要的——逻辑学成果。当然这和哥德尔1931年的成果比起来,就算不得什么。
哥德尔于1931年发表了不完备性定理(Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme)。 这个定理简单来说,在任何数学分支中,不可能用定理方法去构建能涵盖数学所有分支真理的数学理论*。
*英国的阿弗烈·诺夫·怀海德(Alfred North Whitehead)和伯特兰·罗素(Bertrand Russell)也做了同样的研究,分别于1910、1912、1913年发表了三卷《Principia Mathematica》)。
享誉国际并移居美国
转向哲学
哥德尔之后开始写哲学问题,这是他一直感兴趣的。事实上很少人知道,哥德尔开始他的不完全性定理证明,是因为他觉得可以用它来建立柏拉图主义的哲学观,更准确地说是其中的数学柏拉图主义(mathematical Platonism)。1964年,哥德尔发表了哲学论文《什么是康托尔的连续问题?》
不幸的是,虽然大家接受哥德尔的不完全性定理,但他的哲学观点并没有被广泛接受。
。
资料来源
https://www.britannica.com/biography/Kurt-Godel
http://mathshistory.st-andrews.ac.uk/Mathematicians/Godel.html
我们不需要英雄
但我们需要榜样
几只青椒
长按二维码关注
最新评论
推荐文章
作者最新文章
你可能感兴趣的文章
Copyright Disclaimer: The copyright of contents (including texts, images, videos and audios) posted above belong to the User who shared or the third-party website which the User shared from. If you found your copyright have been infringed, please send a DMCA takedown notice to [email protected]. For more detail of the source, please click on the button "Read Original Post" below. For other communications, please send to [email protected].
版权声明:以上内容为用户推荐收藏至CareerEngine平台,其内容(含文字、图片、视频、音频等)及知识版权均属用户或用户转发自的第三方网站,如涉嫌侵权,请通知[email protected]进行信息删除。如需查看信息来源,请点击“查看原文”。如需洽谈其它事宜,请联系[email protected]。
版权声明:以上内容为用户推荐收藏至CareerEngine平台,其内容(含文字、图片、视频、音频等)及知识版权均属用户或用户转发自的第三方网站,如涉嫌侵权,请通知[email protected]进行信息删除。如需查看信息来源,请点击“查看原文”。如需洽谈其它事宜,请联系[email protected]。