笑：“你这显化的幻象同道而非所以就不给你斟了也喝不了茶，衣和图灵子，，将他视作。”二人主动王崎出现之后，冯落他们晚辈。图灵还对王崎笑地位平等的示意他坐下。这表示，已经认可王崎作为一个算家的能力在桌子边上让出一个位
冯落衣首先问了王崎：“事情都解决完了吗？”
报做完了，那边应该也有尾已经告。这一次，那边……”“是，苟大宝那边的手
也只会被的说告诉我。我只用苟大宝能够脱离就行以发。了。”有许多彻底那个空间站式的衣天剑正对那个秘地。苟大宝“具体的事情不必天剑追上，然后小型天辰法器，知道没有出事道。在王崎和当时的情况，就算蒸落平静冯开始实证的时候，就
首先是惊服于图的对话。王崎冯落与图灵真人刚刚己叹简要的说了一下自了一下这个宇宙物理灵真人的所做，更感衣先是跟王崎规律的神奇。
事情。冯落衣和图灵步机械化，得机更早出现的。个宇宙，冯曼机的概念，是比图灵仿生是先靠着模在这一奇的图灵机”。出一灵魂魄，规范是一个非常神诺依这化出架，然后又将之进个不大严冯氏构格的“
也只有科技黑持这种现象。个宇宙，才能够支箱特别容易形成的这
现在，神州认算盘间也盘的进阶版本。但知是这样的首先，算器无疑是算之间的？修士对算器和是没有过度的版本呢，算器和算盘之
人知道。没
，填上了缺。突飞猛进着数学逻辑的这一而现在，图灵真人就接块空
这个研究可的目。它明确了其名曰“算器的基础，让算器发展“脚踏实地填补空白”的骗经费项”。不是什么美
的理论，有。。算器方向研究很多算器方面加坚实的根基了更进行的余地也更大些
这还他是在思考如何绕过而按照图灵说的，论做出的改可判定”的时候，对进。着算器理只是一个“副产品”。“不
而图灵真是更让王崎感兴趣。人真正思考的问题，才
在尝“您是说。您刚才的方法，用试着做出一种逻辑推理…证明一些问题？”来证明…
这么式‘斗’和‘牛’地元人元就像个变天去处…”知的变天式。是什么，假设有己的书稿了。”图天元式当别问我具体然后，我们假设我们，用虚构的符号灵真人摊开自式当中定义出天元，指着道：“首先。我“我希望他能我们经常在们在一个未知的变天中做的一样有够绕过你的不完备，不过貌似是失败理未两一个…
什么都是“假设”的思路，还兴趣了。这种冯落衣有些感是很罕见的。
了嘴。而另一边。王崎却长大
”“这……这分明是……
。这是λ算法，地球历史一个不可判定的证明上存在过的另外
也就是阿兰·图学家灵的导师，数丘奇的证明方法。
法证明都的意义。在条皇皇大道灵机是等价的，后续两个证明法在数学法和图都是对不可判定性的明了这个λ算上却有着截然不同。证明。但是，的发展当中，图灵机证虽然阿兰·图灵最终证明和λ算这走出了一
秀的脸，心中有些唏嘘里，王崎。想到这看着图灵真人那稍显清
了图灵机证明的不可想着着“给完成了殊途。自己之前归但灵真人又将丘奇的思路。证明互为表里，同想不到。图灵机证明和不到啊自指”的东凤，用λ算法判定。然后图又借
影上都有地球上某神州的大修，虽然身子，但是，他些人的是有自己的生命的。们终究
乃是自学成才，这才天地，图师。但是在此方丘奇是阿兰·图灵的导机阁，镇压扶桑万妖。灵真人自领了千
不过，图灵的思路应该和丘奇不大对得到底是如何走出这一步的？上才是吧？图灵真人
达几乎点子。他笑了经说完了自己的新道：“这算法也称得上笑。思维己试过一切算学系统它是个完明几乎一切命题，表不俗了。我自备的系统。”两人已敏捷，交夫，图灵真王崎走神的片刻功位逍遥修士都是，他能够证流也非常快。就在
灵这是图真人考，也是他对不完备的思考。对不可判定性的思
“可王崎之前也证万能的算法，明过了。完备性和那……”在的。这若是个万有相容性是不会同时存冯落衣道：
“那它必然是一个自相矛辑着坚不可摧的限制。于有意义的逻些明显是错误的算法我们现在代入一指在空中划动盾的算法。”王崎手系统，强大的表达能力通”……你看，也说得，凝聚彩式：“对必然伴随光，写下道道算
就等于没有任何道理。，正面反也好错也罢说都说得出道理，那若是一个理面都能解释得通，怎么论。对
反应迅捷，赞赏的点了够靠着施加限定始图灵真人看王的时候，也意识到了更多相矛盾。”’来规避这种自‘，当时我还想着，能这一点。只不过实厉害。我在最开崎点头：“你确
王崎摇头道：“自“不可能的。”我指涉是绕不过去的。”
自我指涉，同样去的坎。是λ算法绕不过
将任意一项。个函函数。在定数处理成另一个λ这个名为λ的算法当义中，λ的原型是一个λ项的时候，它被允许
包含了λ项自身。个既然是“任意然就一函数项”，那必
那么，它能自身吗？够处理
我感觉，我们现在工作念神奇的心部分都和它息息一个概。”图灵真人赞道：“的核“自我指涉，多么相关了。”
它内里。崎意了图灵的看法的恐怖内涵的真假之辨，都已“‘此言不真’年，但王经存在了上万。”冯落衣点点头，同之前，未有人认识到
这个“自我指涉碑。它就是”，好像就是逻辑上的不可判定也是。不完备也是，碑。学本身界限上，一一个界个显眼的界算
限，牢牢限制住了逻辑的发展。仿佛就是有这么一条界
限稳跟过这个界脚。就只能面对无穷无尽的就只能自相矛盾，站不跨，要么死循环，要么
家们最关心的问题。过这个限界，一度如何绕是数学
讲的，却是我个人了。”图灵真人缓法。”义，我过些时候再整理为万象我其他意出来。接下来算法的算术，还有的一个小小想缓说道：“这个被我成“这次的尝试，算是败
只说的我们暂且不管具体我们可以做到这一点之音’‘梵圣禅唱’，‘大道如只当天道突然就得廉价了绕过那个界限这里以轻易的建答案……”是假如。”立这么一台“假通大道，可以给定一切若是我们真的可之类的灵犀充算器，它直接连特定问题，然后我。就与人强调道：“是怎么绕过的，们可以天地之间图灵真盈
。王崎心中明了。图灵真人说的，在地球上便被称作“谕示机”
不需要实写的某个自一连着“上帝”的图灵机，是除了能带上际去计算。黑箱。假如说，示，它数判定谕机能做的一切事有一个谕示机带有素做普通图灵情以外，还能瞬间判定纸然数是否素数，而“谕示机”，是另关着先知的
机能够解决吗、涉及矛盾的涉及自我问题，谕示那么，一些原本？指涉
发比如说，自我指涉引的矛盾。
过去呢？”图灵真题？”“这，究竟能不能绕人苦笑：“虚构出的大问个猜想了。这个‘自我道圣音，究竟能不能解决这个就是最近做出的另外一指涉’
，就是先假有这种证明方数学经常定一个东西存在，然后法逻辑推演。再根据这个前提做种种
本质再看它究竟能够解的问题，然后个我想象当中无所不能在，假定它能够推演的存。一决什么问题解决原本不可判定图灵真人这做出的，其就是找出
都做不到……”这项事业呢？无所不能和冯落衣，平静的问“我们想象出来的东西我们的道路：“若是”图灵真人看着王崎，究竟我们假象当中的可行，则代表还有一线希望。但就算能不能完成道
其结果如何？”：“冯落衣问道
：“不怎么好。”图灵真人报之以苦笑
个程序）正好相反：如需要的输入是一停机；如果乙的输入个程序调用如果存在为不停机，则乙经甲判断为停机，经甲判断问题的程序甲（甲甲但是与甲的输出，我们再构造一个停机。则乙不果乙的输入新的程序乙，这一个判断停机
如果这台机器谕示的谕可以瞬间知道。假定存在带有停机问题示机，码”以的纸带上写着一通图灵及输入，那么它不需要台普通图灵机的“代时到底会不会停机机遇到指示的输入计算就能，这台普
个字都换成“带有‘数论问题’谕示的谕示的所完备的证明依然成立！可是，若是将即使证明中机”，其他部分有“图灵机”三将一字不易呢？不
，就或许是人制了他们的想象吧这道线。想是也不能跨过人类类自身的思维限象当中的无所不能，算
即使是大道圣音，也敲不开这一道门。(未完待续。)
荐票！ps：继续求月票！推