天才一秒记住【做客中文网】地址：https://www.zk01.net
“很好。”
向山点了点头：“世界没有消失，机器没有消失——这是个好现象，孩子。
这说明，我是真的，你也是真的。
我们并非位于一个模拟器内。”
“记好这个。
这个叫做‘图灵停机’，是斩破幻觉的剑。”
图灵停机问题，就是判断任意一个程序是否能在有限的时间之内结束运行的问题。
该问题等价于如下的判定问题：是否存在一个程序p，对于任意输入的程序，能够判断会在有限时间内结束或者死循环。
这个问题可以简单的表述成“一个图灵机是否可以简单的判定另一个图灵机应该停机”
。
而阿兰·图灵在计算机诞生之前，就给出了他的判断。
图灵停机问题逻辑上是无法解决的。
所以，这也就给予了人们斩破幻境的剑。
如果能够在一个图灵机演算形成的幻境之中，构建一个与图灵机数学上同构的结构，然后再用它来进行停机问题的判定，那这个图灵机，就有将矩阵的资源耗尽，击穿层层矩阵的能力。
只要上级的矩阵依旧是“图灵机”
。
一个图灵机理解另一个图灵机的唯一方法，就是在体内模拟那个图灵机的工作。
可以让虚拟的图灵机宕机的指令，就可以令虚拟这个图灵机的图灵机宕机。
——当然，也存在“虚拟你存在世界的不是图灵机，而是图灵机”
的状况。
但说真的，能够把图灵机拿出来做缸中之脑的文明，就已经远远过人类理解了。
这种状况下，人类认知范围内根本就不存在破解的办法，所以也没有思考的必要。
图灵机、图灵停机问题、希尔伯特计划……这些都是内功的始源。
这也正是向山宁可暂时放下重建义体，也要先完成这神秘仪式的原因。
他现在不能确定，自己是不是“缸中之脑”
——按照他对技术的理解，将一个大脑泡在培养液中，让他误以为周围的幻觉是“真实”
，其实并不困难。
所以他必须得验证。
生物脑虽然数学结构上极为高级，但它就是如此容易受骗的东西。
它在“功能性”
上无法和人造物媲美。
大自然本着“能用就行”
的原则瞎捏出来的东西，哪里能敌得过智慧本着“欺骗”
的目的设计出来的手段？
只有智慧才能对抗智慧。
在确认了周围的“实在性”
之后，这个世界仿佛都在向山眼中鲜活了起来。
他轻轻摩挲尤基的脑袋：“蛮好，你是真的，我也是真的。”
关于p问题、np问题、ph问题、pspace问题、expTIme问题、BQp问题之间的包含关系，可看作者头像（#笑）
（本章完）
本章未完，请点击下一章继续阅读！若浏览器显示没有新章节了，请尝试点击右上角↗️或右下角↘️的菜单，退出阅读模式即可，谢谢！