手机浏览器扫描二维码访问
“叮”
的一声。尤基有些不可思议。
“卡住了,向山……”
“很好。”
向山点了点头:“世界没有消失,机器没有消失——这是个好现象,孩子。这说明,我是真的,你也是真的。我们并非位于一个模拟器内。”
“记好这个。这个叫做‘图灵停机’,是斩破幻觉的剑。”
图灵停机问题,就是判断任意一个程序是否能在有限的时间之内结束运行的问题。该问题等价于如下的判定问题:是否存在一个程序p,对于任意输入的程序,能够判断会在有限时间内结束或者死循环。
这个问题可以简单的表述成“一个图灵机是否可以简单的判定另一个图灵机应该停机”
。
而阿兰·图灵在计算机诞生之前,就给出了他的判断。
图灵停机问题逻辑上是无法解决的。
所以,这也就给予了人们斩破幻境的剑。
如果能够在一个图灵机演算形成的幻境之中,构建一个与图灵机数学上同构的结构,然后再用它来进行停机问题的判定,那这个图灵机,就有将矩阵的资源耗尽,击穿层层矩阵的能力。
只要上级的矩阵依旧是“图灵机”
。
一个图灵机理解另一个图灵机的唯一方法,就是在体内模拟那个图灵机的工作。
可以让虚拟的图灵机宕机的指令,就可以令虚拟这个图灵机的图灵机宕机。
——当然,也存在“虚拟你存在世界的不是图灵机,而是图灵机”
的状况。但说真的,能够把图灵机拿出来做缸中之脑的文明,就已经远远过人类理解了。这种状况下,人类认知范围内根本就不存在破解的办法,所以也没有思考的必要。
图灵机、图灵停机问题、希尔伯特计划……这些都是内功的始源。
这也正是向山宁可暂时放下重建义体,也要先完成这神秘仪式的原因。
他现在不能确定,自己是不是“缸中之脑”
——按照他对技术的理解,将一个大脑泡在培养液中,让他误以为周围的幻觉是“真实”
,其实并不困难。
所以他必须得验证。
生物脑虽然数学结构上极为高级,但它就是如此容易受骗的东西。它在“功能性”
上无法和人造物媲美。
大自然本着“能用就行”
的原则瞎捏出来的东西,哪里能敌得过智慧本着“欺骗”
的目的设计出来的手段?
只有智慧才能对抗智慧。
在确认了周围的“实在性”
之后,这个世界仿佛都在向山眼中鲜活了起来。
他轻轻摩挲尤基的脑袋:“蛮好,你是真的,我也是真的。”
一觉醒来,李维惊讶的现自己突然就成为了神,但尴尬的是,空有神格,没有神力和神术,纯纯白板神,好在人们的崇拜和恐惧都可以化为神力,还能展神使创造神术,好吧,传承千年的正派组织和潜藏千年的反派组织出现了,开打开打!总不能祸害自己人,还是去国外搞事吧,阴阳师vs百鬼夜行,驱魔师vs血族狼人,圣骑士vs亡灵巫妖无女主,幕后流,本体也会作为大boss在乱斗中出战。...
我有一剑,出鞘即无敌!...
催更!今天的怎么还没更新?学姐,现在才早上六点。那昨天的怎么说?才一更!恋爱日常文很吃细节,码字的时候需要灵感的。那你灵感怎么来的?明明就单身。靠想象。那还不如谈个恋爱,还能顺带取材。要码字,没空。要不我帮你?帮我码字?当然是谈恋爱了!学姐,别开玩笑了。大学日常狗粮文,单女主,不狗血,不虐恋。(已有高订两万的完本老书我女友是up主,同样是日常狗粮文,欢迎开宰)另本书内容纯属虚构,与作者本人经历无关...
简介关于火影山中鬼丸的斩男日记好消息,你中了五百万!坏消息,你被卡车送走了!好消息,你没死穿越成了忍者!坏消息,你刚进入根部被下了咒印!好消息,你有挂人生模拟器!坏消息,三天后执行任务的时候你会挂!...
清冷傲娇古典非遗绣娘陈桑梓x理智淡漠天才机械设计师顾莳一现代言情HE治愈双向奔赴1v1纯爱顾莳一没想到,自己只是出门钓个鱼,竟然钓上来一只绣花鞋,救了人还被当成杀人犯?出门钓鱼带砍柴刀不很正常吗?这女人是有病吧?后来发现陈桑梓确实有病,她是患有回避型人格的天才刺绣匠人纹样设计师,与繁华的世俗格格不入。再后来,顾莳一发现,她的病可能会感染,因为他总能在芸芸人海中,一眼看到她...
分手三年,前男友成了当红影帝,还彻底黑化了周早早吓得瑟瑟抖如何能让影帝先生忘记自己这个又渣又瞎前女友,出尽胸中恶气放下过往恩怨从此两人相忘江湖老死不相往来她为什么这么怕前世她倒是没怕,还跟...