The undecidability of semi-group character issue, is first that human discovers does not have the mathematician to make, but is the undecidability problem that has naturally. 半群字问题的不可判定性,是人类发现的第一个并非有数学家制造,而是天然存在的不可判定性问题。 It also means that another single layer is real. 它也就意味着另一重真实。 „Undecidability, and not only limits in the pure operation is so simple”. “不可判定性,并不仅仅是局限于纯粹算理之中那么简单”。 It seems like in emphasizing „undecidability” the objectivity of this concept is the same. 它就好像是在强调“不可判定性”这个概念的客观性一样。 Innumerable member even/including sect looks grief-stricken. They are not really able to believe, constitutes the language of thought that unexpectedly also contains „undecidability” danger. 无数连宗修士如丧考妣。他们实在是无法相信,构成自己思维的语言,居然也蕴含着“不可判定性”的危险。 However, at once, they could not even find the rebuttal by head. 但是,一时之间,他们甚至都找不到反驳的由头。 Because, in „linguistics” in this, king Qi is in the monopolistic position, he uses the operation and logic deals with the writing issue. 因为,在“语言学”这一块上,王崎就占据着垄断地位,他使用算理与逻辑来处理文字问题。 This without a doubt, is one to the domain of sect. 这毫无疑问,就是一个离宗的领域。 Could not even find the point that shows skills including the sect, is unable to catch up. 连宗甚至找不到施展拳脚的点,无从发力。 „This...... Feng Luoyi, king Qi, this pair of masters and disciples, is to exterminate an entire family jointly?” “这……冯落衣,王崎,这一对师徒,是要联手灭门吗？” Has member even/including sect panic-stricken shouting. 有连宗修士惊恐的喊道。 However, compares in Lianzong, is also uncomfortable to the sect. 但是,相比于连宗,离宗也同样难受。 This paper, but emphasized „undecidability” again position. 这一篇论文,可是再一次强调了“不可判定性”的地位。 „This fellow, to promote oneself, therefore takes us to start?” “这家伙,为了鼓吹自己,所以就拿我们来下手吗？” Having is also hates to clench jaws to member sect. 有离宗修士也是恨得咬牙切齿。 king Qi this paper, without doubt is heavy blows, pounds ruthlessly on the backbone to member sect. 王崎这一篇论文,无疑就是一记重拳,狠狠砸在离宗修士的脊梁骨上。 This, to sect even/including sect, has not asked for the advantage. 这一下,无论是离宗还是连宗,都没有讨到好处。 However, quick, had even/including sect to ramble to respond. 但是,很快,就有连宗逍遥做出回应了。 Many even/including sect rambled had finished itself drafting the present stage duty of day of division, prepared this controversy with single-hearted devotion. 多位连宗逍遥已经结束了自己在征天司的现阶段任务,专心准备这一场论战。 Now, including the sect, presented the new direction unexpectedly gradually. 现在,连宗内部,居然渐渐出现了新的方向。 They attempt to study to the sect unexpectedly „logic”, absorbs to the knowledge of sect, with leaving the theory counter-attack of sect leaves the sect. 他们居然尝试学习离宗的“逻辑”,吸收离宗的知识,用离宗的理论反击离宗。 This must be makes use of sect „shuts off continually refers to” the research results to Feng Luoyi, then starts to study to remove refers to the collection the approach counter-attacking. 这应当算是对冯落衣利用连宗“切断自指”的研究成果,进而开始研究排除自指集的做法进行反击。 But the snow Country Faction that unexpectedly, always stands aloof from the world, at this moment, reveals the fate unexpectedly the intention. 而出乎意料的是,一向与世无争的雪国派,此时此刻,居然也流露出下场的意图。 The snow country sends the current leader, „snow king monarch sovereign” desolate song 【Andre Kolmogorov】 Also published the new paper. 雪国派现任领袖,“雪国主”柯寞歌【安德列・柯尔莫哥洛夫】也发表了新论文。 He to named „realizability” the theory, conducted the brand-new narration. 他对名为“可实现性”的理论,进行了全新的叙述。 The snow Country Faction is also continually the sect model, from being „intuition faction”, similarly to calculating Monarch will hold the disciple ritual. 雪国派也是连宗典范,也从属于“直觉派”,同样会对算君执弟子礼。 However, the snow country sends „intuition”, with calculating Monarch „intuition”, there is a subtle difference. 但是,雪国派的“直觉”,和算君的“直觉”,又有微妙的差异。 In fact, about „intuition” the structure, different member even/including sect also has the different ideas. 实际上,关于“直觉”的构造,不同的连宗修士也有不同的想法。 The paper of snow king monarch sovereign instructed a strange fact. Regarding the random proposition, has the corresponding the non- proposition, its non- proposition establish means this/should proposition the absurdness. The proof of some non- proposition, transforms the function of absurd proof the proof of this/should proposition. 雪国主的论文指示出了一个奇异的事实。对于任意命题,存在对应的非命题,其非命题成立的则意味着该命题的荒谬。某非命题的证明,是把该命题的证明变换成荒谬的证明的函数。 The absurd standard example can find in the arithmetic. Assuming that 0 = 1, and conducts the mathematical induction: 0 = 0 through being equal to the axiom obtains ;( Induction supposition), if 0 are equal to specific natural number N, then 1 will be equal to n + 1, because of 0 = 1, therefore 0 are also equal to n + 1 ; Through the induction, 0 are equal to any number, therefore any two natural number is equal. 荒谬的标准例子可以在算术中找到。假定0=1,并进行数学归纳法:0=0通过等同公理得到;(归纳假设)如果0等于特定自然数n,则一将等于n+1,但是因为0=1,所以0也等于n+1;通过归纳,0等于任何数,所以任何两个自然数都是相等的。 This is obviously absurd. 这显然是荒谬的。 Perhaps narrated with the natural language, was this low joke? However in the operation, it truly has the important position. 或许用自然语言来叙述,这就是一个低等的笑话？但是在算理上,它确实是存在着重要的地位。 But is almost simultaneously, another even/including sect free and unfettered member , the independence completed similar achievement. 而几乎是同时,另一位连宗逍遥修士,也独立完成了类似的成果。 He uses one type to look like the somewhat strange form to member sect, rewrote to the important achievement arithmetic axiom of sect. 他用一种离宗修士看来有些怪异的形式,重写了离宗的重要成就算术公理。 This all of a sudden, the entire ten thousand methods started to become chaos. 这一下子,整个万法门都开始变得一片混沌了。 All fell into with the member of research arithmetic theory to the ponders of three issues during. 所有用研究算学理论的修士都陷入了对三个问题的思考之中。 Where am I? Is continually the sect or leaves the sect? 我是哪边的？是连宗还是离宗？ What am I studying? In which direction? 我在研究什么？朝哪个方向？ Who is my teammate? Song courtyard faction? Feng Luoyi? Base faction? Snow Country Faction? Few Li-school? 我的队友是谁？歌庭派？冯落衣？基派？雪国派？还是少黎派？ This is the unprecedented great disorder. 这是前所未有的大混乱。 Although historically, even/including sect will absorb to the achievement of sect, will absorb even/including sect the achievement to the sect, but that bases on „transforms completes to an arithmetic foundation in”. 尽管历史上,连宗会吸收离宗的成就,离宗会吸收连宗的成就,但那都是基于“转化到一个算学基础上”所完成的。 By the geometrical fusion arithmetic, to analyze to hold the how much, this. 以几何融合算术,以分析容纳几何,这样。 But now, entire was chaotic, does not have this to compete for a domain to sect Helian the sect mutually. They almost the form that runs at the by relay study. 但现在,全乱了,离宗和连宗从没有这样相互争夺一个领域过。他们几乎是在以接力跑的形式进行研究。 After you study one, I continue to study one in your foundation, you study in my achievement again. 你研究一段之后,我在你的基础上继续研究一段,紧接着你再在我的成就上进行研究。 After medieval several leaves sect Lianzong to split, for 40,000 years, first time present such chaotic scene. 中古数家离宗连宗分裂之后,四万年来,头一次出现这样混乱的景象。 Exceptionally is still obvious to the division of sect Helian sect, but, in the research actually makes into one group. 离宗和连宗的分割依旧异常明显,但是,研究上却打成一团。 It can be said that they purely were the chaotic wars. 可以说,他们就纯然是乱战了。 Especially is always aloof beside the snow Country Faction with battle, although established recently, base faction that actually threatens, is the unignorable strengths. 尤其是向来超然与争斗之外的雪国派,以及虽然新近成立,却始终气势汹汹的基派,都是不可忽视的力量。 With is even/including sect, the snow country sends also to have the difference from few Li-school. 同为连宗,雪国派与少黎派之间也存在分歧。 With to the sect, the base sends to relate with the song courtyard factions is not harmonious. 同为离宗,基派与歌庭派之间关系也不融洽。 Everyone each other killed one group. 大家彼此都杀成了一团。 Even the somewhat extreme disciple, finally started no longer the area to separate sect Lianzong. 甚至有些极端的弟子,终于开始不再区分离宗连宗了。 Everything and our different ten thousand method disciples, can be „enemy”! 凡是与我方不同的万法门弟子,都可以算是“敌人”！ With the tangled warfare of theory level, in ten thousand law all trades also loses the stability finally gradually. 随着理论层面的混战,万法门门内也终于渐渐失去稳定。 Even maintains the sect rule holds the law to cause, does not have the means to maintain the pure gravity. 甚至连维护门规的执律使,都没办法保持纯粹的重力。 The gate lord Chen Jingyun to transfer one batch to hold the law to cause from other gates urgently, maintained ten thousand methods basically to stabilize. 门主陈景云不得不紧急从其他门派调来了一批执律使,保持万法门内部基本安定。 Sees those images and scenes, Zhao Qingtan is somewhat at a loss: „I am only buys the bread flour...... I only want to celebrate the new year well!” 见到此情此景,赵清潭有些迷惘:“我只是来买面粉的……我只想好好过个年啊！” „Also year!” Su Jun yu clenches jaws: „This is bullies our base to send no one...... to bully us to leave sect no one!” “还过个屁的年啊！”苏君宇咬牙切齿:“这是欺负我们基派无人……欺负我们离宗无人啊！” „......, I did not feel supporter who the song courtyard sends, does not like the base sending very much.” “……不,我觉得歌庭派的支持者,也不是很喜欢基派来着。” „This is unimportant!” Su Jun yu waves: „Now, most noteworthy, should be that named sea thunderclap 【Arend Heyting】 even/including sect rambled.” “这不重要！”苏君宇挥挥手:“现在,最值得注意的,应该是那个叫做海霆【阿兰德・海廷】的连宗逍遥了。” Although sea thunderclap is also free, but generally is that type of reputation individual not obviously. He proves free before ten several years. At that time, calculated Lord rising, carried out the Yuan to calculate in the entire ten thousand methods later that it calculated. sea thunderclap this involves the brilliance of member sect, the almost calculated lord concealed. 海霆虽然也是逍遥,但大抵就属于那种声名不显的个体。他是在十数年前证得逍遥的。彼时,正是算主如日中天,在全万法门推行元算之算的之后。海霆这一代连宗修士的光辉,几乎都被算主盖过去了。 No, even not Lord, he extremely will not be eye-catching. So long as calculates Monarch also, then other intuitions send member even/including sect, can only calculate that the stars calculate Monarch is the bright moon is common. 不,就算没有算主,他也不会太过耀目的。只要算君还在,那么其余所有直觉派连宗修士,都只能算星辰了而算君就是皓月一般。 However, now, this unknown free and unfettered, completes the similar content with the snow king monarch sovereign unexpectedly respectively independently, even rewrote the arithmetic axiom. 但是,现在,这位名不见经传的逍遥,居然就与雪国主分别独立完成了相似的内容,甚至重写了算术公理。 Although in incomplete with the foundation that in cannot be determined, the arithmetic axiom also has the hidden danger, not picture day of axiom 【Euclidean geometry axiom】 Such definite and complete, but this in the past, actually to the glory of sect. 尽管在不完备与不可判定的基础上,算术公理也存在着隐患,不似画天公理【欧几里得几何公理】那样确定而完备,但这在过去,却是离宗的荣耀。 He as even/including sect, absorbed to the logic of sect absorbs too successfully, almost opened Chuxin Road to come. 他作为连宗,吸收离宗的逻辑吸收得太成功了,几乎开辟出新路来了。 „How do you want to do? Also fate?” Zhao Qingtan asked back: „king Qi to this controversy, should lose the interest, publishes that paper also on its meeting. The base sends not to penetrate into this controversy.” “那你要怎么做？也下场吗？”赵清潭反问:“王崎对这一层论战,应该已经失去兴趣了,发那篇论文也只是恰逢其会而已。基派是不会深入到这一场论战之中去的。” His too clear Chu King Zaki's research mentality. The base faction, concentrates on „foundation”. That paper, is most composition puzzles, rather than the controversy ejects. 他太清楚王崎的研究思路了。基派,就只是专注于“根基”而已。那一篇论文,是更大部分的组成拼图,而非为论战而抛出。 „Un, my very clear this point.” Su Jun yu nods, looked at own hand. “嗯,我很明白这一点。”苏君宇点了点头,看了看自己的手。 Although exchanges through the correspondence and paper, but, in these years, he also increasingly realized something. 尽管只是通过信函与论文交流,但是,这些年里,他也逐渐意识到了一些事情。 king Qi has looked in a loftier region. To him, „inconsiderately calculates that” is past tense. He wants to exceed these things, goes to a higher boundary, looks in that arithmetic broader beautiful scene. 王崎已经将目光放到了更加高远的区域里。对于他来说,“不周之算”已经是过去式了。他想要超越这些东西,去到更高的境界,去看那算学上更广阔的美景。 Not only the foundation arithmetic, the world of this material is also same. 不只是基础算学,这个物质的世界也是一样。 king Qi in that prospect that the underground completes, after all is needs one to be very surprised and incomparably exquisite arithmetic theory supports. 王崎在地下所完成的那个图景,终归是需要一个无比惊奇又无比优美的算学理论去支撑。 Although said that is a little strange...... in this point, he to calculating Monarch is a bit like actually. 虽然这么说有点古怪吧……这一点上,他与算君倒是有点类似. „Also is completes my point to hold to read?” Su Jun yu smiled: „Recently looked at the song courtyard faction also to have the paper of Feng senior, I truly some ideas...... these year of perfect bases send the operation, has my level also gotten up?” “也算是完成我的一点执念吧？”苏君宇笑了:“最近看了歌庭派还有冯前辈的论文,我确实又有一些想法……这些年完善基派算理,我的水平也已经起来了嘛？” „Hey, do you want to do?” Zhao Qingtan knits the brows slightly: „Even sea thunderclap honorable person compares the edge, that is still revering of free and unfettered! Do you want and free and unfettered period member resentment?” “喂,你想要干什么？”赵清潭微微皱眉:“就算海霆真人比较边缘吧,那也是逍遥之尊！你想要和逍遥期修士怼吗？” Su Jun yu corners of the mouth pulled pulling: „Why do I want to go to a resentment free period member specially?” 苏君宇嘴角扯了扯:“我干嘛要专门去怼一个逍遥期修士呢？” Zhao Qingtan is just about to relax, Su Jun yu continues saying: „Naturally is resentment even/including sect!” 赵清潭正要松口气,苏君宇就继续说道:“当然是怼连宗啦！” „You......” “你……” „Although is inferior to king Qi that fellow, but I in childhood, truly is considered that has the natural talent of free and unfettered progression?” Su Jun yu said with a smile: „Moreover, this tangled warfare, source also several years ago, our leaders inconsiderately calculates? I as an member who the base sends, does an ending, is takes action with just reasons?” “虽然不如王崎那家伙,但是我小时候,也确实被人认为是有逍遥级数的天资吧？”苏君宇笑道:“而且,这一混战,源头还在好几年前,咱们领袖的不周之算呢？我作为基派的一份子,来做个结尾,也算是师出有名吧？” Zhao Qingtan no longer said a word. 赵清潭不再言语。 Therefore, in situation that the year also overflowed, Su Jun yu then started the research. 于是,在年还没过完的情况下,苏君宇便开始了研究。 But he actually along „relative uniformity that” calculating the lord gives the mentality, seeks with the song courtyard sends the different directions , to continue to increase. 而他却是沿着算主给出的“相对一致性”的思路,寻找与歌庭派不一样的方向,继续攀升。 In an instant, arrived left for the star ship of another region to set sail newly generally. 转眼之间,就到了新一般开往他乡的星舰启航的时候。 Zhao Qingtan leads a disciple, arrives at god Capital. 赵清潭带着一种弟子,来到神京。 Looks hometown city that behind has been familiar with, Zhao Qingtan is somewhat absent-minded. 看着身后已经重新熟悉起来的故乡城市,赵清潭有些恍惚。 This time, Su Jun yu has not come out to see off. 这一次,苏君宇没有出来相送。 Just before leaving before, he holds Zhao Qingtan, takes some rough drafts. This is he is more recent the day achievement. 临走前,他只是托赵清潭,将一些草稿带上。这是他最近一些日子的成果。 Zhao Qingtan feels these manuscript paper heavily exceptionally. 赵清潭感觉那些稿纸异常的沉重。 Does not know that waits for Junior Brother Su, will be what kind of future. 不知道等待苏师弟的,是怎样的未来。 He brings these to join ten thousand method disciples who the base sends newly, on star ship. 他带着那些新加入基派的万法门弟子,上了星舰。 He then returned to another region. 他便回到了他乡。 In held welcome feast after these new member, Zhao Qingtan looks for king Qi alone, reported half year achievement. 在为那些新加入的修士开了欢迎宴之后,赵清潭单独找上王崎,报告了这半年的成就。 And, presented Su Jun yu these drafts. 并且,呈上了苏君宇的那些文稿。 king Qicu read thickly, was one startled: „, Unexpectedly is...... this?” 王崎粗粗一读,便是一惊:“啧啧,居然是……这个啊？”