第169章 幽灵机器的终焉（1 / 13）
宿主大人，新的剧情任务已开启。
💎 自动续章
开启后章尾自动进入下一项剧情任务
💎 开启系统续章
剧情到底自动跳转，宿主不必手动操作。
九月十二日，正式开课后的第一个下午。
六点零七分。
项目组会议室的大屏幕上，孤零零地掛著一句写於1990年的判断。
【人们永远无法证明：Σ(5)=4098，s(5)=47176870。】
下面，端端正正地署著一个名字。
艾伦·布雷迪（allen brady）。
对於繁忙海狸（busy beaver）问题的人来说，这都是一个绕不开的名字。
1983年，他完成了四状態繁忙海狸的证明。
而五状態繁忙海狸那台著名冠军机，由马克森（marxen）和邦特罗克（buntrock）在1989年找到。
那是一台宛如奇蹟般的机器，它会在全白纸带上运行整整四千七百一十六万八千八百七十步，然后在停机的那一瞬间，留下四千零九十八个“1”。
冠军早已找到，甚至被人们瞻仰了三十多年。
但问题在於，谁也无法在数学和逻辑上给出一个坚不可摧的证明：在这个庞大的搜索空间里，在等价约化前超过十六万亿张转移表、经过树形规范化后仍需处理上亿台代表机器的搜索空间里，谁也无法排除另一台藏得更深、跑得更久的机器。
五个状態。
两个符號。
一张只有十个转移位置的表格。