哥德尔传：逻辑学家哥德尔的一生

　　哥德尔被美国《时代周刊》评为20世纪最有影响力的100个人之一，爱因斯坦称其为自亚里士多德之后最伟大的逻辑学家，他的理论为计算机科学和人工智能领域的发展奠定了基础。他提出的哥德尔不完备性定理，堪称数学逻辑理论中最伟大的发现，至今仍影响着人工智能领域的发展。哥德尔早年就职于维也纳大学，后因战乱逃离欧洲，辗转来到普林斯顿高等研究院。在这里，他逐渐融入了美国的生活，并与爱因斯坦结下了深厚的情谊，成为科学史上的一段佳话。晚年的哥德尔获得终身教职，但最后因被害妄想症悲惨离世。他的一生在哲学、数学、人工智能等领域都提出了颠覆性的理论，甚至涉猎了相对论。如果哥德尔的定理以及由此推导出的结论是正确的，就意味着人类将永远不能制造出能够完美复刻人脑推理、学习、计划、解决问题能力的计算机。在知识鞭长莫及的认知极限之外，没有什么是确定的，只有人类的精神不可替代、独一无二。杰拉德·萨克斯曾对哥德尔做出了以下精辟的评价：“他让数学变得更有趣。”

　　斯蒂芬·布迪安斯基美国传记作家、科普作家、古根汉研究员，英国《科学》期刊编辑；《纽约时报》《华盛顿邮报》《经济学人》自由撰稿人，先后出版过17部作品，代表作如《霍姆斯传》。