哥德尔传MOBI,EPUB,AZW,PDF,TXT,KINDLE
哥德尔传MOBI,EPUB,AZW,PDF,TXT,KINDLE
哥德尔传.jpg
哥德尔被美国《时代周刊》评为20世纪最有影响力的100个人之一,爱因斯坦称其为自亚里士多德之后最伟大的逻辑学家,他的理论为计算机科学和人工智能领域的发展奠定了基础。他提出的哥德尔不完备性定理,堪称数学逻辑理论中最伟大的发现,至今仍影响着人工智能领域的发展。
逃离帝国
阿黛尔
奥斯卡·摩根斯特恩第一次见到阿黛尔就觉得她惹人讨厌。
对于哥德尔本人选择的人生伴侣,摩根斯特恩在日记里记录了他的第一印象。“她像一个维也纳洗衣女工,”他写道,“健谈,没有受过良好的教育,自信开朗,而且她很可能救了哥德尔的命。”但从这里往下,摩根斯特恩几乎穷尽了德语词库,找出了所有与“可怕”和“丑恶”相关的词汇来形容阿黛尔。总之,“真是个令人厌恶的女人”。[1]
显然,哥德尔十分清楚他的高知朋友们会如何看待阿黛尔。在1938年夏两人正式订婚前,他们从未见过阿黛尔,甚至没人听哥德尔提起过她。“我从未见过他的未婚妻,我只知道3年前他生病时有一个名叫阿黛尔的女人去看过他。”卡尔·门格尔听说哥德尔订婚后,在寄给奥斯瓦尔德·维布伦的信里如此写道。[2]
哥德尔传MOBI,EPUB,AZW,PDF,TXT,KINDLE