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

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

001一  前言

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

009一  第二章  永远的不完全

028一  第三章  不可判定

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

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

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

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

106一  第八章  自如穿越

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

134一  第十章  灵魂之窗

137一  参考文献