为使讨论更明确，我需要解释一下决定论的概念。决定论最为人熟知的定义是马奎斯·P.S.de·拉普拉斯给出的，距离他写《论可能性》不远。拉普拉斯设想有一个高级理智，在任何一个时间t0把这个理智赋予自然律和宇宙状态，它都能在或迟或早的时间里算出宇宙状态。说决定论是真的，也就是说一种决定的理论正确地描述了世界。拉普拉斯的定义类似于下述说法：在传统的机械论语言中被描述的、处于任一时间t的宇宙状态是从处于时间t0的宇宙状态演化而来的，在这里，t≠t0（最后一个句子的确可以省略，因为t＝t0的情况毫无意义）。如果我们假设传统机械论已被完全形式化，则谈论高级计算器会被认为仅是一种隐喻，而且它将会被形式推理理论所代替，后者是句法的一部分，而且在基础数论中富于表现，假如在t0时的宇宙状态是由有限多的符号所描述的。在传统机械论（已得到特定的相关修正）中，就某种意义而言，这种情况是可能出现的，因为当人们断定于t时在某一特定点发生什么时，有必要考虑以那点为圆心半径｜c（t-t0）｜之间的那些物质。然而，还有一个问题，即在传统机械论中还没有对n-body问题给出一个合理的答案（拉普拉斯自己当然很清楚n-body问题的难度；他的确是应用机械学的伟大先驱）。我认为人们并没有证实不存在这样的答案，尽管看上去似乎没有这样的答案。如果根本不存在这样的答案，连上帝也不知道，那么拉普拉斯所设想的高级计算器就不可能推出t时的宇宙状态。高级计算器必须被最大限度地加以改进。我们不清楚，这些是否可以从纯粹句法的角度得以特别说明。