带动下不断的落下。其中一些被铁皮挡住,一些则穿过铁坡上的孔,将动能传递到下面的齿轮上。铁皮则随着齿轮的运动而向内移动。
向山盯着裸露的机械,观察他的运转。
“叮”的一声。尤基有些不可思议。
“卡住了,向山……”
“很好。”向山点了点头:“世界没有消失,机器没有消失——这是个好现象,孩子。这说明,我是真的,你也是真的。我们并非位于一个模拟器内。”
“记好这个。这个叫做‘图灵停机’,是斩破幻觉的剑。”
图灵停机问题,就是判断任意一个程序是否能在有限的时间之内结束运行的问题。该问题等价于如下的判定问题:是否存在一个程序p,对于任意输入的程序w,能够判断w会在有限时间内结束或者死循环。
这个问题可以简单的表述成“一个图灵机是否可以简单的判定另一个图灵机应该停机”。
而阿兰·图灵在计算机诞生之前,就给出了他的判断。
图灵停机问题逻辑上是无法解决的。
所以,这也就给予了人们斩破幻境的剑。
如果能够在一个图灵机演算形成的幻境之中,构建一个与图灵机数学上同构的结构,然后再用它来进行停机问题的判定,那这个图灵机,就有将矩阵的资源耗尽,击穿层层矩阵的能力。
只要上级的矩阵依旧是“图灵机”。
一个图灵机理解另一个图灵机的唯一方法,就是在体内模拟那个图灵机的工作。
可以让虚拟的图灵机宕机的指令,就可以令虚拟这个图灵机的图灵机宕机。
——当然,也存在“虚拟你存在世界的不是图灵机,而是超图灵机”的状况。但说真的,能够把超图灵机拿出来做缸中之脑的文明,就已经远远超过人类理解了。这种状况下,人类认知范
本网站为网友提供小说上传储存空间平台,为网友提供在线阅读交流、txt下载,平台上的所有文学作品均来源于网友的上传
用户上传的文学作品均由网站程序自动分割展现,无人工干预,本站自身不编辑或修改网友上传的内容(请上传有合法版权的作品)
如发现本站有侵犯权利人版权内容的,请向本站投诉,一经核实,本站将立即删除相关作品并对上传人ID账号作封号处理