第449章 暴力拔插头的终极解法（1/2）

看着那堆被简并态大铲子拍得粉碎的红色BUG方块，那个长得像俄罗斯方块成精的像素管理员愣了足足三秒，原本方方正正的脸都因为惊讶而出现了锯齿。

这一砖头下去，不仅修好了BUG，连缓存都给清了？像素人围着大铲子号转了两圈，语气里充满了对这种暴力美学的不可置信，这种未经编译直接修改底层数据的操作，简直是……太优雅了。

少废话，给钱。

李星河把铲子往肩上一扛，另一只手伸到了像素人面前，手指捻了捻。

我们星际工程队概不赊账。既然帮你搞定了这个死循环，那是给现金，还是给这种方块地皮？

谈钱多伤感情，我给你们一个内测资格。像素人神神秘秘地凑过来，指着这片黑白世界的尽头，也就是那个被称为源代码的深处。

你们不是想找造物主吗？那个老家伙就躲在图灵完备区的后面。不过，去那里的路我也没走过，我得先运行一下寻路算法。

说着，像素人的头顶突然冒出了一个巨大的沙漏图标。它双眼翻白，身体开始剧烈颤抖，嘴里念叨着无数的逻辑判断语句：如果向左走是死路，则返回；如果向右走是陷阱，则跳转……

一分钟过去了，沙漏还在转。十分钟过去了，像素人的身体开始发烫，甚至冒出了马赛克烟雾。

它怎么了？卡了？杨烈戳了戳那个正在抽搐的管理员。

不，它陷入了逻辑黑洞。

9527号推了推眼镜，看着像素人头顶那个无限循环的代码流，脸色变得严肃起来。

这是计算机科学领域最着名的不可解问题——停机问题（HaltgProble）。

他在空中画了一个死循环的符号：

阿兰·图灵在1936年就证明了，不存在一个通用的算法，能够预判另一个程序在给定输入下，是会停止运行得出结果，还是会无限循环下去。这个管理员试图预演通往造物主的所有路径，但它陷入了自我指涉的怪圈，它永远算不出结果，因为它不知道自己什么时候该停下来。

简单来说，它把自己算死了？李星河挑了挑眉。

没错。9527号叹气，这就是逻辑的局限性。只要它是程序，它就绕不开图灵的诅咒。除非有外力强行中断，否则它会一直算到宇宙重启。

外力中断？

本章未完，点击下一页继续阅读。