好消息是,这个问题解决了。坏消息是,我们无法得知这个答案是否正确,我们也不知道它的意思。因为这个答案比3000万个维基百科的词条还要长,只有计算机可以弄明白。想要理解计算机做出的论证,需要一大群数学家耗费多年进行计算。数学家史蒂夫·斯托加茨在数年前就预言说,距离电脑能够提供人类无法理解的答案的时代不远了。而现在,这个时代已经到来了。
这也提出了一个有趣的哲学问题:如果没有人可以对结果进行核实,更不用说理解这个解谜的过程,那么这个证明的结果还是有效的吗?谁将是数学领域的主宰者?谁将是思考领域的主宰者?
同样研究埃尔德什差异问题的以色列研究学者吉尔·卡莱给出了令人欣慰的说法:假如有另外一台计算机使用另外一种解决方法得到了和利物浦的计算机相似的结果,那么我们就应当接受这个论证。难道这个说法真的可以解决这个哲学问题吗?这难道不应该给我们提出警示吗?毕竟如果沿着这个思路,我们不只将计算本身,而且将对结果的检查也交给了计算机。
其他的研究者已经在预测,不久以后计算机将会在所有可能的领域向我们提供我们无法理解的理论,这些领域包括:新的宇宙学、高度复杂的人类遗传学的解码、社会领域的数学理论。一位经济学家提出:“科学将变得深不可测,因此会越来越像宗教或者魔法。”
微粒社会 The Granular Society
172