吾道长不孤提示您:看后求收藏(零点小说www.hdxart.com),接着再看更方便。

轮的带动下不断的落下。其中一些被铁皮挡住,一些则穿过铁皮上的孔,将动能传递到下面的齿轮上。铁皮则随着齿轮的运动而向内移动。

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

“叮”的一声。尤基有些不可思议。

“卡住了,向山……”

“很好。”向山点了点头:“世界没有消失,机器没有消失——这是个好现象,孩子。这说明,我是真的,你也是真的。我们并非位于一个模拟器内。”

“记好这个。这个叫做‘图灵停机’,是斩破幻觉的剑。”

图灵停机问题,就是判断任意一个程序是否能在有限的时间之内结束运行的问题。该问题等价于如下的判定问题:是否存在一个程序P,对于任意输入的程序w,能够判断w会在有限时间内结束或者死循环。

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

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

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

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

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

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

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

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

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

图灵机、图灵停机问题、希尔伯特计划……这些都是内功的始源。

这也正是向山宁可暂时放下重建义体,也要先完成这神秘仪式的原因。

他现在不能确定,自己是不是“缸中之脑”——按照他对技术的理解,将一个大脑泡在培养液中,让他误以为周围的幻觉是“真实”,其实并不困难。

所以他必须得验证。

生物脑虽然数学结构上极为高级,但它就是如此容易受骗的东西。它在“功能性”上无法和人造物媲美。

科幻灵异推荐阅读 More+
长夜君主

长夜君主

风凌天下
长夜笼罩世界,曙光迟迟。 邪恶降临大地,生灵涂炭。 他游走在长夜之中,徜徉在刀锋之上,摇摆于云端与地狱之间。 点燃星魂之火。 既然长夜漫漫,那我便做夜之君主。 【凌天传说】【异世邪君】【傲世九重天】【天域苍穹】【我是至尊】【左道倾天】【碧落天刀】后, 风凌天下第八本书。 普群QQ:877103143
科幻 连载 690万字
我的诡物都是些没用的家伙

我的诡物都是些没用的家伙

0720事件
无处隐蔽的白色灾厄,生死混淆的弥留之魂,生存无望归家的游子...巧合之间,难以理解的粉毛检察员,带着缝隙无法随意放开的书籍。莫黎在一次次灾厄中崛起,又看到世间的新生。“乖,听黎姐的话,把药喝了。”...
科幻 连载 18万字
我以神明为食

我以神明为食

相思洗红豆
三十年前, 流星坠,神墟现! 有神明从中走出,以人类为食。 从那一天起,人类开始成为神明的食物, 除了我! 因为我以神明为食。
科幻 连载 540万字
帝国从第四天灾开始

帝国从第四天灾开始

镜大人
接管一艘《家园》的母舰,然后穿越到《星球大战》世界?唐骁:“这个世界好危险啊,妈妈我要回家。”等一下,母舰数据库里面居然有《太阳帝国的原罪》、《光晕》、《EVE》、《星际争霸》、《群星》??而且冷冻舱里面居然还沉睡着吉姆-雷诺、士官长、阿塔尼斯大主教?唐骁:“哼!他们都将拜倒在我的脚下!!”第四天灾……啊不,第四帝国万岁!
科幻 连载 650万字