《哥德尔传》[美] 斯蒂芬· 布迪安斯基 | PDF下载|ePub下载

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

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

他的一生在哲学、数学、人工智能等领域都提出了颠覆性的理论，甚至涉猎了相对论。如果哥德尔的定理以及由此推导出的结论是正确的，就意味着人类将永远不能制造出能够完美复刻人脑推理、学习、计划、解决问题能力的计算机。

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