手机浏览器扫描二维码访问
向山盯着裸露的机械,观察他的运转。
“叮”的一声。尤基有些不可思议。
“卡住了,向山……”
“很好。”向山点了点头:“世界没有消失,机器没有消失——这是个好现象,孩子。这说明,我是真的,你也是真的。我们并非位于一个模拟器内。”
“记好这个。这个叫做‘图灵停机’,是斩破幻觉的剑。”
图灵停机问题,就是判断任意一个程序是否能在有限的时间之内结束运行的问题。该问题等价于如下的判定问题:是否存在一个程序P,对于任意输入的程序w,能够判断w会在有限时间内结束或者死循环。
这个问题可以简单的表述成“一个图灵机是否可以简单的判定另一个图灵机应该停机”。
而阿兰·图灵在计算机诞生之前,就给出了他的判断。
图灵停机问题逻辑上是无法解决的。
所以,这也就给予了人们斩破幻境的剑。
如果能够在一个图灵机演算形成的幻境之中,构建一个与图灵机数学上同构的结构,然后再用它来进行停机问题的判定,那这个图灵机,就有将矩阵的资源耗尽,击穿层层矩阵的能力。
只要上级的矩阵依旧是“图灵机”。
一个图灵机理解另一个图灵机的唯一方法,就是在体内模拟那个图灵机的工作。
可以让虚拟的图灵机宕机的指令,就可以令虚拟这个图灵机的图灵机宕机。
——当然,也存在“虚拟你存在世界的不是图灵机,而是超图灵机”的状况。但说真的,能够把超图灵机拿出来做缸中之脑的文明,就已经远远超过人类理解了。这种状况下,人类认知范围内根本就不存在破解的办法,所以也没有思考的必要。
图灵机、图灵停机问题、希尔伯特计划……这些都是内功的始源。
这也正是向山宁可暂时放下重建义体,也要先完成这神秘仪式的原因。
他现在不能确定,自己是不是“缸中之脑”——按照他对技术的理解,将一个大脑泡在培养液中,让他误以为周围的幻觉是“真实”,其实并不困难。
所以他必须得验证。
生物脑虽然数学结构上极为高级,但它就是如此容易受骗的东西。它在“功能性”上无法和人造物媲美。
大自然本着“能用就行”的原则瞎捏出来的东西,哪里能敌得过智慧本着“欺骗”的目的设计出来的手段?
只有智慧才能对抗智慧。
在确认了周围的“实在性”之后,这个世界仿佛都在向山眼中鲜活了起来。
他轻轻摩挲尤基的脑袋:“蛮好,你是真的,我也是真的。”
关于锅影忍者9620org想知道我变强的秘诀?我告诉你艺术源于爆炸,甩锅才能变强!98766org这是一个靠着甩锅加点走上忍界巅峰的故事。9779orgcn...
雷高岭之花为爱下神坛的狗血虐文又名寸骨殇高岭之花深情攻身世凄惨坚韧受所有人都想不通池律为什么会喜欢上唐松灵,包括唐松灵自己。毕竟高岭之花和乡间野草放在一起怎么看都不协调。因此,当得知池律被甩时,所有人都觉得唐松灵是不是疯了,给脸不要。七年之后,再次相逢。池律还是人人仰望的矜贵公子。唐松灵还是和之前一样的落魄潦倒。池律用指尖挑了挑他沾了泥的黄色马甲,促狭道这就是你说的回归正常生活?他看着在唐松灵怀里撒娇叫爸爸的小孩,只觉得这么多年的撕心裂肺,夜不能寐,都是一场笑话。然而就在他真正准备放下执念时,一句无心之语,真相初显端倪,他穷追不舍,抽丝剥茧,痛不欲生。七年之前,我去奔赴与你的约定,也许是上天注定,这条路永远都走不到头。救命之恩,不得不报,亡人之子,终生相托,这其中苦涩,说不清,道不尽。你我之间,隔了多少阴谋算计,多年之后见你的么每一眼,都是上天的恩赐一寸伤骨,一幕夜色,都成了池律心底愈合不了的疤痕。预收CP1424379高冷攻VS美人受一句话简介美人报错仇的酸爽故事~...
2002年有三件大事,第一件是上海获得了世界博览会的举办权,第二件事是事业单位机构改革,第三件事是陆渐红失恋了。陆渐红经过调岗,要离开熟悉的家乡小镇。...
关于影视诸天从正阳门下开始已写世界正阳门下山海情目前世界北京爱情故事待选世界平凡的世界匆匆那年血色浪漫鸡毛飞上天我不是药神欢乐颂...
关于光之猎魔人在邪神漫步的世界,上演温馨的日常。天生精神异常的少年决心成为一名猎魔人的学徒。只是猎魔人的大半能力都在灵侍身上,而他的灵侍是家政型的能够将油污一冲就干净的水枪,能够吐出清洁的泡泡最重要的是足够可爱!...
关于不分手就会死瑶瑶,我们分手吧。我是念念,我不叫瑶瑶。啊,念念啊,对不起,你等一下。…念念是吧,不好意思,你也分。哥,您这哪是分手啊,您这简直就是公司裁员啊。简介无力,请直接移步正文,不好看请砍我!!!已有百万字精品老书,我的恋爱画风有些不正常喜欢的可以去支持一下(简介无力,请移步正文!!!)...