事实上，在极端情况下，甚至有可能对符号积分的计算进行模拟，并建立某种统一的程序来寻找基本上任何简短定理的证明。

一般来说，只要一个证明中或不同证明之间有足够多的重复元素，这就表明存在计算可约性。然而，虽然这意味着在被证明的每个定理中实际上有更少的新信息，但事实证明，在数学的大多数领域，这些定理通常是被认为有趣的。

普遍性的存在意味着在某种程度上必须存在计算不可约性，因此必须存在任何短程序都无法实现的定理。但问题是，数学往往忽略了这些，而只关注所有可能定理网络中计算可约性的有限补丁。

然而，从某种意义上说，这与物理学中所发生的情况没有什么不同，在物理学中，传统上研究的现象大多只是那些显示出足够计算可简化性以允许用传统理论物理方法进行分析的现象。

然而，在物理学中，人们只需观察自然界，就可以发现存在其他更复杂的现象，而通常的数学方法几乎没有任何类似的迹象。

然而，随着本书中基于显式实验的新方法的使用，现在很明显，诸如计算不可约性之类的现象发生在抽象数学系统中。

事实上，计算等价性原则意味着这种现象应该在几乎每个方向上都近在咫尺：这仅仅是因为尽管数学在广义上享有盛誉，但它过去一直在含蓄地定义自己，以避免出现这些现象。

所以这意味着，在未来，当这本书的思想和方法被成功吸收后，今天存在的数学领域将被视为实际可能的一个小而令人惊讶的反常样本。