默认冷灰
24号文字
方正启体

第十一章 击穿幻影之剑 (6 / 7)

作者:吾道长不孤 最后更新:2023/9/13 2:21:21
        图灵停机问题,就是判断任意一个程序是否能在有限的时间之内结束运行的问题。该问题等价于如下的判定问题:是否存在一个程序p,对于任意输入的程序w,能够判断w会在有限时间内结束或者死循环。

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

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

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

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

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

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

        一个图灵机理解另一个图灵机的唯一方法,就是在体内模拟那个图灵机的工作。

        可以让虚拟的图灵机宕机的指令,就可以令虚拟这个图灵机的图灵机宕机。

        ——当然,也存在“虚拟你存在世界的不是图灵机,而是超图灵机”的状况。但说真的,能够把超图灵机拿出来做缸中之脑的文明,就已经远远超过人类理解了。这种状况下,人类认知范围内根本就不存在破解的办法,所以也没有思考的必要。

        内容未完,下一页继续阅读
(←快捷键) <<上一章 举报纠错 回目录 回封面 下一章>> (快捷键→)

大家都在看?