搜小说

第十一章 击穿幻影之剑（第2页）

“不对吧……”尤基很怀疑自己的生物脑是不是坏掉了：“这个不是……小孩子就能够理解的事情吗？”

“从数学的层面来看，这个问题的难度层级就是expti。生物脑可以简单的做出这种判断，但计算机就连‘理解’都做不到。在已知的计算模型之中，就只有一种，能够触及这个领域……”向山指了指自己的头颅：“人类的生物脑。”

“或许这是一种限制，人类的大脑，无法构建比自己在数学层面上更加先进的计算模型？或许可以，只是人类还没有触及这个领域？但我可以肯定，现在的人类依旧没有解决这个问题——因为我今天遇到的武者，依旧保留了生物脑。”

向山取出了两根铁皮条，用手在上面钻孔。

“这就是内功的奥妙。用你的脑……用你天赋的智慧，驾驭计算机带来的庞大资源，形成抵御外邪的‘内力’”

“由于控制义体是使用图灵机的、记录情报是使用图灵机的，甚至这个世界的一切都从属于图灵机。因此，当你能够运用内力驾驭图灵机的时候，你就凌驾于一切工具之上。当权者将无法阻止你获得信息，也无法从你这里窃取任何东西。他无法再控制你。”

“练武不练功，到头一场空。若是你专注于外门武学的修炼，而忽视了内家功法，那么任意一个内功强者、任意一个骇客，都可以随意读取你的记忆，夺走你的武道算法、经验卷积，甚至在你的感知器官内输入错误的信号，让你一辈子生活在幻觉之中。没有内功的武者，就算练得再强，也不过是被压迫者，只有修成了上乘内功，你才有反抗的力量。”

他将铁皮条塞进了机器的一个输入口。

这铁皮条，就是存储器。上面孔洞的有无，就代表了“是”与“否”的机器语言。这是计算机最初的灵魂。

即使没有电子结构，它也具备了计算机所需的一切功能。

“现在，我先教给你第一课。这个或许是你在陷入幻术后，绝地反击的手段。”向山指了指手柄：“现在，转动他。”

尤基依言转动。钢钎在齿轮的带动下不断的落下。其中一些被铁皮挡住，一些则穿过铁皮上的孔，将动能传递到下面的齿轮上。铁皮则随着齿轮的运动而向内移动。

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

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

“卡住了，向山……”

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

所以他必须得验证。

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

大自然本着“能用就行”的原则瞎捏出来的东西，哪里能敌得过智慧本着“欺骗”的目的设计出来的手段？

只有智慧才能对抗智慧。

在确认了周围的“实在性”之后，这个世界仿佛都在向山眼中鲜活了起来。

他轻轻摩挲尤基的脑袋：“蛮好，你是真的，我也是真的。”

请勿开启浏览器阅读模式，否则将导致章节内容缺失及无法阅读下一章。

诡案追踪  穿在1977  美食：承包食堂，清北抢我抢疯了  快穿之考场妖精  要死，开局穿越宇智波灭族之夜  喜欢是芥末草莓味  穿成校草O后被学霸标记了  重生八零：天才小媳妇  重生商纣，开局怒怼圣人女娲  超时空男团  我在剑宗以情入道  诱你标记  我喜欢那个据说是反派的男人（穿书）  明末巡检天下  给暴龙族族长养包子  我看心电图，你说我上班炒股？  我靠抽卡，穿成小动物给疯批生崽  三岁女配带不动  女修凶猛  制卡三幻神，从无限推演开始