手机浏览器扫描二维码访问
向山点了点头:“世界没有消失,机器没有消失——这是个好现象,孩子。
这说明,我是真的,你也是真的。
我们并非位于一个模拟器内。”
“记好这个。
这个叫做‘图灵停机’,是斩破幻觉的剑。”
图灵停机问题,就是判断任意一个程序是否能在有限的时间之内结束运行的问题。
该问题等价于如下的判定问题:是否存在一个程序P,对于任意输入的程序w,能够判断w会在有限时间内结束或者死循环。
这个问题可以简单的表述成“一个图灵机是否可以简单的判定另一个图灵机应该停机”
。
而阿兰·图灵在计算机诞生之前,就给出了他的判断。
图灵停机问题逻辑上是无法解决的。
所以,这也就给予了人们斩破幻境的剑。
如果能够在一个图灵机演算形成的幻境之中,构建一个与图灵机数学上同构的结构,然后再用它来进行停机问题的判定,那这个图灵机,就有将矩阵的资源耗尽,击穿层层矩阵的能力。
只要上级的矩阵依旧是“图灵机”
。
一个图灵机理解另一个图灵机的唯一方法,就是在体内模拟那个图灵机的工作。
可以让虚拟的图灵机宕机的指令,就可以令虚拟这个图灵机的图灵机宕机。
——当然,也存在“虚拟你存在世界的不是图灵机,而是超图灵机”
的状况。
但说真的,能够把超图灵机拿出来做缸中之脑的文明,就已经远远超过人类理解了。
这种状况下,人类认知范围内根本就不存在破解的办法,所以也没有思考的必要。
图灵机、图灵停机问题、希尔伯特计划……这些都是内功的始源。
这也正是向山宁可暂时放下重建义体,也要先完成这神秘仪式的原因。
他现在不能确定,自己是不是“缸中之脑”
——按照他对技术的理解,将一个大脑泡在培养液中,让他误以为周围的幻觉是“真实”
,其实并不困难。
所以他必须得验证。
生物脑虽然数学结构上极为高级,但它就是如此容易受骗的东西。
它在“功能性”
上无法和人造物媲美。
大自然本着“能用就行”
的原则瞎捏出来的东西,哪里能敌得过智慧本着“欺骗”
的目的设计出来的手段?
只有智慧才能对抗智慧。
在确认了周围的“实在性”
之后,这个世界仿佛都在向山眼中鲜活了起来。
他轻轻摩挲尤基的脑袋:“蛮好,你是真的,我也是真的。”
她是镇国公唯一的嫡女也是京城贵族人人皆知的傻子。无意中让秦王错手杀死。她是二十一世纪的特工军医,为了任务英勇牺牲,灵魂却落入了傻女初夏的身体。他是京城里最大的扫把星,废物王爷残疾重病缠身,军医已经告知他还有一年的寿命,一道诏书。痴傻嫡女嫁给了废物王爷,人人耻笑。喜堂上他满头银发,嘴角含笑,心冷如冰,笑看那些侮辱耻笑他的人。深宫后院,斗继母,斗姐妹,为保病榻将死的丈夫,她斗太子,斗姑嫂,斗奸臣,步步为营,只为自己能有一份安稳的家。只是自己的丈夫不是快有一年要死了吗,怎么现在看着身体强健,虎虎生风,初夏这才发现自己的丈夫是一只披着猪皮的纸老虎,被他吃的死死的。情节虚构,请勿模仿...
林深穿越大唐贞观年间,并且还绑定了一款神级超市系统,从此便在长安城开起了超市。超市的第一个客人便是长乐公主,靠着系统的协助,林深在大唐很快便混的风生水起。长乐公主老板,你这口红我都要了,火柴就送我父皇吧。城阳公主我叫你一声好哥哥,可以送我几盒巧克力吗?李二朕封你一个楚王当当吧,你的食品救济了全天下的百姓,实在不行,朕的女儿你随便挑。林深我特么只想开个超市罢了,至于么你整这一出...
她是上古神族的独苗,闹得凤凰谷鸡飞狗跳。 千年之后,她携一只老鼠,游荡在花红酒绿的都市之中。 她,刁蛮任性,喜怒无常她,腹黑古怪,鬼马精灵。 最重要的,她更是吸人眼球的凤凰仙子! 她喜欢欺负弱小,但是却有怜悯之心。 她混迹都市,玩转各类小喽啰。 当遇到爱情的时候,她羞涩面对。 为博君一笑,愿翻倒尘世!...
☆☆☆本书简介☆☆☆她是妖艳撩人的异能者,偏倒霉地被柏档出卖穿越成了被渣夫贱女迫害的侯门疯妇。她惩贱女踹渣夫,一不小心却招惹了某爷一枚。此爷身份尊贵皮相撩人,在别人眼前高不可攀。在她面前却是化身...
一段不见归路的解怨之路!(注披着灵异外皮的真言情。本文略微有些虐。正剧)...
我的老公无能,结婚多年守空房。老公为了利益,不惜把我推上另外一个男人的床。这一次,却激发了我作为女人的渴望...