逻辑人生：哥德尔传

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

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