哥德尔:一个自由而无用的灵魂 |书评
哥德尔被爱因斯坦称为亚里士多德之后最伟大的逻辑学家。他提出的哥德尔不完备性定理,堪称数学逻辑理论中最伟大的发现,撼动了当时被大数学家希尔伯特认为完美的数学王国。
哥德尔1906年4月28日出生于当时隶属于奥匈帝国的布尔诺,1923年进入维也纳大学,原本要学习物理,在参加过几次数论的讲座后转向数学,并参加了以哲学家为主、专注于讨论语言和意义及逻辑关系的维也纳小组。1930年,24岁的哥德尔获博士学位,后在维也纳大学工作。
因欧洲战乱,身为犹太人的哥德尔的国籍几经变换,先是奥匈帝国,后是捷克斯洛伐克,然后为奥地利,当奥地利被纳粹德国吞并后,他成为了德国人。二战前,因担心被德国军队征兵,他逃离了欧洲,1940年辗转来到美国,并在普林斯顿的高等研究院工作。1946年,哥德尔获得高等研究院终身教职。晚年时,哥德尔罹患迫害妄想症,拒绝进食,1978年因营养不良和身体机能衰竭离世。
作为计算机学家,张峥欣赏哥德尔在数学和逻辑学上的成就和独特趣味,也在思考人才为何聚集到美国。如何让学者同时安放自己的心灵和书桌,这是一个值得探究的问题。
责编 | 陈晓雪
● ● ●
图1在维也纳大学的哥德尔 | 图源:Kurt Gödel Papers, the Shelby White and Leon Levy Achives Center,普林斯顿高等研究院
作者简介
张峥,原上海纽约大学计算机教授,亚马逊云计算上海AI研究院院长。