约翰·L. 卡斯蒂，1943年生于波特兰，1970年在南加利福尼亚大学获数学博士学位，曾任职于美国兰德公司、亚利桑那大学和奥地利维也纳的国际应用系统分析研究所（IIASA）。1986年进入维也纳技术大学计量经济、运筹学和系统理论研究所。1992年加入美国圣菲研究所。现在的研究兴趣集中于利用大型微模拟器研究复杂自适应系统。著有《实在更替》《范式丧失》《寻求确定性》《复杂化》《五项黄金法则》《虚实世界》和《剑桥五重奏》。

维尔纳·德波利，维也纳大学统计与计算机科学研究所教授。他著有好几本有关哥德尔的德文书，并曾为德语电视节目制作过一部有关哥德尔的电影。

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

001一  前言

001一  第一章  自亚里士多德以来

009一  第二章  永远的不完全

028一  第三章  不可判定

037一  第四章  青年时代的哥德尔

053一  第五章  在普林斯顿的生活

067一  第六章  计算装置与数学

084一  第七章  思维机器和不完全性逻辑

106一  第八章  自如穿越

115一 第九章  复杂性之复杂性

134一  第十章  灵魂之窗

137一  参考文献