哥德尔传

哥德尔被美国《时代周刊》评为20世纪最有影响力的100个人之一，爱因斯坦称其为自亚里士多德之后最伟大的逻辑学家，他的理论为计算机科学和人工智能领域的发展奠定了基础。他提出的哥德尔不完备性定理，堪称数学逻辑理论中最伟大的发现，至今仍影响着人工智能领域的发展。

哥德尔早年就职于维也纳大学，后因战乱逃离欧洲，辗转来到普林斯顿高等研究院。在这里，他逐渐融入了美国的生活，并与爱因斯坦结下了深厚的情谊，成为科学史上的一段佳话。晚年的哥德尔获得终身教职，但最后因被害妄想症悲惨离世。

他的一生在哲学、数学、人工智能等领域都提出了颠覆性的理论，甚至涉猎了相对论。如果哥德尔的定理以及由此推导出的结论是正确的，就意味着人类将永远不能制造出能够完美复刻人脑推理、学习、计划、解决问题能力的计算机。在知识鞭长莫及的认知极限之外，没有什么是确定的，只有人类的精神不可替代、独一无二。杰拉德·萨克斯曾对哥德尔做出了以下精辟的评价：“他让数学变得更有趣。”

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

译者：祝锦杰，北京大学医学学士，香港浸会大学双语交流与翻译学硕士，关注前沿科学、流行文化和历史人文领域，认同翻译不应停留于鹦鹉学舌。翻译作品有《神秘的量子生命》《最适者降临》《四维人类》等。