逻辑人生：哥德尔传

　　《逻辑人生：哥德尔传》在介绍哥德尔精彩的一生时，把我们带到逻辑边界和逻辑之外，深入到最激动人心的哲学未知领域进行探索。哥德尔：一位智慧巨人，他的不完全性定理不仅改变了数学，而且改变了整个科学世界和建筑于此定理之上的哲学。在《逻辑人生：哥德尔传》中，作者为我们描述了这样一个复杂的人物：既入世又遁世，既雄心勃勃又固执己见。他是爱因斯坦一直找寻的谈伴，并被爱因斯坦视为知音。

　　约翰·L·卡斯蒂，1943年生于波特兰，1970年在南加利福尼亚大学获数学博士学位，1992年加入美国圣菲研究所。著作有《实在更替》、《范式丧失》、《寻求确定性、《复杂化》、《五项黄金法则》、《虚实世界》和《剑桥五重奏》。维尔纳·德渡利，维也纳大学统计与计算机科学研究所教授。他著有好几本有尖哥德尔的德文书，并曾为德语电视节目制作过部有关哥德尔的节目。

对本书的评价
内容提要
作者简介
前言
第一章 自亚里士多德以来
第二章 永远的不完全
第三章 不可判定
第四章 青年时代的哥德尔
第五章 在普林斯顿的生活
第六章 计算装置与数学
第七章 思维机器和不完全性逻辑
第八章 来来往往
第九章 复杂性之复杂性
第十章 灵魂之窗
参考文献