本网站不提供下载链接，喜欢看书的朋友请关注公众号：【lennylee的碎碎念】(lennyleede)，首页回复：授人以渔，自动获取搜索资源的方法。
内容简介:
《哥德尔证明》是第一本既面向学者又面向非专业人士，对哥德尔证明的主要思路和广泛含义作了易读的解释的书。对任何具有逻辑和哲学品味的受过教育的人士来说，它提供了一个深入了解先前无法企及的论题的机会。
在此书的新版中，普利策奖的获奖作者道格拉斯•R·霍夫斯塔特对这一经典著作的原文进行了重新斟酌和更新，澄清了模糊之处，使论述更为清晰，并使行文更具可读性。
作者简介:
欧内斯特·内格尔（Ernest Nagel） (1901—1985）
内格尔出生于现在捷克共和国的首都布拉格（当时是奥匈帝国的一部分），十岁时随家庭移居美国。1923年获纽约城市学院学士学位，1925年获哥伦比亚大学数学硕士学位，1930年获该校哲学博士学位。此后除了在洛克菲勒大学工作过一年之外，一直在哥伦比亚大学任教：1946年起任教授，1956年至1966年任杜威讲座哲学教授，1967年至1970年退休前成为校级教授。其间，1940年至1946年任《符号逻辑》杂志编委；1939年至1956年担任《哲学杂志》编委；1956年至1959年任《科学哲学》杂志编委。曾任美国哲学和科学方法研究会主席，美国符号逻辑协会主席，美国哲学协会东部分会主席。他于1961年出版的《科学的结构》（The Structure of Science）被公认为科学分析哲学的开山之作，是逻辑实证主义运动的领军人物之一。内格尔是美国科学院院士，英国科学院的通讯院士。
詹姆士·R· 纽曼（James R. Newman）（1907—1966）
律师、数学家和数学史家。二战前后及期间曾担任美国驻伦敦大使馆首席情报官，战时副国务卿特别助理，美国参议院原子能问题顾问等重要敏感职务。战后从1948年起，成为《科学美国人》杂志的编委会成员。他曾用十几年的时间编辑出版了四卷本的《数学世界》丛书，其中收集了从古到今的重要数学文献，具有极大参考价值，曾多次再版。
新版序言
致谢
一 导论
二 一致性问题
三 一致性的绝对证明
四 形式逻辑的系统编码
五 一个成功的一致性绝对证明的例子
六 映射的概念及其在数学中的应用
七 哥德尔证明
（一）哥德尔编码
（二）元数学的算术化
（三）哥德尔论证的核心
八 结论性的反思
附录
简要书目
索引
译者后记
· · · · · · (收起)
原文摘录:
很明显，除非忍受循环或无穷倒退之苦，总是有一些指称算术属性的词汇是无法明确定义的——因为我们不能定义所有的东西，而必须从某处出发——尽管这些词汇仍可能以某种其他方式被理解。 (查看原文)
豆友228624270
4赞
2024-05-29 20:28:36
—— 引自章节：第六章 映射观念及其在数学中的使用
哥德尔的天才之处，就在于他认识到数字是体现任何种类的模式的普遍中介，并且正因为如此，表面上看来只是有关数字的命题，事实上能够被看作是有关其它领域的命题的编码。换句话说，哥德尔跨越了数论的表面层次，认识到数字能够代表任何种类的结构。在计算机问题上应用哥德尔的想法，可以看到，由于计算机说到底是操作数字的，而数字又是体现任何种类的模式的普遍中介，因而计算机能对应任意类型的模式，不管它们是逻辑的还是非逻辑的，是一致性的还是非一致性的。简言之，当你站得离成千上万内部相互联系着的各种数字模式足够远时，你就能看出其它领域的模式，就像肉眼观看一个显示屏上的像素，能从中看出一张熟悉的脸来，而非 0 和 1 组成的阵列一样。
这种哥德尔式的对待计算机的方式，在现代世界上已通行到了这样的程度，以至于除了专家以外，人们对计算机的数字基础干脆就是视而不见。普通人日常用计算机进行文字处理，玩游戏，通信，看动画，设计，画图等等，根本就不去想在硬件深部进行的基本算术运算。认知科学家，指望他们的计算机的算术硬件既不犯错也无创造性，而给出“一组固定的指令”来模拟人的出错及人的创造。至少在原则上，没有理由认为不能用计算机模拟出创造性的数学思维过程。但是，在二十世纪五十年代，还很难看出计算机的这种潜力。然而，免不了有讽刺意味的是，这样一本专门赞颂哥德尔对数字在总体上能包揽所有模式的洞见的书，其主要的哲学结论中竟然没有体现这种洞见，因而未能看到这种“演算机械”能复制出所有的可以想见的模型样式，甚至包括创造性的人类思维在内。 (查看原文)
无云晴空
3赞
2014-03-08 09:42:31
—— 引自章节：前言