哥德尔证明

1931年，逻辑学家、数学家库尔特·哥德尔（Kurt Godel）发表的关于不完全性定理的论文，挑战了数学和逻辑研究中的基本假设，被认为是现代逻辑科学在哲学方面的三大成果之一。由于这一贡献，他获得了被誉为“在美国同类奖项中蕞高奖”的第一届阿尔伯特·爱因斯坦奖。

哥德尔的证明即使对于专业研究者来讲也会显得过于复杂。本书两位作者首次以相对简单的形式解释了哥德尔论文中涉及的逻辑与数学基本术语、使用到的证明方法以及证明的主要思路和核心论题，为首次进入哥德尔证明思想的读者提供了一幅简明地图。

本书也直接影响了侯世达开始从事数理逻辑研究并写出了《哥德尔、艾舍尔、巴赫》。本书译自原书50周年纪念版。在此版本中，侯世达澄清了原文本中的一些歧义之处，并添加了一个新的序言。他在序言中不仅展示了自己与本书的关系，还解释了哥德尔证明的本质，明确了哥德尔证明对于思考认知科学特别是人工智能发展的重要意义。