1931年,库尔特.哥德尔发表了一篇革命性的论文,对传统数学和逻辑研究中作为基础的某些根本性假定提出了挑战。时至今日,他对未知领域进行的探索,已被公认为是对现代科学思想的重大贡献。 《哥德尔证明》是第一本既面向学者又面向非专业人士,对哥德尔证明的主要思路和广泛含义作了易读的解释的书。对任何具有逻辑和哲学品味的受过教育的人士来说,它提供了一个深入了解先前无法企及的论题的机会。 在此书的新版中,普利策奖的获奖作者道格拉斯·R·霍夫斯塔特对这一经典著作的原文进行了重新斟酌和更新,澄清了模糊之处,使论述更为清晰,并使行文更具可读性。