这表明,在我们的实际宇宙中,我们可以期望操纵的组件的大小和密度是有限制的。

在当今物理学中,量子力学的标准数学形式主义通常被解释为暗示量子系统像多路系统一样工作,可能并行地遵循许多路径。事实上,在通常的形式主义中,人们可以构造出量子计算机,它可以比普通的图灵机器更快地解决至少几个特定的问题。

但特别是在我发现第9章,我强烈怀疑,即使形式上是这样,它仍然不会成为终极物理现实的真实代表,而是会被发现反映出迄今为止使用的模型中的各种理想化。

因此,最终看来,在某种基本意义上,找到具有给定特定初始条件的系统的行为所需的计算工作量,以及解决确定哪一个初始条件产生特定行为的逆问题所需的工作量,确实可能存在几乎指数级的差异。

事实上,我怀疑,在我们看来行为复杂的几乎任何系统中都会存在这种差异。除其他外,这意味着我们在第10章.

这些限制最终可以被视为计算不可约现象的后果。但一个更直接的结果是我们之前讨论过的结果:即使给定一个特定的初始条件,也可能需要不可减少的计算工作量才能在给定的进化步骤之后找到结果。

可以指定步骤数t吨通过给出数字序列t吨对于行为足够简单的系统,比如重复或嵌套页面上的图片744表明人们通常可以通过与数字序列的长度基本成比例的工作量来确定结果。

但关键是,当存在计算不可约性时,可能实际上必须明确遵循t吨进化的步骤-需要指数级的更多计算工作。


此页面的可导出图像:

斯蒂芬·沃尔夫拉姆(Stephen Wolfram):一种新的科学[引用]