手机浏览器扫描二维码访问
“叮”
的一声。尤基有些不可思议。
“卡住了,向山……”
“很好。”
向山点了点头:“世界没有消失,机器没有消失——这是个好现象,孩子。这说明,我是真的,你也是真的。我们并非位于一个模拟器内。”
“记好这个。这个叫做‘图灵停机’,是斩破幻觉的剑。”
图灵停机问题,就是判断任意一个程序是否能在有限的时间之内结束运行的问题。该问题等价于如下的判定问题:是否存在一个程序p,对于任意输入的程序,能够判断会在有限时间内结束或者死循环。
这个问题可以简单的表述成“一个图灵机是否可以简单的判定另一个图灵机应该停机”
。
而阿兰·图灵在计算机诞生之前,就给出了他的判断。
图灵停机问题逻辑上是无法解决的。
所以,这也就给予了人们斩破幻境的剑。
如果能够在一个图灵机演算形成的幻境之中,构建一个与图灵机数学上同构的结构,然后再用它来进行停机问题的判定,那这个图灵机,就有将矩阵的资源耗尽,击穿层层矩阵的能力。
只要上级的矩阵依旧是“图灵机”
。
一个图灵机理解另一个图灵机的唯一方法,就是在体内模拟那个图灵机的工作。
可以让虚拟的图灵机宕机的指令,就可以令虚拟这个图灵机的图灵机宕机。
——当然,也存在“虚拟你存在世界的不是图灵机,而是图灵机”
的状况。但说真的,能够把图灵机拿出来做缸中之脑的文明,就已经远远过人类理解了。这种状况下,人类认知范围内根本就不存在破解的办法,所以也没有思考的必要。
图灵机、图灵停机问题、希尔伯特计划……这些都是内功的始源。
这也正是向山宁可暂时放下重建义体,也要先完成这神秘仪式的原因。
他现在不能确定,自己是不是“缸中之脑”
——按照他对技术的理解,将一个大脑泡在培养液中,让他误以为周围的幻觉是“真实”
,其实并不困难。
所以他必须得验证。
生物脑虽然数学结构上极为高级,但它就是如此容易受骗的东西。它在“功能性”
上无法和人造物媲美。
大自然本着“能用就行”
的原则瞎捏出来的东西,哪里能敌得过智慧本着“欺骗”
的目的设计出来的手段?
只有智慧才能对抗智慧。
在确认了周围的“实在性”
之后,这个世界仿佛都在向山眼中鲜活了起来。
他轻轻摩挲尤基的脑袋:“蛮好,你是真的,我也是真的。”
苏晚晚自带医药空间穿越而来,却成了一个丑女。刚穿过来,就差点被打了一顿。什么?敢欺负我女儿,泼辣妈妈要拼命!姥姥不行了?相依为命的奶奶也穿来了!祖孙三人一起撕...
戳进专栏可收藏预收文1女配总是在走剧情穿书追妻火葬场,宠妻无下限文案在下面2文豪野犬双黑中也干部换搭档后戳进专栏可看简介,哒宰的追妻漫漫路,麻烦大家多多支持,给大家添麻烦啦...
馥欲作者偷马头简介温柔古典舞者宁馥x心思深沉熟男宋持风现代言情+精品小说HE甜宠+强取豪夺霸总+一见钟情+日久生情宋持风第一次见到宁馥,是在一次酒会上。她是时慈带来的女伴,除了时慈之外谁都不认识,除了时慈之外谁也不多看。朋友说她冷傲。宋持风却觉得她看着时慈的样子,很漂亮。他只是喜欢上了一个,心有所属的女人而已...
...
君麻吕活着的意义是什么?大蛇丸并没有所谓活着就一定有意义这种事,但是活下去,说不定就会遇到有趣的事情。佐助君麻吕大哥,为什么我的胸口上会出现鸣人的脸啊?宁次君麻吕大哥和我背负了羽村先祖的天命!君麻吕忍者的时代即将终结!佩恩让忍界感受痛苦就行了,君麻吕,你太极端了!斑用无限月读就行了,小鬼,你太极端了!忍界众人...
简介关于早婚也有幸福可言青梅竹马熊孩子婚后日常(不是爽文也不是什么小甜文,全文都是以日常生活中的鸡毛蒜皮展开的,介意者慎点)在郑潇还未出生时,她的妈妈就与同乡好姐妹订下了娃娃亲,为此郑潇大学一毕业就嫁给了黄正毅,婚后俩人很快有了自己的孩子,但因婚后她与黄正毅并未单独居住,所以导致孩子在奶奶无条件的溺爱下有了一身臭毛病。郑潇脾气不好,婚后经常会因为一些小事和黄正毅吵架,而黄正毅的性格偏强势,认定的事情基本不会再做出任何改变,为此俩人闹矛盾乃是常有的事,但无论怎么吵怎么闹他们都深知对方是爱自己的,所以每次俩人又能很快和好。...