欧内斯特·内格尔（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年起，成为《科学美国人》杂志的编委会成员。他曾用十几年的时间编辑出版了四卷本的《数学世界》丛书，其中收集了从古到今的重要数学文献，具有极大参考价值，曾多次再版。

　　《哥德尔证明》是第一本既面向学者又面向非专业人士，对哥德尔证明的主要思路和广泛含义作了易读的解释的书。对任何具有逻辑和哲学品味的受过教育的人士来说，它提供了一个深入了解先前无法企及的论题的机会。
　　在此书的新版中，普利策奖的获奖作者道格拉斯·R·霍夫斯塔特对这一经典著作的原文进行了重新斟酌和更新，澄清了模糊之处，使论述更为清晰，并使行文更具可读性。

　　一　导论
　　1931年，一本德国的科学期刊上发表了一篇不算很长的论文，其标题很令人费解，叫做《论（数学原理）及相关系统的不可判定命题》。论文作者是库尔特·哥德尔，当时是维也纳大学的一位年仅25岁的年轻数学家，1938年以后，他成为普林斯顿高等研究院的终身成员。这篇论文是逻辑和数学史上的一座里程碑。1952年哈佛大学在授予哥德尔荣誉学位时，将此项工作称为现代逻辑学最重要的进展。
　　但是，这篇论文初次发表时，大多数数学家既不明白它的题目也不了解它的内容。在标题中提到的《数学原理》，是怀特海和罗素合写的三卷关于数理逻辑和数学基础的旷世巨著；但是对于在数学的大多数分支中要想成功地从事研究工作的人来说，熟悉这本著作却也并不是必不可少的预先要求。而且，哥德尔论文中处理的那一类问题，除了吸引少数研究者外，绝大多数人都不会感兴趣。其证明的思路在论文发表时又是如此创新，以至于只有那些密切关注着这个高度专业化的领域中技术性文献的人才能无困难地跟上其论证。尽管如此，现在人们已普遍认识到，哥德尔所得出的结论，对哲学而言，是具有革命意义的。本书的目的，就是使非专业的人士能够了解哥德尔成果的要点和其证明的轮廓。
　　哥德尔这篇著名的论文攻克的是数学基础的一个中心问题。这里先简要地概述一下问题产生的背景对理解论文是会有帮助的。任何曾接触过初等几何的人，无疑都会回想起它是一门演绎的学科。在经验科学中，一条定理只要和观察相一致就会被接受，但几何学与此不同。一个命题，只要它是经由明确的逻辑证明所得出的结论就是成立的，这个观念的形成可回溯到古希腊人，正是他们发明了所谓的“公理方法”，并且利用这种方法以一种系统的方式发展了几何学。

新版序言
致谢
一、导论
二、一致性问题
三、一致性的绝对证明
四、形式逻辑的系统编码
五、一个成功的一致性绝对证明的例子
六、映射的概念及其在数学中的应用
七、哥德尔证明..
(一)哥德尔编码
(二)元数学的算术化
(三)哥德尔论证的核心
八、结论性的反思
附录
简要书目
索引
译者后记