具体描述
《哥德尔证明》是第一本既面向学者又面向非专业人士，对哥德尔证明的主要思路和广泛含义作了易读的解释的书。对任何具有逻辑和哲学品味的受过教育的人士来说，它提供了一个深入了解先前无法企及的论题的机会。
在此书的新版中，普利策奖的获奖作者道格拉斯•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年起，成为《科学美国人》杂志的编委会成员。他曾用十几年的时间编辑出版了四卷本的《数学世界》丛书，其中收集了从古到今的重要数学文献，具有极大参考价值，曾多次再版。
目录信息
致谢
一 导论
二 一致性问题
三 一致性的绝对证明
四 形式逻辑的系统编码
五 一个成功的一致性绝对证明的例子
六 映射的概念及其在数学中的应用
七 哥德尔证明
（一）哥德尔编码
（二）元数学的算术化
（三）哥德尔论证的核心
八 结论性的反思
附录
简要书目
索引
译者后记
· · · · · · (收起)
读后感
这本书像倚天屠龙记一样，演绎了绝世神功，讲了一个少年偶得一书终成绝世高手故事。要命的是，少年偶得之书就是这本书，等于说，这本书既是倚天屠龙记，又就是九阳真经本身。如果你想宅一天，宅得淋漓酣畅，宅得气势如虹，那么就读这本书吧，大号字，一百页，《哥德尔证明》。 ...
评分有足够理性的人都应该会喜欢这本书. 是否想过有些问题虽然有其真伪,但是却无法证明. (即在我们用于描述这些问题的缺省的前提和推理规则,或者叫形式系统，是不完备的）. 所以，那些在电视里滔滔不绝预测未来股市，楼市的人不用担心他们的论断被除了事实之外的某个人驳倒. 所...
评分这本书像倚天屠龙记一样，演绎了绝世神功，讲了一个少年偶得一书终成绝世高手故事。要命的是，少年偶得之书就是这本书，等于说，这本书既是倚天屠龙记，又就是九阳真经本身。如果你想宅一天，宅得淋漓酣畅，宅得气势如虹，那么就读这本书吧，大号字，一百页，《哥德尔证明》。 ...
评分PM：一种形式演算系统，在其中能表达所有通常的算术概念。 1.构造一个公式G，代表元数学命题“使用PM规则，公式G不可证”。 2.从1可以看出，G是可证的，当且仅当，～G是可证的。而在PM中，如果G与～G都可证，那么PM不一致。所以，如果PM一致，那么G不可证。 3.如果PM一致，G不...
评分我看的是1958年的版本，大概是4美元左右购于eBay。在阅读过程中虽然时不时遇到需要读两三遍的句子，但是整体来说这本书还是比较浅易好懂的。不考虑英文水平，高中水平应该就可以读懂。 当然此书对于哥德尔证明当然也只是提纲挈领的概述，很多细节没有深入探讨下去。当然这也没...
用户评价
最重要的就是利用了理查德悖论，又绕过了解决理查德悖论的数学命题与元数学命题的区分。 一直在想，如果新基础集合论的层化公式要求被引入到逻辑学中，会如何。不过大概也就和1936年罗素证明的一样，得到一个完备且自恰但不是递归可遍历的公理集吧。
评分字号很大出版社有良心啊。从来没这么认真地读过一本书的所有脚注和附录，详细又生动，好评！最后作者才不玩那些感谢爹娘伴侣小孩那些虚的，上来就是此书献给伯特兰罗素。可证就是不可证，那一小段看了半个多小时。真虚妄…虽然第一次看这样的书好好玩…[居然半夜了
评分重读此书，数学太少，作为领域外科普很适合。不过有一点数理逻辑基础还是大有帮助。另外这本书中很多逻辑学概念都没有涉及，所以只能算最浅显的哥德尔论述了。（其实哥德尔证明核心还是构造PM系统消歧义）
评分工作烦闷无处发泄之后看此书三页必有清火去毒之功效。
评分最重要的就是利用了理查德悖论，又绕过了解决理查德悖论的数学命题与元数学命题的区分。 一直在想，如果新基础集合论的层化公式要求被引入到逻辑学中，会如何。不过大概也就和1936年罗素证明的一样，得到一个完备且自恰但不是递归可遍历的公理集吧。
相关图书
本站所有内容均为互联网搜索引擎提供的公开搜索信息，本站不存储任何数据与内容，任何内容与数据均与本站无关，如有需要请联系相关搜索引擎包括但不限于百度，google,bing,sogou 等
© 2026 qciss.net All Rights Reserved. 小哈图书下载中心 版权所有