033 斩破幻觉的剑

“图灵机的……逻辑？”

楚伯哀看了眼停止的齿轮机器，陷入沉思。

艾伦·麦席森·图灵提出图灵机这个假想的理论模型，否定了“可计算性理论”。

可计算性理论，就是问：是否所有数学题都可以被计算出对应的结果？

答案是不。

因为很多数学问题本身就是逻辑悖论。

楚伯哀仔细思索，带点不确定的说道：“我记忆里，图灵机是个悖论：如果程序a的输入经程序b判断为停机，则a不停机；如果a的输入经b判断为不停机，则a停机。”

“这就形成了无止境的逻辑死循环，程序一直在计算，却永远不可能给出计算结果。”

随着讲述，楚伯哀猛的联想到理发师悖论。

一个小镇只有一个理发师，他给自己定下一条规矩：只为从不给自己理发的人理发。

问：他是否该给自己理发?

数学上类似的悖论实在是太多了。

他的眉头忍不住拧成了川字：“图灵先生，您早就论证过图灵机的逻辑本身就是悖论，是不成立的。”

图灵静静听完楚伯哀的讲述，点点头：“没错，数学概念上确实如此，但是通过电子终端设计一个存在逻辑死循环的程序，技术上是完全可以做到的。”

他转身，指了指停滞下来的那台齿轮机器。

“和数学一样，电子终端也无法跳出‘计算性问题’的限制，当它遭遇某种逻辑死循环，它就只能无止境的运行下去，直到耗干最后的计算资源。”

“就如同你刚刚遭遇的那样。”

楚伯哀点头，这在原世界确实是常识。

有些问题，电子终端一开始就无法理解。

哪怕是楚伯哀穿越的时候，电子终端仍然无法正确识别图形。

无数游戏行业的程序员们，依旧把“肉眼识别验证码”作为阻拦盗号者恶意登陆玩家账号的手段。

一道电光在楚伯哀脑海里划过，他双眼一亮，转头望向那台机器，有些明白了。

“您的意思是，如果把它看作是存在于电子终端里的程序，那么它就是个无限死循环的图灵机，会占据内存一直消耗电子终端的计算资源，却永远无法停止？”

“刚刚墙壁、地面和天花板的向内弯曲收缩，就是在寓意被消耗的计算资源？”

对方先前说它的运作逻辑是图灵机的本质，楚伯哀现在有点明白了。

“你终于明白了。”图灵欣慰的点点头。

“作为人类，我们的生物脑能够第一时间判断计算资源被无意义的消耗，需要关闭这个程序或者直接重启。”

“但是电子终端和智能ai，是永远无法理解这种问题的，最多就是绕过这个问题设置一个剩余内存临界点，一旦突破直接重启终端。”

“但这样一来，反而会导致更多的问题，骇客可以轻松进行数据攻击，强制任何一台电子终端重启。”

楚伯哀了然的点点头。

艾伦·麦席森·图灵作出最后的总结：“电子终端的运算速度和人类的生物脑完全没有可比性，但是有的生物脑可以简单分析出的问题，电子终端却永远都无法理解。”

“不是计算资源不足，无法计算，而是一开始计算的可能性都不存在。”

“机器人可以完成程序规定的行动，但无论多高明的智能ai都无法真的像人类一样完成思考。”

楚伯哀恍然大悟。

他终于理解了现在身处的异世界为什么会存在改造人。

“难怪从没听说智能机器人的存在，原来不是不想制作，而是……制作出的机器人根本不具备人类的思维能力，所以只能不断对活人进行机械植入。”

图灵露出个古怪的微笑：“没错，除非给一台仿生机器人植入人脑。”

“……”

对方看似是在开玩笑，但是楚伯哀一点不觉得好笑。

反而觉得心里慎得慌。

“这就是我要教你的东西，你刚刚已经做过了。”

图灵走到齿轮机器边，用力转动摇杆，用力很大，金属咬合与碰撞一下子响了起来。

地面、天花板、墙壁开始以这台机器为中心，向内收缩。

图灵瞬间转身，瞪大眼睛，郑重与楚伯哀对视：“记住这个齿轮结构！”

“无论因为什么原因，科技也好，神秘也罢，当你陷入幻觉的时候，如果你还有一丝一毫的自我意识，在脑海里模拟这个结构，推动它！”

“通过这个结构，来消耗掉影响你自身思维的力量！”

“记住，这就是图灵机，斩破幻觉的剑！”

[作者寄语] 玄幻039书院 提示：以上为《我在赛博当神秘学大佬》最新章节 033 斩破幻觉的剑。歧路狂歌 持续更新中，敬请关注后续。