第169章 幽灵机器的终焉（1 / 13）

  九月十二日，正式开课后的第一个下午。

  六点零七分。

  项目组会议室的大屏幕上，孤零零地掛著一句写於1990年的判断。

  【人们永远无法证明：Σ(5)=4098，s(5)=47176870。】

  下面，端端正正地署著一个名字。

  艾伦·布雷迪（allen brady）。

  对於繁忙海狸（busy beaver）问题的人来说，这都是一个绕不开的名字。

  1983年，他完成了四状態繁忙海狸的证明。

  而五状態繁忙海狸那台著名冠军机，由马克森（marxen）和邦特罗克（buntrock）在1989年找到。

  那是一台宛如奇蹟般的机器，它会在全白纸带上运行整整四千七百一十六万八千八百七十步，然后在停机的那一瞬间，留下四千零九十八个“1”。

  冠军早已找到，甚至被人们瞻仰了三十多年。

  但问题在於，谁也无法在数学和逻辑上给出一个坚不可摧的证明：在这个庞大的搜索空间里，在等价约化前超过十六万亿张转移表、经过树形规范化后仍需处理上亿台代表机器的搜索空间里，谁也无法排除另一台藏得更深、跑得更久的机器。

  五个状態。

  两个符號。

  一张只有十个转移位置的表格。