2021年理论计算机最高荣誉“哥德尔奖”出炉!两位华人学者获奖,Ada...

在国内,关于哥德尔最为大家熟知的书籍大概就是:《哥德尔艾舍尔巴赫:集异璧之大成》一书,想必大家都畅读过。1951年在授予哥德尔爱因斯坦勋章时,冯·诺依曼评价说道:“哥德尔在现代逻辑中的成就是非凡的、不朽的——他的不朽甚至超过了纪念碑,他是一个里程碑,是永存的纪念碑。”httpstwitter/eatcs_secretary...