king Qi returns the edge in rostrum, sits cross-legged to sit, sits in repose with eyes closed. 王崎重新回到讲坛的边缘,盘膝而坐,闭目养神。 In the middle of the mathematical foundation domain of theory computer domain computer science, the most important recursive theory, the turning machine and Lambda algorithm, then spread the entire divine land in that night simultaneously. 理论计算机领域计算机科学的数学基础领域当中,最重要的递归论,图灵机、拉姆达算法,便在这一夜同时传扬了整个神州。 Now, they are just the footnotes that incomplete and cannot be determined. However, would the uncommon person excavating mystery. 现在,他们只不过是不完备和不可判定的注脚。但是,总会有不凡之人发掘出其中的奥妙。 Even regardless the significance of theory level, is this harvest will not be only small. 就算抛开理论层面的意义,光是这个收获就不会小。 Calculates that the leap of theory, was equal to king Qi cultivates the leap of law. 算器理论的飞跃,就等于是王崎修法的飞跃。 Later, he can with the aid of the divine land calculate that gate resources, improves own cultivating law. Only is this point, the value has returned to the price. 以后,他就可以借助神州算门的资源,来完善自己的修法。光是这一点,就已经值回票价了。 Not to mention incomplete, cannot determine significance theoretically. 更不用说不完备、不可判定在理论上的意义。 He had rewritten the frame of arithmetic. So long as under went through the difficulty, what he will become the divine land to be top is the family/home. Prestige other, will go far beyond past. 他已经改写了算学的框架。只要等下度过难关,他就会成为神州顶尖的算家。无论是声威还是其他,都将远远超过过去的自己。 This is the recessive advantage. 这是隐性的好处。 But he promoted Bourbaki School thought at this time again, can this „recessiveness” the advantage, transformed as „dominance” advantage. 而他在这个时候再推广布尔巴基学派思想,就可以将这“隐性”的好处,转化为“显性”的好处。 The research of Bourbaki School, from pure math, but beginning, finally achievement solid foundation of new century physics research. 布尔巴基学派的研究,自纯数学而始,最终又成就了新世纪物理学研究的坚实基础。 However, and can be the same to him by everyone, sees this step. 但是,并被所有人都能向他一样,看到这一步。 More with the person who he gets to know each other well, but was worried. 更多与他相熟的人,只是在担心。 hair Zimiao is covering the head, only feels dizzy: „Meow...... Senior Sister Ai, Kozaki he is speaking anything......” 毛梓淼捂着脑袋,只觉得头昏脑涨的:“喵……艾师姐,小崎他到底在讲什么啊……” In Ai Qinglan the eyes is also passing being at a loss: „Not too clear......, although is not clear. But feels fierce......” 艾轻兰眼中也透着迷惘:“不太清楚……虽然不明白。但还是觉得好厉害……” She can understand king Qi to speak what reluctantly, but, what significance does this thing have? 她勉强能够听懂王崎在讲什么可是,这玩意有什么意义吗？ But at this time, Chen wind put down own calculated, got angry: „This lunatic......” 而这个时候,辰风放下自己的算器,怒道:“这个疯子……” „What's wrong? The theory makes the breakthrough is the good deed!” Ai Qinglan was discontented: „Breeze aren't you person who this being probable not exposed to friend obtains the advantage?” “怎么了？理论有突破是好事嘛！”艾轻兰不满了:“小风你不是这种见不得朋友得好处的人吧？” „Advantage...... king Qi this fellow must quickly but actually big mildew.” Chen wind is somewhat annoyed: „A moment ago because cannot understand, therefore I am asked by fine...... this boy specially. that said that was unpopular everywhere and with everybody radically, will offend to the sect sect two sides continually miserably.” “好处……王崎这家伙很快就要倒大霉了。”辰风有些恼火:“刚才就因为听不懂,所以我专门去问了问由嘉……这个小子。刚才的那一通讲,根本就是里外不是人,将离宗连宗两边都得罪惨了。” „To the sect sect...... the light orchid Dengda beautiful pupil, is pressing the chest continually”: „That...... makes me slow one slow, thinks. If I remember well, to the leader of sect Helian sect, is calculates respectively advocates peace is Monarch? Is...... this and this?” “离宗连宗……”艾轻兰瞪大美眸,按着胸口:“那个……让我缓一缓,想一想。如果我记得不错,离宗和连宗的领袖,分别是算主和算君吧？就是……这位和这位吧？” Speech at the same time. She put out a hand to select the virtual image in illusory image. 说话的同时。她伸出手点了点幻影之中的虚像。 Chen wind nods: „Sits that two elderly men in king Qi left and right. The summit withstand/top the free and unfettered...... they behind, respectively is their disciples, in addition dozens free and unfettered member” 辰风点点头:“就是坐在王崎左右两边的那两位老人家。巅顶逍遥……他们身后,分别就是他们的门人,加起来几十个逍遥修士” Ai Qinglan a palm of the hand sticks on the face: „This boy was truly insane...... not, rather goes crazy is his style...... this is the normal display...... the normal display......” 艾轻兰一巴掌糊自己脸上:“这小子确实疯了……不不,不如说发疯才是他的风格……这属于正常发挥……正常发挥……” Simultaneously annoys the next two dominant schools, is equivalent enrages ten thousand method more than 50% people simultaneously. Can this not be insane? 同时惹下两个主流学派,相当于同时激怒万法门一半以上的人。这能不疯吗？ Some people are puzzled: „That...... isn't the Senior Brother king theory right?” 有人不解:“那个……王师兄的理论难道不对吗？” Chen wind is a good-hearted person, but is not the fool. He deeply sighed, said: „Before the past the song courtyard sent, for leader. Why the clouds Monarch Crain shade said that the heart completely does lose? Then with calculating Monarch discussed......, even if these seniors did not plan to adopt such extreme method, so many were the family/home, wish makes him bring ruin and shame upon oneself, was actually very simple.” 辰风是老好人,但不是傻子。他深深叹息,道:“当年歌庭派前代领袖。云端君柯兰荫为何道心尽丧？便是与算君论道啊……就算那些前辈不打算采取这样的极端手段,那么多算家,想要让他身败名裂,其实是非常简单的。” hair Zimiao the heart clutches slightly: „That...... that what to do?” 毛梓淼的心微微一揪:“那……那怎么办？” „Hopes that he can the help of machine old two free and unfettered member went through the following difficulty in the common people national champion and under?” Chen wind indefinite saying. “希望他能够在苍生国手和机老两位逍遥修士的帮助下度过接下来的难关吧？”辰风不确定的说道。 He fully realizes king Qi the temper. To make king Qi give up own idea, is almost not possible. He will definitely face blaming of following innumerable free and unfettered member. 他深知王崎的性子。想让王崎放弃自己的想法,几乎是不可能的。他必然会面对接下来无数逍遥修士的诘难。 In ten thousand Famen, thin Xiaofeng got hold of the fist, thin Xiaoya closed the eye, resulted in anxiously does not dare to look. 万法门中,薄笑风握紧了拳头,薄筱雅则闭上眼睛,紧张得不敢去看。 But in the middle of divine land each region, more ten thousand method low rank disciples are praying and encouraging for king Qi in secret. They just stepped into the arithmetic the domain, but also does not have of senior to insist. Also has not received too many affects. They look at king Qi, does not have senior that dislike, instead has one type „real man is working as such as is” the heroic spirit. 而神州各地当中,更多的万法门低阶弟子在为王崎暗中祈祷、鼓劲。他们刚刚踏入算学的领域,还没有前辈的那种坚持。也没有受到太多的波及。他们看王崎,并没有前辈那种厌恶,反而带着一种“大丈夫当如是”的豪气。 In some mysterious mystical place, too a day reveres also worries for this young people. 某个神秘的秘境之内,太一天尊也为这个年轻人捏了一把汗。 Now, perhaps also only then Chen was believed king Qi by fine one person. 现在,或许也只有陈由嘉一人坚信王崎了吧。 Only then she felt, even if king Qi under criticizing by and other were submerged, will not damage his to strive the fierce heart. 只有她觉得,王崎就算被等下的攻讦淹没,也不会损了他那一颗精进勇猛之心。 After second explains religious doctrine to be completed . Feng Luoyi closes the eye, deeply heaved a sigh, announced: „Now, person of same belief then can start to inquire.” 第二场讲道完成之后。冯落衣闭上眼睛,深深太息,宣布道:“现在,诸位同道便可以开始提问了。” The song courtyard sends, calculates that the good friend of lord, „real space” Min may the husband then stand, the sinking sound asked: „Can you find one about has the arithmetic actually is not possible to prove the statement?” 歌庭派阵中,算主之挚友、“真宇相”闵可夫便站了起来,沉声问道:“你可找到了一个关于实际存在之算学的不可证明之陈述？” king Qi shakes the head: „No.” 王崎摇头:“没有。” What worthily is this most summit top is the family/home, found the incomplete proof soft rib quickly. 不愧是这一世最巅顶的算家,这么快就找到了不完备证明的软肋。 Goodall its life, had not found one finally contained the actual mathematical content cannot prove the statement. This is also incomplete theorem follower not many reasons. 哥德尔终其一生,都没有找到一个包含了实际数学内容的不可证明陈述。这也是不完备定理从者不多的原因。 The Earth mathematics circles about hundred years have not met this statement. 地球数学界近百年也没有遇到这种陈述。 In fact, according to Goodall's idea, human will not meet this statement in a long time. It exists in the unknown part of arithmetic inevitably, hidden in the numerous dense fog. 实际上,按照哥德尔的想法,人类在相当长的一段时间里都不会遇到这种陈述。它必然存在于算学的未知部分,隐藏在重重迷雾之中。 Has many mathematicians, will not contain the thing of actual mathematical content to throw to pay attention to this. 有很多数学家,都不会对这一个不包含实际数学内容的玩意投以关注。 Min Kefu sneers: „, Your proof really as you said that is the significance so great?” 闵可夫冷笑:“那么,你的证明真的如你所说,意义重大吗？” „I infer to have existence of this statement, was not equal to that said I know this statement.” king Qidao: „This for example, some people died, the judgment is the homicide or the suicide is not difficult, may judge that who is murderer wanting is more difficult.” “我只是推断出有这种陈述的存在,并不等于说我知道这个陈述。”王崎道:“这就好比说,有人死了,判断是他杀还是自杀不难,可判断谁是凶手就要难很多。” „Yes, I acknowledged, your discussion process is truly strong. However, I cannot see its actual significance.” “是,我承认,你的论证过程确实很强。但是,我看不到它实际的意义。” Since king Qi knows existence of this soft rib, how can also not prepare? He has prepared regarding the reply of this issue. Accepting good advice readily: „When several of medieval study the conic, they do not know that oneself theory is «Operation of foundations one of the Main road». We do not know, actually this incomplete proof process in future us when can discover contains the actual operation can't determine the statement? I do not know, is impossible to know. This issue, can only pay it in the time. Let the time explain.” 王崎既然知晓这个软肋的存在,又怎么会不做准备？他早就准备好了对于这个问题的回答。从善如流:“当中古的数家研究圆锥曲线的时候,他们不会知道自己的理论就是《大道之算理》的根基之一。我们也不会知道,这个不完备的证明过程在未来究竟会怎么样我们什么时候才能发现一个包含实际算理的不可判定陈述呢？我不知道,也不可能知道。这个问题,只能付之于时间。让时间去解答。” „I have also said. Arithmetic is incomplete, not in known, but in unknown. Facing unknown, we never know that will meet anything.” “我也说过。算学的不完备,并不在已知,而在未知。面对未知,我们永远不会知道会遇到什么。” king Qi can only say. Before the forcing method appears, this censure can exist. 王崎只能这么说。在力迫法出现之前,这种非议都会存在的。 This explanation cannot satisfy all opponents obviously. The summit tops calculate that the family/home stood, is sending out to refute to king Qi. During these refute, some are just pertinent. Somewhat superficial. king Qi 11 gives the counter-attack. 这个解答显然不能够让所有反对者满意。一个又一个巅顶算家站了起来,对着王崎发出驳斥。这些驳斥当中,有些正正切中要害。有些不痛不痒。王崎都一一给予回击。 However, king Qi is not isolated and cuts off from help completely. 但是,王崎并非是完全孤立无援。 Suddenly, some calculates that the family/home discovered own words asked does not export them unable to open the mouth in these ten thousand immortal illusion! At this time, saw only Turing honorable person to stand, is cuping one hand in the other across the chest to the four directions, said with a smile temperately: „, Can allow me to ask several questions?” 突然,有一些算家发现自己的话语问不出口了他们在这万仙幻境当中开不了口了！这时,只见图灵真人站起来,对着四方拱拱手,温和笑道:“诸位,可允许我去问几个问题？” Also only then this calculates a domain several hundred years of powerful free and unfettered gradually. Can to press many in this illusion. Even if there is the person is discontented , can only choose the little darling to listen at this time. 也只有这位浸淫算器领域数百年的强大逍遥。才能在这片幻境之中以一压多。纵有人不满,也只能在这个时候选择乖乖听好。 Turing honorable person stands, is asking to king Qi: „King fellow daoist, I wants to discuss a limit of minor function with you......” 图灵真人站起来,对着王崎问道:“王道友,我想同你讨论一下函数的极限……” A Turing opens the mouth, made others be shocked. 图灵一开口,就让其他人愣住了。 This...... does this free and unfettered, actually stand where? 这个……这位逍遥,究竟是站在哪边的？ Looked that he and Feng Luoyi sits together, should not be helps king Qi? 看他和冯落衣坐在一起,不应该是来帮助王崎的吗？ Why he asked the issue that asked most people the issue that is more intense than? 为什么他问出的问题,比绝大多数人问出的问题都要尖锐？ king Qi smiles: „Recently some of some of I also new ideas......” 王崎笑了笑:“最近我也有一些新的想法……” After king Qi answered this question, Turing honorable person asks the second question immediately. 在王崎解答了这个问题之后,图灵真人立刻问出第二个问题来。 „You had considered axiom-system that has the infinite strip axiom? „ Turing asked:” Every joins a new axiom one time, the new axiom-system is more powerful than the original axiom-system. Each axiom-system is explaining the previous axiom-system. The words of appearance. Each system is not has been contradictory. Thus, we repeat to be innumerable, the increase may the number, but infinite axiom. In this case, how many axioms regardless of we used, always has a more powerful axiom to show that the front axiom is not consistently contradictory, then, can this system then be called is impregnable? „ “你有没有考虑过具备无限条公理的公理系统？“图灵问道:”每一次加入一条新的公理,新的公理系统就比原有的公理系统更加强大。每一个公理系统都在解释前一个公理系统。样子的话。每一个系统都是一直无矛盾的。这样,我们重复无数次,添加可数而无穷的公理。这样的话,我们无论使用了多少条公理,总有更强大的一条公理证明前面的公理一致无矛盾,那么,这个系统便称得上是无懈可击吧？“ „I also think. But. Very regrettable, the axiom-system that this type has the infinite axiom does not have the significance.” king Qidao: „We must first know very well in the middle of an axiom-system all axioms, can make the judgment according to this axiom-system. If an axiom-system has the infinite axiom, we are then impossible to know it to state that anything, judges anything......” “我也这么认为。可是。很遗憾,这种拥有无限公理的公理系统毫无意义。”王崎道:“我们必须先熟知一个公理系统当中所有的公理,才能根据这个公理系统做出判断。若是一个公理系统有无穷的公理,我们便不可能知晓它能够陈述什么、判断什么……” The questions and answers of two people, are getting more and more fluent, is getting more and more carefree. Gradually, surrounding change small. 两个人的问答,越来越流利,也越来越畅快。渐渐的,周围的异动小了下来。 Turing honorable person, clearly with a more systematized way and from a more thorough angle, detects them all sorts of insufficient asking. 图灵真人,分明是用更加系统化的方式、从更加深入的角度,将他们察觉出的种种不足给问了出去。 But under this premise, king Qi can also give answers readily, has the theorem and to incomplete proof the supplement of is incomplete to derive innumerably, new calculates the technology, showed in the middle of Turing honorable person and king Zaki's one asked questions and other answered. 而在这种前提之下,王崎还能够对答如流,无数有不完备衍生出的定理、对不完备证明的补充,还有新的算器技术,都在图灵真人和王崎的一问一答当中展现了出来。 Min Kefu snort/hum, disdained is lower than in private chatting: „Double reed...... their two absolutely were. Turing is a request!” 闵可夫哼了哼,不屑的在私聊当中低于:“双簧而已……他们两个绝对是对好了的。图灵就是一个托！” What outside smiles bitterly: „Even but if holds...... that is still out of the ordinary. At least, I am held responsible do not export.” 何外尔苦笑:“可就算是托……那也是非同凡响的。至少,我是问不出口了。” king Qi and question and answer of Turing honorable person, is to demonstrate that own theory becomes the system. 王崎和图灵真人的问答,就是要在展示自己的理论是成体系的。 The subject of explaining religious doctrine, was decided not completely, cannot determine. This is immutable. They are doing now, in the question and answer link demonstrated that own level, blocks the long mouth. 讲道的主题,被定死在不完备、不可判定。这个是不能变的。他们现在在做的,就是在问答环节展示自己的水准,堵住悠悠之口。 Even if everyone could see, these two people are giving a two-man comic show, again? 纵然所有人都看得出,这二人在唱双簧,又怎么样？ Now asks the question, is hits on others' blade most likely, brings contempt upon oneself! 现在问问题,十有八九就是撞到别人的刀刃上,自取其辱！ This is in history unique, peerless double reed! 这便是史上独一无二的,绝伦的双簧！ Turing honorable person splendid this question and answer, turns into him with digging Lauren. Two people were also stimulated the inspiration, the discussion gradually to be separated from the scheduled content, starts to develop to the deep place. 图灵真人堂而皇之的将这一场问答,变成了他个人与挖的劳伦。两个人也是被激发出了灵感,讨论逐渐脱离了预定的内容,开始向更深处发展。 The people who this, can interrupt were few. 这一下,就连能够插嘴的人都很少了。 Calculates that Monarch Pang Jia looks at the two people in question and answer, shakes the head, but sneers: „This fart puts loud, is not too smelly.” 算君庞家莱看着问答中的两人,摇摇头,只是冷笑:“这声屁放得响,不算太臭。” Another side, calculates that lord clear a word not to send from beginning to end.( To be continued ~ ~) mobile phone user please visit http://m.piaotian.net 另一边,算主希柏澈至始至终一言未发。(未完待续~~)手机用户请访问http://m.piaotian.net