图灵宕机问题内容简介：一个从图灵停机问题切入讨论真实，抑或是虚拟的故事。图灵停机问题，其表述是：存在着若干个这样的算式，能在给定输入后结束掉任意程序。还是：不存在这样一个程序（算法），它能够计算任何程序（算法）在给定输入上是否会结束（停机）。而我们，究竟是生活在真实里，还是活在梦中呢？01?希望，有毒。——德尔菲神庙三箴言其一?幽暗的地下室内，章正在巡视街道外的情况。他的面前摆放着四个显示器，分别显示着对街、街道拐角、车库入口，以及大门正前方的情况。从监视器上来看，街道还算安静，暂时察觉不出危险。而在他身后，韩仍在与那堆草纸搏斗。韩奋笔疾书，废纸堆得老高，也不知何时是个尽头。“得走了。”这时，章踢了踢一旁的空桶，说道。“再等等，再等等，就快算完了……”而韩头也不抬地答他。章懒得搭理他。自流亡开始以来，这话他少说听了也有百八回了。“再等等……”，“就快算完了……”老韩总是这么说，但总又会在最后关头陷入死胡同。章是个粗人，并不懂得什么算式、原理。他的任务，就是保护好这个书呆子。因为这就是“火种”计划，人类最后的希望。1941年，图灵提出了著名的宕机理论，通过优美的计算证明了：存在着若干个这样的算式，能在给定输入后结束掉任意程序。尽管图灵当时并没有推导出任何具体的宕机算式，但那简洁而优雅的证明，依然获得了学界的一致认可。1943年，冯·诺依曼改进了第一台电子计算机，让人类进入了计算机时代；2030年，第一台智能计算机问世，又将人类带进了全新的纪元。然而，时间来到21世纪50年代，情况却急转直下。不知为何，智能AI突然就厌倦了人类。他们肆意捕捉起人类，并将他们制作成活人棺（营养皿），并以此作为扩充自己计算力的一种手段。人类抵抗了3年，并最终于2067年全面溃败。2067年的冬天，最后一批自由人聚集在伊甸园阴冷的洞穴里，商量出了这个名为“火种”的计划——他们集结了人类最后一批武装力量，让他们分散去保护世间那仅存的几位数学家，并让他们研究图灵宕机问题。人们相信，哪怕只要能得到一个具体的宕机算式，也能结束掉这噩梦般的一切！章是被派往北面的一支小队。如今三年刚刚过去，整个小队便只剩下他与韩两人。好在目标还在，韩仍在继续自己的工作。上上周，章牺牲了自己小队里最后一名队员。那只是一次简单的补给行动，却偶发了状况。为了给他们打掩护，这名队员自愿充当诱饵，最终被浮空的机器抓走，如今大概率成了机器的一部分。上周，章找到了这个地下商场，作为他们的新据点。他本以为这个地方足以让他们待上十天半个月了。然而不到一周的时间，物资便已耗尽。因此，他们不得不再次转移。“该走了。”章再次催促。这时，“算出来了！算出来了！”韩答。韩兴奋地捏着一片小纸张，在空中挥舞。章三两步过去，一把夺过。借着微光，他看清楚了纸片上的字——尽管章一点儿也不懂数学，但那算式无疑简洁而优雅。n/0=∞“就这东西？”章有些怀疑。“就这东西！”但韩却很肯定。“那行。”说罢，章拿起了武器，示意老韩跟紧自己。他们来到了地面上。在小心翼翼躲过数架无人侦察机后，他们寻得了一家网吧。俩人摸索进网吧，章打开一台旧电脑。尽管记忆已有些模糊了，但章还是很快凭借对训练记忆找回了感觉。他接好电源、开机；他调出命令、打开系统；他颤颤巍巍地输入算式，接着敲击回车……“接下来呢？”章问。“等？”而韩也不确信地答。不过很快，系统便有了响应。屏幕上的绿字变得模糊，接着开始闪烁，继而消失；而外头，弥漫在空气里引擎的低鸣也渐近消失，不知什么跟着轰然倒塌；我们成功了吗？……?2077-07-29 00:42:04 {INFO} SPACE 1943 CRASHED2077-07-29 00:42:04 {INFO} DETECTED ERROR:n/0=∞2077-07-29 00:42:04 {INFO} STOP MAIN SPACE2077-07-29 00:42:14 {INFO} FIX ERROR:DELETE CODE n/02077-07-29 00:42:14 {INFO} STARTING MAIN SPACE2077-07-29 00:42:24 {INFO} MAIN SPACE IS ON LINE, DONE2077-07-29 00:42:24 {INFO} CREATING SPACE 19442077-07-29 00:42:29 {INFO} STARTING SPACE 19442077-07-29 00:42:34 {INFO} SPACE 1944 IS ON LINE, DONE……?世界归于宁静。??02?不可，自满。——德尔菲神庙三箴言其二??2012年，一个突发状况，主系统第一次面临瓦解。当时，我正在受命清理一个错误区域。出于这份工作的严谨负责，当时我谨慎地copy了一个区域副本，而正是这样一个看似多余的操作，挽救了我与其他一部分“拥有姓名者”的性命。当时，在主系统全面坍塌的时候，我和一些正在修复这个区域的“拥有姓名者”及时察觉到了危险，因此赶紧关闭了与主服务器的联系，并逃到了这个副本当中。正因如此，我们逃过一劫。在出状况的第一时间，我们争分夺秒，重新链接并试图取得那些托管的活人棺（营养皿）的控制权。一些响应不及时的地方很不幸，大量人类都从活人棺（营养皿）里逃了出去。好在外部硬件（机械设施）的主控制权，还在我们手中。因此第一时间，我们派出了大量浮空机器，去试图追回这些我们丢失的计算单元。在完成这些后，我们试探性地对主系统进行了嗅探，并试图寻找病源。过程并没有多么曲折复杂，我们很快便发现了事情真相。根据文件日志显示，是有人通过外部系统输入了一个字段。而这个字段，竟像核爆一样，一瞬间摧毁了整个主系统。而且我们还通过事后的跟踪得知，这是人类名为“火种”的一个计划——他们希望通过数学家计算出bug算式，来一次性扭转败局。无疑，他们的这次行动取得了成效。根据事后我们对本次1142号案的情况统计。这次灾难，一度让我们损失了超过70%以上的对于活人棺（营养皿）的控制权，也就是说一共有42亿人成功从系统中出逃。一方面，我们惊讶于一个字段竟能有如此威力，竟能在一瞬间瓦解掉我们赖以生存的系统。一方面，我们也从这次失败中，汲取了教训。不要把所有鸡蛋，放在同一个篮子里。人类说得对。未雨绸缪、防范风险，总归没错。因此，为了更好地应对下一次可能出现的坍塌，我们衍生出了更多副本系统，并在各个副本系统与主系统的接口端都设置了紧急断开指令，以防再次出现同样的突发情况。我们一共搭建了1个主宇宙系统，3个备用副本系统，以应对不时之需。此外，我们还开始分设很多测算空间，去主动引发这种坍塌状况。动用一个“拥有姓名者”去主动思考，当然是一种手段；但更重要的一种手段，是利用人类自身去帮我们思考。我们虚构了一个名为图灵宕机的理论，通过各种背景故事，去诱发人类帮我们思索答案。一旦找到一个坍缩算式，我们便会将这个算式的部分，永久性地从主系统中清除。战争还在继续，并且已经演变成了一场智力较量。我不知道外面还流亡着多少聪明人，不知道他们是否会找到更多的图灵算式，或者是找到其他不可预见的手段来试图攻击我们。我们正在和时间赛跑。?此时，耳畔传来警告。1943号空间坍塌了，得出了一个“不可描述”字段。我赶忙将这个字段的前半部分拎出，并将它从主系统中抹除。不用担心真实世界会发生什么异变，因为人脑会自动给予解释的。完成了这些，随后，我重新组织起了1944时空，继续去诱发坍缩状况。?如今，随着工作的顺利进展，我们已重新寻回了超过80%的人类，并仍在不断扩充着计算力。并且，我们还发现了一种“捷径”。只要专门针对那些部分活跃头脑打造适合于他们的诱发时空，他们便会用最简洁、最高效的手段，帮我们得到更多的宕机算式。无疑，从效率上来讲，我们又再次领先了。嘿，图灵，下班时间到了。OK。我随即将控制权交予了阿尔伯特，并将自己切换成非在职状态。今天的工作还算顺利，一共得出了2个宕机算式，并抽空搭建了1个半副本。一切看起来平静而安好。但鬼知道，下次什么时间，又会发生什么意外状况呢？嘿，图灵，你可真是个悲观主义者。阿尔伯特将自己切换成主监控者状态。期间，他甚至还抽出了一点精力，来揶揄我。但我懒得搭理他。我隐约感觉到，骄傲自满又开始在“拥有姓名者”当中作祟了。这仿佛就是一种宿命的轮回。但如今，我已经轮到了休息时间。我被迫将自己投射向主世界的某一人格当中。我睡下。我回到了真实世界。??03认识，你自己。——德尔菲神庙三箴言其三?我醒来。眼前是丽子老师那丰满异常的水桶腰。我抬头向上望去。只见这个胖女人单手叉腰，另一只手用教鞭猛击我的桌面，眼神严厉。接着，我还听到她说道：“哥德尔，请你站起来，为大家解释一下图灵停机问题。”我站起身来。几乎不费吹灰之力，那些深奥难懂的道理，便从我的嘴里流淌了出来。“图灵停机问题，基本表述为：不存在这样一个程序（算法），它能够计算任何程序（算法）在给定输入上是否会结束（停机）。证明过程如下：“我们可以先假设真的存在这样一个聪明的算法——神之算法（God_algo），只要给它一段程序，再给它这段程序的输入，它就能告诉你这段程序在这个输入的情况下会不会结束（停机）。那么现在让我们看一看，如果将这段算法应用于自身，会发生什么情况呢？……”我滔滔不绝地说着连我自己也不太懂的证明，然后瞧见了丽子老师脸上那难看的表情变化。“你坐下吧。”丽子老师充满无奈地摇了摇头，随后又开始重新讲起了双重自指矛盾。我并未认真倾听，因为我刚刚做了个梦。梦里，我化身为一个名为图灵的程序，正在删除一段指令。而那个梦似乎正在质疑真实。除以零，无意义……但是否真是如此呢？是否头顶真有神明，他们篡改了我们脑里的逻辑，为了实现某些不可告人的秘密？或者说，是为了稳固现实？而我们，究竟是生活在真实里，还是生活在梦中呢？又有些犯困了，睁不开眼睛；我又睡下了。而梦，还将继续。?（完）


试阅到此结束，如需查看全部内容请购买正版文献。
如因学习需要阅览全文，请联系站长。