逻辑人生：哥德尔传

　　库尔特·哥德尔是一个智慧巨人。他的不完全性定理不仅改变了数学，而且改变了整个科学世界和建筑于此定理之上的哲学。哥德尔定理粉碎了逻辑最终将使我们理解整个世界的梦想，同时也引发了许多富有挑战性的问题：什么是理性思维的界限？我们能够完全理解我们自己造的机器吗？我们能够搞清楚我们心智的内在工作过程吗？当研究结果缺乏逻辑的确定性时，数学家还怎么继续工作？在这本书里，我们最终遇到了置身于这些深邃思想背后的那个人。约翰·L.卡斯蒂和维尔纳·德波利为我们描述了一个复杂的人物：既入世又遁世，既雄心勃勃又固执己见。正像卡斯蒂和德波利所明断的那样，哥德尔的影响是持久不衰的。他的工作不仅使数学发生革命性的变化，而且波及哲学、语言学和计算机科学，甚至还包括宇宙学。

　　作者简介：约翰·L. 卡斯蒂，1943年生于波特兰，1970年在南加利福尼亚大学获数学博士学位，曾任职于美国兰德公司、亚利桑那大学和奥地利维也纳的国际应用系统分析研究所（IIASA）。1986年进入维也纳技术大学计量经济、运筹学和系统理论研究所。1992年加入美国圣菲研究所。现在的研究兴趣集中于利用大型微模拟器研究复杂自适应系统。著有《实在更替》《范式丧失》《寻求确定性》《复杂化》《五项黄金法则》《虚实世界》和《剑桥五重奏》。维尔纳·德波利，维也纳大学统计与计算机科学研究所教授。他著有好几本有关哥德尔的德文书，并曾为德语电视节目制作过一部有关哥德尔的电影。译者简介：刘晓力北京大学哲学博士，中国人民大学哲学院教授，中国人民大学哲学与认知科学交叉平台首席专家。主要研究方向为科学哲学和数学哲学、心灵哲学与认知科学哲学，著有《哥德尔思想研究》《认知科学对当代哲学的挑战》等。叶闯 哲学博士，教授，曾任教于北京大学哲学系，现任教于山西大学哲学学院，主要学术领域为语言哲学、形而上学、哲学方法论，已出版《理解的条件——戴维森的解释理论》《语言·意义·指称——自主的意义与实在》等学术专著。

001一  前言
001一  第一章  自亚里士多德以来
009一  第二章  永远的不完全
028一  第三章  不可判定
037一  第四章  青年时代的哥德尔
053一  第五章  在普林斯顿的生活
067一  第六章  计算装置与数学
084一  第七章  思维机器和不完全性逻辑
106一  第八章  自如穿越
115一 第九章  复杂性之复杂性
134一  第十章  灵魂之窗
137一  参考文献