一个存在更高意义的世界
高等研究院的计算机的逻辑架构与哥德尔的预示相吻合，它诞生于富尔德219室。“20世纪30年代距离通用可编程信息处理计算机的实际物理设备问世还有数十年时间，但是熟悉现代编程语言的人，如果现在阅读哥德尔当时编写的不可判定性方面的论文，就会发现一个由45个公式组成的、具有数字编码的序列，它看起来与计算机程序非常相似。”马丁·戴维斯（Martin Davis）说。1952年9月，他在海军研究办公室的赞助下来到了研究院。“为了证明《数学原理》（Principia Mathematica）中一个证据的代码的属性在该书中能够得到表达，哥德尔必须处理许多相同的问题，也正是那些被设计出来的编程语言及其所编写的程序要面临的问题。”戴维斯写道。
1931年，哥德尔就已经证明了数字地址和自我参考的种种功能。在一台存储程序计算机中，规则之一就是你可以改变规则。哥德尔非常清楚，即使图灵的通用机与冯·诺依曼对通用机的实现和自己的理念并无直接关系，它们也都是自己理念的实证。“也许，冯·诺依曼脑中的设想比通用图灵机更为明晰，”他后来向阿瑟·伯克斯解释说，“可以说，在他的头脑中对机器行为的完整描述是无限的，因为考虑到不存在预测其行为的判定程序，只有列举出所有实例才能给出完整的描述。在通用图灵机中，两种复杂性的比值为无穷大。这样一来，通用图灵机可能被认为是一种极限情况。”
莱布尼茨在他的最大相异原理中包含了通用数字编码的理念：无限的复杂性源自有限的规则。1697年，他给布伦斯威克公爵写信说：“没有什么比这项创造更佳的类比或演示了：仅使用1和0或者什么也不用，就代表了数字的起源。”他敦促打造一枚银质纪念章（背面为公爵肖像），以推动二进制算术的功能以及“万能的上帝从无中创造万物”的信仰获得全世界的关注。
意义从何处来？如果一切都被指定为数字，这是否会削弱其在现实世界中的意义？哥德尔和图灵所证明的是：
形式系统早晚都会产生有意义的语句，其真实性只能在系统本身之外得到证明。这个限制并不会阻碍我们对世界的理解。相反，它证明我们生活在一个存在更高意义的世界里。
“因为我们存在于尘世的意义本身就非常值得怀疑，这一存在只能是朝着另一存在的目标前进的一种手段，”1961年，哥德尔写信给他的母亲说，“毕竟，世上一切都具有意义的想法，恰恰与任何事物都有一个由来类似，科学也全部基于此。”
本书评论