哥德尔证明
Gödel's proof
Ernest Nagel , James Roy Newman · 初版 1958 年
- 45次提及
- 30人推荐
- 39位 HN 评论者
简介
1931年，Kurt Godel发表了他具有奠基意义的论文《On Formally Undecidable Propositions of "Principia Mathematica" and Related Systems》。这篇革命性的论文挑战了数学与逻辑学诸多前沿研究背后的某些基本假设。1951年，Godel凭借其在自然科学领域的卓越成就荣获首届Albert Einstein Award，其工作由此获得了学界与公众的高度认可——这或许是当时美国该领域的最高荣誉。评奖委员会盛赞他在数理逻辑方面的贡献是“近年来对科学界最伟大的贡献之一”。然而
为什么值得读
短小精悍且直击哥德尔不完备定理核心的严谨读本
- 篇幅仅为同类书的十分之一，直奔主题
- 剥离冗长寓言，清晰讲解不完备定理
- 平易近人，有效澄清对定理的哲学误读
适合：想快速搞懂哥德尔证明的计算机或数理读者
值得读指数：86 / 100
Hacker News 读者推荐
当我第一次对不完备性着迷时（在学完计算理论的初级课程之后），它在一段时间内几乎成了我的一种“信仰”。但正如许多数学家所感叹的那样，不完备性定理是有史以来被滥用最多的证明之一——被非专业人士用来鼓吹自己半生不熟的伪哲学（当然，量子力学也是同样的遭遇……
vbtemp 在 HN 的推荐
我出于一种责任感硬着头皮从头读到尾，但结果非常失望。阿喀琉斯、乌龟和各种随机生物的寓言让人厌烦透顶，内容绕了半天才切入正题。对于任何对该证明感兴趣的人，我推荐内格尔（Nagel）的《哥德尔证明》（Gödel’s Proof）。它用大约十分之一的篇幅讲完了同样的材料。 （GEB里确实还有其他哲学探讨，
afthonos 在 HN 的推荐
……哪怕只是对计算机科学的基础稍微有一点点在乎的人，都绝对应该读一读，尽可能精读。稍微相关的补充：虽然探讨得更偏技术/更深一些，但内格尔和纽曼合著的《哥德尔证明》[1]是该领域一本非常平易近人的入门书，解释了不完备性定理的许多方面。[1] http://www.amazon.com/G%C3%B6dels-Proof-Ernest-Nagel/dp/0814...
wicknicks 在 HN 的推荐
找书
豆瓣 微信读书 京东 Open Library ISBN 0814758371
数据整理自 Hacker News 公开评论，数据来源 hackerbooks.org 与 Open Library。