虫虫小说网

手机浏览器扫描二维码访问

第11章 击穿幻影之剑（第5页）

尤基依言转动。

钢钎在齿轮的带动下不断的落下。

其中一些被铁皮挡住，一些则穿过铁皮上的孔，将动能传递到下面的齿轮上。

铁皮则随着齿轮的运动而向内移动。

向山盯着裸露的机械，观察他的运转。

“叮”

的一声。

尤基有些不可思议。

“卡住了，向山……”

“很好。”

向山点了点头：“世界没有消失，机器没有消失——这是个好现象，孩子。

这说明，我是真的，你也是真的。

我们并非位于一个模拟器内。”

“记好这个。

这个叫做‘图灵停机’，是斩破幻觉的剑。”

图灵停机问题，就是判断任意一个程序是否能在有限的时间之内结束运行的问题。

该问题等价于如下的判定问题：是否存在一个程序p，对于任意输入的程序，能够判断会在有限时间内结束或者死循环。

这个问题可以简单的表述成“一个图灵机是否可以简单的判定另一个图灵机应该停机”

。

而阿兰·图灵在计算机诞生之前，就给出了他的判断。

图灵停机问题逻辑上是无法解决的。

所以，这也就给予了人们斩破幻境的剑。

如果能够在一个图灵机演算形成的幻境之中，构建一个与图灵机数学上同构的结构，然后再用它来进行停机问题的判定，那这个图灵机，就有将矩阵的资源耗尽，击穿层层矩阵的能力。

只要上级的矩阵依旧是“图灵机”

。