逻辑人生
Douban
哥德尔传
Gödel: A Life of Logic
约翰.L.卡斯蒂 / 维尔纳.德波利 刘晓力 / 叶闯
Overview
《逻辑人生:哥德尔传》在介绍哥德尔精彩的一生时，把我们带到逻辑边界和逻辑之外，深入到最激动人心的哲学未知领域进行探索。哥德尔：一位智慧巨人，他的不完全性定理不仅改变了数学，而且改变了整个科学世界和建筑于此定理之上的哲学。在《逻辑人生:哥德尔传》中，作者为我们描述了这样一个复杂的人物：既入世又遁世，既雄心勃勃又固执己见。他是爱因斯坦一直找寻的谈伴，并被爱因斯坦视为知音。
contents
前言
第一章 自亚里士多德以来
第二章 永远的不完全
第三章 不可判定
第四章 青年时代的哥德尔
第五章 在普林斯顿的生活
第六章 计算装置与数学
第七章 思维机器和不完全性逻辑
第八章 来来往往
第九章 复杂性之复杂性
第十章 灵魂之窗
参考文献
