书籍介绍
《哥德尔证明》是第一本既面向学者又面向非专业人士，对哥德尔证明的主要思路和广泛含义作了易读的解释的书。对任何具有逻辑和哲学品味的受过教育的人士来说，它提供了一个深入了解先前无法企及的论题的机会。
在此书的新版中，普利策奖的获奖作者道格拉斯•R·霍夫斯塔特对这一经典著作的原文进行了重新斟酌和更新，澄清了模糊之处，使论述更为清晰，并使行文更具可读性。
目录
用户评论
最重要的就是利用了理查德悖论，又绕过了解决理查德悖论的数学命题与元数学命题的区分。
一直在想，如果新基础集合论的层化公式要求被引入到逻辑学中，会如何。不过大概也就和1936年罗素证明的一样，得到一个完备且自恰但不是递归可遍历的公理集吧。
不是很好，翻译也不行。哥德尔定理完全可以用文字表述出来而不必非得借助于抽象的数理符号。在这点上，本书还是略显繁琐愚笨了一些，当然针对纯门外汉而言是这样的。但既然是这样，那就不要标榜本书的普遍适用性和明晰性了。
这本书竟然是作者们写的一篇文章的附属物
本书后半部分以脚注的方式写成。。。
严重不明觉厉！
毁灭性打击了自然机械论，为实在论留下空间。没有深入讨论哥德尔证明的技术细节，而是大体思路的介绍，很有启发性。
哥德尔牛逼！理性的自否性被发现后，死的理论（形而上学）被彻底杀死，活的理论（辩证法）绽放生机！
数理逻辑入坑作。读的时候惊为天人。寒假重温书单+1
终于体会到精读复读的作用了，第二遍读完就豁然开朗起来😆
读的不爽，核心部分讲的不好。。。
Z-Library