哥德尔不完备定理
Gödel's incompleteness theorems
Raymond M. Smullyan · 初版 1992 年
- 2次提及
- 2人推荐
- 2位 HN 评论者
Hacker News 读者推荐
…屈尊提到了哥德尔第二不完备定理，也就是公理系统无法证明自身一致性的那个定理。现在，如果你去看一本比马宁（Manin）那本更好的书，比如斯穆里安（Smullyan）的《Godel's Incompleteness Theorems》，并研读第二不完备定理的证明，你就会发现它的证明需要用到第一定理的句法证明（syntactic proof）——而马宁却说这个证明不重要。这是因为要证明…
anatoly 在 HN 的推荐
关于不完备性，我最喜欢的一本书是 Raymond Smullyan 的《Godel's Incompleteness Theorems》。
omaranto 在 HN 的推荐
找书
数据整理自 Hacker News 公开评论，数据来源 hackerbooks.org 与 Open Library。