欢迎来到相识电子书！
章节目录
新版序言 致谢 一 导论 二 一致性问题 三 一致性的绝对证明 四 形式逻辑的系统编码 五 一个成功的一致性绝对证明的例子 六 映射的概念及其在数学中的应用 七 哥德尔证明 （一）哥德尔编码 （二）元数学的算术化 （三）哥德尔论证的核心 八 结论性的反思 附录 简要书目 索引 译者后记
内容简介
《哥德尔证明》是第一本既面向学者又面向非专业人士，对哥德尔证明的主要思路和广泛含义作了易读的解释的书。对任何具有逻辑和哲学品味的受过教育的人士来说，它提供了一个深入了解先前无法企及的论题的机会。 在此书的新版中，普利策奖的获奖作者道格拉斯•R·霍夫斯塔特对这一经典著作的原文进行了重新斟酌和更新，澄清了模糊之处，使论述更为清晰，并使行文更具可读性。
下载说明
1、哥德尔证明是作者欧内斯特·内格尔（Ernest Nage创作的原创作品，下载链接均为网友上传的网盘链接！
2、相识电子书提供优质免费的txt、pdf等下载链接，所有电子书均为完整版！
下载链接
热门评论
-
寄意林水的评论谁了解哥德尔证明，一起探讨一下。 南京·秣陵街区
-
小角落的小角色的评论哥德尔不完全性定理：第一不完备性定理，任意一个包含一阶谓词逻辑与初等数论的形式系统，都存在一个命题，它在这个系统中既不能被证明也不能被否定；第二不完备性定理， 如果系统S含有初等数论，当S无矛盾时，它的无矛盾性不可能在S内证明。
-
368号复机的评论即使哥德尔不完备定理已经证明算术的逻辑一致性，但也无法证明永远这种情况不可能遇见。此刻正在啃着数学的我的臆想：如果有人能证明出形式体系的不一致性，世界应该美好清静很多啊！然恰如Hilbert所言：如果连数学思维都有缺陷，我们还能在哪里找到真理与正确呢？（读《除以零》有感
-
evanqian的围脖的评论还有一本旧书。关于思考的本质我们所知甚少。哥德尔定理：逻辑一致的形式系统无法证明自己的一致性。从这里出发做个“类比”，思维本身能否通过“逻辑”来理解思维及其中的“逻辑”呢？
-
Kaco_Xue的评论科学网—哥德尔定理的证明——1背景和内容 - 应行仁的博文 - 网页链接
-
阳明门下一走犬的评论面试开始了。 面试官：“你原来是哪国人？” 哥德尔：“奥地利。本来也是个民主国家，后来就变成纳粹国家了。” 面试官：“这种事在我们美国绝不会发生。” 哥德尔：“这种可能性是存在的。我来证明给你看。” 然后哥德尔就开始列式子。 然后面试官机智地让哥德尔在这里就直接过了，要不然美国宪
-
江南青山绿水的评论#康托的无穷，对吗？！#《哥德尔证明》中的理查德悖论是有问题的，可能是错误的。因为理查德悖论可能是伪悖论。如下图。 北京·清华大学
-
政治经济学推广者的评论我们假设某个个体的语义场是一个互相解释的命题的体系，依据哥德尔不完备定律，每个体系中必有一个即不能被证明的命题也不能被证伪的命题，但是由于每个人必然会对这个命题进行真假的判定或者倾向，那么这个命题便是逻辑近似的。
-
卢昌海的评论著名逻辑学家哥德尔是个难伺候的病号，不听医嘱且疑心极重，起居全靠妻子照料。在一生最后半年时，妻子自己生了病，结果哥德尔的生活立刻陷入困境，每隔几天才煮一次饭，还将朋友请来的护工拒之门外，据信是怕后者对他下毒。1978年1月14日，哥德尔去世，死亡证明上写着他死于人格障碍造成的营养不良。
-
巴拿马草帽的评论网页链接 哥德尔和图灵所证明的是：形式系统早晚都会产生有意义的语句，其真实性只能在系统本身之外得到证明。这个限制并不会阻碍我们对世界的理解。相反，它证明我们生活在一个存在更高意义的世界里。 分享自Kindle
-
数学u的评论哥德尔不完全性定理的证明中用到了素数，因而该定理对Goldbach不适用
-
concentrateintegrity的评论哥德尔命题说总有一种真理游离于体系外，是否能证明一个体系总有一个第一推动力。 北京·北关
-
DeKurtGodel的评论三十八年前的今天，伟大的哥德尔逝世。上帝为之震惊！ 什么？你不相信上帝的存在? 那么让哥德尔证明给你看：上帝是存在的。
-
ILLINL7的评论证明了不完全性定理后，哥德尔自己都有点不相信：这证明太漂亮简洁了。他开始查证是否前人做过相关工作。这让我想起“甲壳虫”乐队的McCartney，一天梦醒后写出了那首著名的Yesterday，也不相信这么优美的音乐是自己写的，有一个月时间见人就问听过这歌吗？
-
薛定谔的触手的评论我们建立逻辑系统明晰推理步骤的根本目的就是为了澄清这个逻辑系统内部每个命题的真伪，这是理性精神的基本体现，但现在发现这是妄想。因为哥德尔不完备性定理的存在，不仅存在无法证明真伪的命题，甚至连判定一个命题究竟是不是无法证明且无法证伪的通用方法都不存在，这也是人类理性的自相矛盾之一了
-
贾彦民的评论我的确要把我生活中的全部事业追溯到那至关重要的一天：当时是1959年秋天，在门罗公园的开普勒书店里，我完全偶然地见到了《哥德尔证明》。--道格拉斯.R.霍夫斯塔
-
中科院之声的评论1931年，数学家库尔特·哥德尔宣布，他证明了总有一些数学命题是“不可判定”的，即我们永远无法证明或证伪它们，这一发现震惊了学界。如今，三位研究者又发现，正是同一原理让物理学家无法计算物质的一项重要性质——原子的理想模型中，电子的最低能级间隙。不可解的物理学难题，...
-
重庆Q博士的评论#科学趣知道#【不可解的物理学难题：源于数学核心悖论】理论物理学家的最新研究表明，哥德尔不完备性定理与量子力学中无法计算的问题相关联。 库尔特?哥德尔(左)证明，总有一些数学命题是不可判定的；阿兰则将哥德尔的证明延伸到了计算机科学里无法解决... 不可解的物理学难题：...
-
重庆科协的评论#科学懂生活#【不可解的物理学难题：源于数学核心悖论】理论物理学家的最新研究表明，哥德尔不完备性定理与量子力学中无法计算的问题相关联。 库尔特证明，总有一些数学命题是不可判定的；阿兰?图灵(右)则将哥德尔的证明延伸到了计算机科学里无法解决... 不可解的物理学难题：...