起初,人们可能会认为这一定是某种临时问题,只要足够聪明就可以解决。但从这本书的发现中,我得出结论,事实上它不是,相反,它是一个非常基本的现象的后果之一,这个现象是从计算等价性原理而来的,我称之为计算不可约性。

如果将系统的演化视为一种计算,那么这个演化中的每一步都可以被视为对系统进行了一定的计算。但传统理论科学在某种意义上隐含地依赖的是,这种努力在某种程度上是不必要的,事实上,用更少的努力就能找到进化的结果。

当然,在下面的前两个例子中,情况就是这样。正如理想行星的轨道一样,实际上有一个简单的公式可以给出每个系统的状态


细胞自动机进化中的计算可约性和不可约性示例。前两个规则产生了简单的重复计算可还原行为,其中可以很容易地推导出许多步骤之后的结果,而无需跟踪每个步骤。第三条规则产生的行为在计算上似乎是不可约的,因此只有明确地跟踪每一步才能有效地找到其结果。这里显示的细胞自动机都有三色总体规则。


此页面的可导出图像:

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