阅读提示
一部逻辑学家的传记，主角是证明「不完备性定理」的哥德尔。作者既写他如何想通那个定理，也写他晚年如何被被害妄想吞掉，两部分都不轻松。，作者是科学记者出身，写法偏叙事，很少摆公式。
线索清晰：维也纳学派时期的学术氛围、一九二九年的博士论文、一九三一年的不完备性定理（任何足够强的形式系统里都存在既不能证明也不能否证的真命题）、逃离纳粹、普林斯顿高等研究院与爱因斯坦的散步、晚年对食物下毒的恐惧与绝食而亡。作者也解释了这个定理常被滥用的地方，比如被拿去论证机器永远不可能有智能。他也写到哥德尔与爱因斯坦晚年的散步：两个人在普林斯顿的小路上只谈物理与逻辑，谁也不提各自的病。
适合对数学基础与科学史感兴趣的读者；不足是定理部分的解释仍偏技术，跳过公式的人会读得吃力，也可能读歪。
内容简介：
哥德尔被美国《时代周刊》评为20世纪最有影响力的100个人之一，爱因斯坦称其为自亚里士多德之后最伟大的逻辑学家，他的理论为计算机科学和人工智能领域的发展奠定了基础。他提出的哥德尔不完备性定理，堪称数学逻辑理论中最伟大的发现，至今仍影响着人工智能领域的发展。
哥德尔早年就职于维也纳大学，后因战乱逃离欧洲，辗转来到普林斯顿高等研究院。在这里，他逐渐融入了美国的生活，并与爱因斯坦结下了深厚的情谊，成为科学史上的一段佳话。晚年的哥德尔获得终身教职，但最后因被害妄想症悲惨离世。
他的一生在哲学、数学、人工智能等领域都提出了颠覆性的理论，甚至涉猎了相对论。如果哥德尔的定理以及由此推导出的结论是正确的，就意味着人类将永远不能制造出能够完美复刻人脑推理、学习、计划、解决问题能力的计算机。
作者简介：
斯蒂芬·布迪安斯基（Stephen Budiansky），美国传记作家、科普作家、古根汉研究员，英国《科学》期刊编辑；《纽约时报》《华盛顿邮报》《经济学人》自由撰稿人，先后出版过17部作品，代表作如《霍姆斯传》。