1931年，库尔特·哥德尔发表了一篇革命性的论文，对传统数学和逻辑研究中作为基础的某些根本性假定提出了挑战。时至今日，他对未知领域进行的探索，已被公认为是对现代科学思想的重大贡献。

本书是第一本既面向学者又面向非专业人士，对哥德尔证明的主要思路和广泛含义作了易懂的解释的书。对任何具有逻辑和哲学品味的受过教育的人士来说，它提供了一个深入了解先前无法企及的论题的机会。

1931年，库尔特·哥德尔发表了一篇革命性的论文，对传统数学和逻辑研究中作为基础的某些根本性假定提出了挑战。时至今日，他对未知领域进行的探索，已被公认为是对现代科学思想的重大贡献。

本书是第一本既面向学者又面向非专业人士，对哥德尔证明的主要思路和广泛含义作了易懂的解释的书。对任何具有逻辑和哲学品味的受过教育的人士来说，它提供了一个深入了解先前无法企及的论题的机会。

在此书的新版中，普利策奖的获奖作者道格拉斯·R·霍夫斯塔特对这一经典著作的原文进行了重新斟酌和更新，澄清了模糊之处，使论述更为清晰，并使行文更具可读性。他同时加进了一篇新的前言，其中披露了他本人和这一开创性著作的特殊的个人联系，这本书对他本人专业生涯的影响，解释了哥德尔证明的基本精神，并且阐明了哥德尔证明是怎样和为什么直到今天仍然具有相关的意义。

新版序言

致谢

一 导论

二 一致性问题

三 一致性的绝对证明

四 形式逻辑的系统编码

五 一个成功的一致性绝对证明的例子

六 映射的概念及其在数学中的应用

七 哥德尔证明

 (一)哥德尔编码

 (二)元数学的算术化

 (三)哥德尔论证的核心

八 结论性的反思

附录

简要书目

索引

译者后记