After king Qi appears, Feng Luoyi and Turing concede a seat near the table on own initiative, hints him to sit down. This indicated, they have approved king Qi as an ability that calculates the family/home, regards as the equal in status person of same belief him rather than the younger generation. Turing also smiles to king Qi: „Your this illusion could not drink the tea obviously, therefore did not pour out to you.” 王崎出现之后,冯落衣和图灵二人主动在桌子边上让出一个位子,示意他坐下。这表示,他们已经认可王崎作为一个算家的能力,将他视作地位平等的同道而非晚辈。图灵还对王崎笑笑:“你这显化的幻象也喝不了茶,所以就不给你斟了。” Feng Luoyi first asked king Qi: „Was matter solved?” 冯落衣首先问了王崎:“事情都解决完了吗？” „Yes, Gou Dabao That side hand tail has completed, that side should have the report. This time, that side......” “是,苟大宝那边的手尾已经做完了,那边应该也有报告。这一次,那边……” „Concrete matter does not need to tell me. I only with knowing have not had an accident on the line.” Feng Luoyi tranquil saying. When king Qi and Gou Dabao start the real diagnosis, many Sky Sword to that secret place. By then situation, even if Gou Dabao can be separated from that space station -type small-scale day Chen Buddhist musical instrument, should still only be caught up by Sky Sword, then evaporates thoroughly. “具体的事情不必告诉我。我只用知道没有出事就行了。”冯落衣平静的说道。在王崎和苟大宝开始实证的时候,就有许多天剑正对那个秘地。以当时的情况,就算苟大宝能够脱离那个空间站式的小型天辰法器,也只会被天剑追上,然后彻底蒸发。 Feng Luoyi first told king Qi briefly and Turing honorable person just talked. king Qi first admires in Turing honorable person does, sighed a mystery of this cosmical physics rule. 冯落衣先是跟王崎简要的说了一下自己与图灵真人刚刚的对话。王崎首先是惊服于图灵真人的所做,更感叹了一下这个宇宙物理规律的神奇。 In this universe, the concept of Von Neumann machine, appears compared with the turning machine early. This is a very mysterious matter. Feng Luoyi and Turing first depend on the imitation life soul, the standardization the Feng structure, will then further mechanize, obtains one strictly not „turning machine”. 在这个宇宙,冯诺依曼机的概念,是比图灵机更早出现的。这是一个非常神奇的事情。冯落衣和图灵是先靠着模仿生灵魂魄,规范化出冯氏构架,然后又将之进一步机械化,得出一个不大严格的“图灵机”。 The universe that also only then the technical black box is very easy to form, can support this phenomenon. 也只有科技黑箱特别容易形成的这个宇宙,才能够支持这种现象。 Now, to calculating and abacus cognition between divine land member's is such first, calculates that without doubt is the entering step edition of abacus. However, calculates that and abacus between doesn't have the excessive edition? 现在,神州修士对算器和算盘之间的认知是这样的首先,算器无疑是算盘的进阶版本。但是,算器和算盘之间也没有过度的版本呢？ No one knows. 没人知道。 But now, Turing honorable person on then progressing by leaps and bounds of mathematical logic, filled in this vacancy. 而现在,图灵真人就接着数学逻辑的突飞猛进,填上了这一块空缺。 This research is not gives the euphemistic name of „fill blank” the deceiving expenditure item. It was clear calculates the foundation, making calculated development „conscientious”. 这个研究可不是什么美其名曰“填补空白”的骗经费项目。它明确了算器的基础,让算器的发展“脚踏实地”。 Calculates the theory in aspect, had a more solid foundation. Calculates the leeway that the direction research is done is also bigger. 很多算器方面的理论,有了更加坚实的根基。算器方向研究进行的余地也更大些。 But according to Turing said that this is also only one „sideline product”. He is when pondered how to bypass „cannot determine”, to is calculating improvement that the theory makes. 而按照图灵说的,这还只是一个“副产品”。他是在思考如何绕过“不可判定”的时候,对着算器理论做出的改进。 But the issue that Turing honorable person ponders truly, makes king Qi be interested. 而图灵真人真正思考的问题,才是更让王崎感兴趣。 „You meant. You were attempting a moment ago the method of making a logical inference, is used to show that...... proves some issues?” “您是说。您刚才在尝试着做出一种逻辑推理的方法,用来证明……证明一些问题？” „I hope that he can bypass your is incomplete, but seemingly failed.” Turing honorable person spreads out own manuscript, is pointing at the say/way: „First. We define the Tianyuan Yuan person Yuan in an unknown clouding over type like us frequently makes in the middle of Tianyuan style, with fictionalizing the symbol processes the unknown clouding over type. Then, we assumed that we have two clouding over types ‚fighting’ and ‚cow’ let us not ask I concrete am anything, supposes such a......” “我希望他能够绕过你的不完备,不过貌似是失败了。”图灵真人摊开自己的书稿,指着道:“首先。我们在一个未知的变天式当中定义出天元地元人元就像我们经常在天元式当中做的一样,用虚构的符号去处理未知的变天式。然后,我们假设我们有两个变天式‘斗’和‘牛’别问我具体是什么,假设有这么一个……” Feng Luoyi was somewhat interested. This anything is „supposition” the mentality, is very rare. 冯落衣有些感兴趣了。这种什么都是“假设”的思路,还是很罕见的。 But another side. king Qi actually grew up the mouth. 而另一边。王崎却长大了嘴。 „This...... this clearly is......” “这……这分明是……” The proof that this is the algorithm, in the Earth history has another could not be determined. 这是算法,地球历史上存在过的另外一个不可判定的证明。 Also is the teacher of Alan Turing, mathematician Csucsi's proof method. 也就是阿兰・图灵的导师,数学家丘奇的证明方法。 Although Alan Turing proved finally this algorithm and turning machine are equal, is to the undecidability proof. However, these two certificate laws have the entirely different significance in the math. In the further development, the turning machine certificate and algorithm showed that paved an anxious main road. 虽然阿兰・图灵最终证明了这个算法和图灵机是等价的,都是对不可判定性的证明。但是,这两个证明法在数学上却有着截然不同的意义。在后续的发展当中,图灵机证明和算法证明都走出了一条皇皇大道。 Thinks of here, king Qi looks at the Turing honorable person that delicate face, in the heart somewhat sobs slightly obviously. 想到这里,王崎看着图灵真人那稍显清秀的脸,心中有些唏嘘。 Cannot think that cannot think. The turning machine certificate and algorithm proof mutually are outside and inside, with turning over, but different way. Oneself before taking advantage of „is referring to” the eastern phoenix, using the turning machine to prove cannot determine. Then Turing honorable person Csucsi's mentality completing. 想不到啊想不到。图灵机证明和算法证明互为表里,同归但又殊途。自己之前借着着“自指”的东凤,用了图灵机证明的不可判定。然后图灵真人又将丘奇的思路给完成了。 The overhaul of divine land, although the body has on Earth the shadows of certain people, but, they have oneself life eventually. 神州的大修,虽然身上都有地球上某些人的影子,但是,他们终究是有自己的生命的。 Csucsi is the teacher of Alan Turing. However in this side world, Turing honorable person is a self-made person, this got thousand machine pavilions, suppresses Chinese hibiscus ten thousand monster. 丘奇是阿兰・图灵的导师。但是在此方天地,图灵真人乃是自学成才,这才自领了千机阁,镇压扶桑万妖。 However, should Turing's mentality with Csucsi not greatly to? How does Turing honorable person go out of this? 不过,图灵的思路应该和丘奇不大对得上才是吧？图灵真人到底是如何走出这一步的？ Both free and unfettered member are quick-thinking, the exchange is also quick. In the moment time that king Qi is distracted, Turing honorable person has said own new idea. He smiles. Said: „This algorithm could also be called good. I have tried, he can show that almost all propositions, expression almost all arithmetic systems it is a complete system.” 两位逍遥修士都是思维敏捷,交流也非常快。就在王崎走神的片刻功夫,图灵真人已经说完了自己的新点子。他笑了笑。道:“这算法也称得上不俗了。我自己试过,他能够证明几乎一切命题,表达几乎一切算学系统它是个完备的系统。” This is Turing honorable person to the undecidability ponder, is he to the incomplete ponder. 这是图灵真人对不可判定性的思考,也是他对不完备的思考。 Feng Luoyi said: „But before king Qi, has proven. When completeness and compatibility not with exists. If this ten thousand have the multipurpose algorithms, that......” 冯落衣道:“可王崎之前也证明过了。完备性和相容性是不会同时存在的。这若是个万有万能的算法,那……” „Then it inevitably is a self-contradictory algorithm.” king Qi points at from the sky paddles, condenses the color light, writes an evil ways mathematical formula: „Regarding the meaningful logical system, the strong power of expression follows the indestructible limit inevitably. We substitute some now obviously are the wrong algorithm...... you looked, could also convince” “那它必然是一个自相矛盾的算法。”王崎手指在空中划动,凝聚彩光,写下道道算式:“对于有意义的逻辑系统,强大的表达能力必然伴随着坚不可摧的限制。我们现在代入一些明显是错误的算法……你看,也说得通” If a theory. To also the good mistake, the obverse and reverse to explain must pass, how saying that could say the truth, that was equal to does not have any truth. 若是一个理论。对也好错也罢,正面反面都能解释得通,怎么说都说得出道理,那就等于没有任何道理。 Turing honorable person looked that king Qi responded fast, nod of appreciation: „You are truly fierce. I when most start, realized this point. Just, I was also thinking at that time, can depend on exerts ‚definition’ to dodge this self contradiction.” 图灵真人看王崎反应迅捷,赞赏的点了点头:“你确实厉害。我在最开始的时候,也意识到了这一点。只不过,当时我还想着,能够靠着施加更多‘限定’来规避这种自相矛盾。” „Is impossible.” king Qi shakes the head saying: „Refers to not being able to circle.” “不可能的。”王崎摇头道:“自我指涉是绕不过去的。” Refers to fording, similarly is the ridge that the algorithm cannot circle. 自我指涉,同样是算法绕不过去的坎。 In the middle of this named algorithm, the prototype is a function. When defines, it was allowed the random function to turn into another. 这个名为的算法当中,的原型是一个函数。在定义项的时候,它被允许将任意一个函数处理成另一个项。 Since is „random one function”, that contained inevitably. 既然是“任意一个函数项”,那必然就包含了项自身。 Then, can it process itself? 那么,它能够处理自身吗？ „Refers to fording, a how mysterious concept.” Turing honorable person praised: „I felt, the core component that we work now was closely linked with it.” “自我指涉,多么神奇的一个概念。”图灵真人赞道:“我感觉,我们现在工作的核心部分都和它息息相关了。” „‚This word not really’ distinguishing of genuine and fake, had existed for over ten thousand years, but before king Qi, some people have not realized inside it the terrifying connotation.” Feng Luoyi nods, agreed with Turing's view. “‘此言不真’的真假之辨,都已经存在了上万年,但王崎之前,未有人认识到它内里的恐怖内涵。”冯落衣点点头,同意了图灵的看法。 Is incomplete is also, cannot determine is also. This „refers to”, probably is a boundary tablet logically. It is in the arithmetic boundary, a conspicuous boundary tablet. 不完备也是,不可判定也是。这个“自我指涉”,好像就是逻辑上的一个界碑。它就是算学本身界限上,一个显眼的界碑。 As if has such a boundary, limited the development of logic firmly. 仿佛就是有这么一条界限,牢牢限制住了逻辑的发展。 Bridges over this boundary, either can only face the inexhaustible endless loop, either can only be self-contradictory, cannot come to a stop with the foot. 跨过这个界限,要么就只能面对无穷无尽的死循环,要么就只能自相矛盾,站不稳跟脚。 How to bypass this limit, once was the mathematicians most issue of concern. 如何绕过这个限界,一度是数学家们最关心的问题。 „This attempt, was the defeat.” Turing honorable person said slowly: „This became the arithmetic of all phenomena on earth algorithm by me, other significances, I pass some times to reorganize again. Then I said that was actually my small idea.” “这次的尝试,算是败了。”图灵真人缓缓说道:“这个被我成为万象算法的算术,还有其他意义,我过些时候再整理出来。接下来我讲的,却是我个人的一个小小想法。” „If only if.” Turing honorable person emphasized: „If we really can bypass that boundary here us no matter how for the time being to bypass specifically, only said that we can achieve this point. When the Heavenly Dao must be inexpensive suddenly, ‚the sound of main road’ ‚buddhist Saint Zen sang’ and so on between cleverness full and world, then we can establishment such easily calculate, its direct connectivity main road, can assign all specific issues the answers......” “假如只是假如。”图灵真人强调道:“若是我们真的可以绕过那个界限这里我们暂且不管具体是怎么绕过的,只说我们可以做到这一点。就当天道突然就得廉价了,‘大道之音’‘梵圣禅唱’之类的灵犀充盈与天地之间,然后我们可以轻易的建立这么一台算器,它直接连通大道,可以给定一切特定问题的答案……” In king Qixin understands. Turing honorable person said that is called „instructions machine” on Earth. 王崎心中明了。图灵真人说的,在地球上便被称作“谕示机”。 „Instructions machine”, is another first even/including „God” the turning machine, is turning off the black box of prophet. If, the instructions machine has the prime number determination instructions, it besides can handle all things that the ordinary turning machine can handle, but whether can also determine some natural number prime number that on the paper tape writes instantaneously, but does not need to calculate actual. “谕示机”,是另一连着“上帝”的图灵机,是关着先知的黑箱。假如说,有一个谕示机带有素数判定谕示,它除了能做普通图灵机能做的一切事情以外,还能瞬间判定纸带上写的某个自然数是否素数,而不需要实际去计算。 Then, did some involve finger/refer, related to the contradictory issue, the instructions machine can be solved? 那么,一些原本涉及自我指涉、涉及矛盾的问题,谕示机能够解决吗？ For example, refers to the contradiction that triggers. 比如说,自我指涉引发的矛盾。 Another suspicion that „this made recently. This ‚refers to’, can actually circle?” Turing honorable person smiles bitterly: „Can the main road Saint sound that fictionalizes, actually solve this problem?” “这就是最近做出的另外一个猜想了。这个‘自我指涉’,究竟能不能绕过去呢？”图灵真人苦笑:“虚构出的大道圣音,究竟能不能解决这个问题？” The math often has this certificate method, first supposed that a thing exists, then makes all sorts of logical deductions according to this premise. 数学经常有这种证明方法,就是先假定一个东西存在,然后再根据这个前提做种种逻辑推演。 Deduction that Turing honorable person this makes, during its essence is to discover me imagines omnipotent existence, supposed that it can solve the problem that may not determine, then looked that actually it can solve what problem. 图灵真人这做出的推演,其本质就是找出一个我想象当中无所不能的存在,假定它能够解决原本不可判定的问题,然后再看它究竟能够解决什么问题。 „Can the thing that we imagine, actually complete this enterprise?” Turing honorable person looks at king Qi and Feng Luoyi, tranquil asking: „If feasible, represents our path also ray of hope. But even if in the middle of our false appearance omnipotent cannot achieve......” “我们想象出来的东西,究竟能不能完成这项事业呢？”图灵真人看着王崎和冯落衣,平静的问道:“若是可行,则代表我们的道路还有一线希望。但就算我们假象当中的无所不能都做不到……” Feng Luoyi asked: „Its result how?” 冯落衣问道:“其结果如何？” Turing honorable person report to smile bitterly: „Poor.” 图灵真人报之以苦笑:“不怎么好。” If there is( input that a judgment halting problem procedure/program armor armor needs is a procedure/program), we construct a new procedure/program B again, this routine call armor is however just right with the output of armor: If the input of B after armor judgment is an engine off, then B non- engine off ; If the input of B after armor judgment for non- engine off, then B engine off. 如果存在一个判断停机问题的程序甲(甲需要的输入是一个程序),我们再构造一个新的程序乙,这个程序调用甲但是与甲的输出正好相反:如果乙的输入经甲判断为停机,则乙不停机;如果乙的输入经甲判断为不停机,则乙停机。 Assuming that exists to have the halting problem instructions instructions machine, if on the paper tape of this machine writes an ordinary turning machine „code” as well as input, then it does not need to calculate can know instantaneously, when this ordinary turning machine meets the input of instruction can the engine off. 假定存在带有停机问题谕示的谕示机,如果这台机器的纸带上写着一台普通图灵机的“代码”以及输入,那么它不需要计算就能可以瞬间知道,这台普通图灵机遇到指示的输入时到底会不会停机。 But if, even if will prove all „turning machine” three characters change into „have ‚theory of numbers issue’ instructions instructions machine”, aren't other part characters easy? The incomplete proof still establishes! 可是,若是将即使将证明中的所有“图灵机”三个字都换成“带有‘数论问题’谕示的谕示机”,其他部分一字不易呢？不完备的证明依然成立！ Perhaps was human own thought limited their imagination, even during the human imagination omnipotence, cannot bridge over this route. 或许是人类自身的思维限制了他们的想象吧,就算是人类想象当中的无所不能,也不能跨过这道线。 Even the main road Saint sound, cannot knock this gate.( To be continued.) 即使是大道圣音,也敲不开这一道门。(未完待续。) ps: Continues to ask the monthly ticket! Recommendation ticket! The mobile phone user please visit http://m.piaotian.net ps:继续求月票！推荐票！手机用户请访问http://m.piaotian.net