WIIC :: Volume #4

#244: The Nirvana of arithmetic


LNMTL needs user funding to survive Read More

Under the help of Turing honorable person, this question and answer, is being shocking but not dangerous passed. 在图灵真人的帮助之下,这一场问答,便算是有惊无险的度过去了。 king Qi crossing over the beforehand age, is far from Goodall's years can compare regarding the research of modern mathematical logic. The light can not know many with the turning machine and Lambda algorithm equal mathematical system. On king Qi knows, before king Qi makes the cellular automaton that in the divine land, as well as Beuster corresponds the issue and counter machine, the Markov algorithm and recursive function. 王崎“穿越”之前的年代,对于现代数理逻辑的研究已经远非哥德尔的时代可以相比。光是能够和图灵机、拉姆达算法等价的数学系统都不知道多少。就王崎知道的,包括王崎之前在神州做出来的元胞自动机,以及波斯特对应问题、计数器机、马尔科夫算法、递归函数。 On this issue, his vision innate is higher than the divine land people. 在这个问题上,他眼光先天就高于神州众人。 But he talent is not weak, strong assistances of some Turing honorable people. Six months, naturally can complete a lot. 而他自身天分也不弱,又有图灵真人的鼎力相助。半年的时间,自然能够完成很多事情。 Regarding the general free and unfettered, king Qi and preparation of Turing honorable person, is flawless and impregnable. 对于一般的逍遥来说,王崎和图灵真人的准备,就是天衣无缝、无懈可击的。 Arrived light/only thinks impregnably, can make them lose the courage. 无懈可击到光是想一想,就能够让他们失去勇气。 Finally, Feng Luoyi broke king Qi and exchange of Turing honorable person. He looks at four no one, access road/simply said: If no one continues to inquire now, then, the time of inquiry then arrived here.” 最终,还是冯落衣打断了王崎和图灵真人的交流。他看四下无人,便道:“若是现在没有人继续提问,那么,提问的时间便到这里了。” Turing honorable person has not given full expression: Wait a bit, waits for us to discuss this issue......” 图灵真人意犹未尽:“稍等,等我们将这个问题讨论完……” You private chatted well.” Feng Luoyi swept calculates that advocated peace to calculate Monarch eyes, then announced: Now, we then wait midnight.” “你们自己私聊就好。”冯落衣扫了算主和算君一眼,然后才宣布道:“现在,我们便坐等子夜罢。” This is now law cultivates law few art. The summary of say/way of this type of subversive, must conduct in the midnight. 这便是今法修法为数不多的讲究。这种颠覆性之道的总结,一定要在子夜进行。 The new and old junction, yesterday all sorts of yesterday died, today all sorts of today lives. 新旧之交,昨日之种种昨日死,今日之种种今日生。 These free and unfettered member spirits also immerse shock that in the incomplete theorem brings, startled realize by the present, the time has passed by unexpectedly was so long. 那些逍遥修士精神还沉浸在不完备定理带来的震撼当中,到现在才惊觉,时间居然已经过去了这么久。 Noontime, 11 p.m. to 1 a.m till. These says, has continued unexpectedly entire quite a while. 午时起,子时止。这一场讲道,竟已经持续了整整半天。 After Turing honorable person discussed that king Qi again sits the edge in that rostrum, sat in repose with eyes closed. Obviously was also only a moment ago the young member of that gold/metal pill period. But why does not know, an numerous free and unfettered thought on unexpectedly him as if had such as Yue Ruyuan the aura. 和图灵真人讨论完之后,王崎再次坐回那个讲坛的边缘,闭目养神。明明还只是刚才那个金丹期的小修士。但不知为何,一众逍遥竟觉得他身上仿佛有了如岳如渊的气息。 Psychological process? 心理作用? Some people had a suspicion. 有些人产生了一丝怀疑。 A calculation Monarch department that even if not approve king Qi the theory, still has to acknowledge, king Qi is actually is very talented. 就算是不认可王崎理论的算君一系,也不得不承认,王崎却是是很有天分的。 No one can disregard him again. 再无人能够无视他。 side Ruxian way. Then the pressure world......” some people said in a low voice: I as if saw another common people national champion.” “方入仙途。便威压天下……”有人低声道:“我仿佛看到了又一个苍生国手。” Said that he looks like calculates Monarch...... is repels say/way heart of one generation of song courtyard leaders, comes the achievement illustrious prestige......” “说他像算君才是吧……都是摧破一代歌庭领袖的道心,来成就赫赫威名……” Shut up!” “闭嘴!” Those words as if caused a tumult. Calculates mostly the family/home worries looks Lord. 那句话似乎引起了一点骚动。大部分算家都担忧的看着算主。 In a turbulence, calculating the lord is damaged deepest one person. king Qi bred to deny his weapon from his thought and his mentality. The pursue of his lifetime was also broken. Now, this summit withstand/top the free and unfettered, even if died immediately is not strange. 在一场动荡之中,算主是受创最深的一人。王崎从他的思想、他的思路当中孕育出了否定他的武器。他毕生的追求也被打破。现在,这位巅顶逍遥就算立刻身亡也不奇怪。 But. Calculates that Lord as before motionless, did not say a word. 可是。算主依旧一动不动,一言不发。 The midnight ding resounds quickly. Rostrum that king Qi steps on. This time, in his look, brings the unequalled self-confidence. 子夜的钟声很快响起。王崎重新走上的讲坛。这一次,他的神色之中,带着无与伦比的自信。 Calculates Monarch Pang Jia in the past during time explains religious doctrine, has talked about the future of arithmetic. He said at that time: Formerly has had that some demigods of divining according to the diagrams. They repeatedly said that what all issues have been solved. The remaining matters just rub the polish the answer again,’ then he also added: But, this sad spring/lust injures autumn always dead like a dog...... I to come, today no one has also been holding this idea.’ “算君庞家莱在过去的一次讲道之中,谈到过算学的未来。他当时是这么说的:‘从前有过那么一些算卦的半仙。他们反复说什么所有问题都已经解决。剩下的事只不过是再把答案磨磨光而已,’接着他又补充道:‘但是,这种悲春伤秋者总是不得好死……我想来,今天已经没有人还抱着这种想法了。’” These words of senior, used in this time then really do for the occasion. Now, we regarding the progressive faith, we were so no longer firm to our immortal confidence, these views had been vacillated by the extremely fierce attack. To us, like calculating Monarch senior the past and present has deduced the future as if not to conform with the reason we even not to know without hesitation, we know anything, we will know anything. We need to know anything.” “前辈的这一句话,用在此时便是真的应景了。现在,我们对于进步的信念,我们对我们仙道的信心不再那么坚定了,这些看法已经被极为剧烈的打击所动摇。对我们来说,像算君前辈那样毫不犹豫地把过去、现在一直推演到未来似乎并不那么合乎情理了我们甚至不知道,我们会知道什么、我们将知道什么。我们又需要知道什么。” king Qi these words, like raising a curtain of dark age. He in the destructive power that the elaboration incomplete, cannot be determined. ten thousand Famen was attacked is almost unable to recover. Besides the member of some floors, no one's say/way heart does not vacillate. 王崎的这一句话,如同揭开了一个黑暗时代的帷幕。他在阐述不完备、不可判定的破坏力。万法门被打击得几乎一蹶不振。除了一些底层的修士之外,没有人的道心不动摇。 Outside, but also is paying attention to this explaining religious doctrine ten thousand method disciples still to weep. They scolded in a low voice: Exiles the immortal! Day demon! Demon outlet!” 场外,还在关注这一场讲道的万法门弟子犹在啜泣。他们低声骂道:“谪仙!天魔!邪魔外道!” Few Li-school various people in field, feels moved. 就连场中的少黎派诸人,也觉得怅然若失。 When must ask arithmetic about the arithmetic future view, then calculates that the family/home meeting wants to ask a more fundamental issue mostly: What kind of immortal does the person clan want to cast to say to oneself? For 80,000 years the person clan accumulated, in 2000 from now on law seeking, were our thinking modes just appearing briefly in universe? If we are worried to fall the most profound discussion, rather keeps now in not that sturdy historical data, we will also come across the similar issue, but traded a form to express: We were seeing our immortal thing is strongly old, by the safe revolutions otherwise? Whether we should abandon the undertaking. At least abandons for own heart in the say/way undertaking, but transfers maintains the accomplishments of one's ancestors?” “假如要去问算学家关于算学的未来的看法时,那么算家多半会想提出更为根本的问题:人族想要给自己铸就如何的仙道?八万年来人族积累、两千年来今法求索,我们的思维方式难道只不过是宇宙中的昙花一现?假如说我们担心陷进玄之又玄的讨论,宁愿留在现在也不那么牢靠的史料中,我们也会遇到同样的问题,只不过换了一种形式来表达:我们是否正在眼看着我们的仙道物壮则老、由泰转否?是否我们应该抛弃创业。至少是抛弃为自己心中之道创业,而转为守成?” Headed by the song courtyard sends also fell into being at a loss to sect Suanjia. 以歌庭派为首的离宗算家也陷入了迷惘。 Has arrives poorly infinitely, whether is the barrier of our cognition? 有穷到无穷,是否就是我们认知的壁垒? Aren't we able to ascend a height to get a broad view forever the infinite other shore? 我们是否永远也无法登临无穷的彼岸? Isn't this barrier, able to break through? 这个壁垒,是不是无法突破? One such as the worthy people of former times said. Doesn't this universe, then exist infinitely? 还是一如先贤所言。这个宇宙,便不存在无穷? However, the goal that king Qi chooses this speech, does not blow own horn, but expressed own viewpoint. 但是,王崎选择这一篇讲话的目的,并不是自吹自擂,而是表达自己的观点。 The arithmetic, then wants the revival! 算学,便要涅槃重生啊! Bourbaki School. Is when Goodall, Turing are many new generation talents of head conquer by killing the entire mathematics circles three views, Nirvana who stands, walked far in the 20 th century second half page. 布尔巴基学派。就是在哥德尔、图灵为首的诸多新一代天才血洗整个数学界三观之时,站出来的涅槃者,也是在二十世纪后半页走得最远者。 Why can like this? Without a doubt, we came across the major problem, very huge issue. Perhaps this difficult problem exhausts my life also means to send the solution. However, at this time, I would remembered the Greek gate Lord to say a words scientific branch, so long as can provide a lot of issues, it is full of the vitality/angry, but lacked the issue the trillion of dying. I think, we at least do not need to be worried oneself witnessed the death of arithmetic. We came across a how fearful issue! „ “为什么会这样呢?毫无疑问,我们遇到了大问题,非常巨大的问题。这个难题或许穷尽吾之一生也办法发解决。但是,这个时候,我总会想起希门主曾经说过的话一门科学分支只要能提供大量的问题,它就充满着生气,而缺乏问题则是将死之兆。我想,我们至少不用担心自己目睹算学的死亡了。我们遇到了一个多么可怕的问题啊!“ Some people scolded in a low voice: You said dexterously......” 有人低声骂道:“你说得轻巧……” Right, there is a senior to say that my not and vertical gold/metal pill period member spoke irresponsibly and sarcastically. However, but! Our arithmetic, our ten thousand has Famen feared the crisis?” “没错,也有前辈想要说我这个未及而立的金丹期修士站着说话不腰疼。但是啊,但是!我们的算学,我们的万法门怕过危机吗?” In king Qi the voice, mixed in an exciting color. 王崎的声音之中,混入了一丝激动之色。 When medieval calculates when the family/home first time enough defines two quantities precisely the ratios, does not cause the existing problem of commensurability quantity, they as if believe that and requests all ratios is the rational numbers, and establishes the initial schematic diagram of their eometric easoning on the foundation of this temporary supposition, but medieval several certain greatest progress are with them link in this regard at first wrongly.” “当中古算家头一次足够精确地定义两个量的比时,就引起不可公度量的存在问题,他们似乎相信并且要求所有的比都是有理数,并且把他们几何推理的最初草图奠定在这个临时假设的基础之上,而中古数家某些最伟大的进展就是同他们在这点上最初的错误联系在一起的。” The first mathematical crisis, the discovery of irrational number. 第一次数学危机,无理数的发现。 Similarly discussed in the clouding over type with the opening of infinitesimal calculus time. People also hope that each analytic expression defines a clouding over type, moreover each clouding over type has the derivative ; Today we know these requests are incompatible Wei two gentlemen who solve this problem, now sits among us!” “同样在变天式论和无穷小演算时代的开头。人们也希望每一个解析表达式定义一个变天式,而且每个变天式都具有导数;今天我们知道这些要求是互不相容的而解决这个问题的魏二先生,现在就坐在我们中间!” The second mathematical crisis, calculus to infinity and infinitely great operation. Caused contradiction. 第二次数学危机,微积分对无穷大、无穷小的操作。导致的矛盾。 „The recent crisis, is the strange proof way that because the emergence of simple set theory provides produces, it guides the quite good result to us, we can think that it has established finally. We have learned to trace the sole source the entire arithmetic, it comprised of several several use rules of symbols and these symbols. Without doubt this is one not being able to break through mountain-protecting big, although we are very difficult to imprison in does not suffer the risk that the hunger understands. However we actually can, in the aspect unpredictable and has in the situation of danger to decide stepping down.” “最近一次危机,是由于素朴集合论的出现所提供的诡异的论证方式所产生出来的,它给我们引导出相当不错的结果,以至于我们可以认为它已经最终建立起来。我们已经学会把整个算学追溯到单一的源泉,它由几个符号和这些符号的几条使用规则组成。无疑这是一个攻不破的护山大阵虽然我们很难禁锢在其中而不遭受到饥懂的风险。但是我们却总可以在局面捉摸不定和有外界危险的情况下自行决定退居其中。” The third mathematical crisis, set theory refers to the contradiction that triggers. 第三次数学危机,集合论的自我指涉引发的矛盾。 king Qi closes the eye, here stopped. Then, he strengthens, said own idea resolutely: Only then a small number of ideological backward people still maintained such standpoint: Arithmetic must depend upon his intuition obtains newly non- logic before’ or ‚, logic inference essential factor. If certain arithmetic branch also axiomizations, is returns to original state such statement way, all nouns define with the basic concept of set theory, all axioms obviously expressed with the original concept of set theory that did not have enough time to make us do. Naturally, has the possibility some day the descendant to request the inference way that we do not permit to introduce the set theory very much. Even has the possibility , after very much uses us to use the reasoning model that to discover the seed of contradiction now today we have not seen, the possibility that although the job description this situation of modern logician presents is very low is very low. By that time, needs to conduct a universal revision, but we can still affirm that in even now the arithmetic the most essential essential factor will not be affected.” 王崎闭上眼睛,在这里停顿了一下。然后,他坚定的,毅然决然的说出了自己的想法:“只有少数思想落后的人仍坚持这样的立场:算学家必须依靠他的‘直觉’来得出新的‘非逻辑的’或‘前逻辑的’推理要素。如果某些算学分支还没有公理化,也就是还原成这样的陈述方式,其中所有名词都用集合论的基本概念来定义,所有公理都用集合论的原始概念明显表示出来,那只是还没有足够的时间让我们这么干。当然,很有可能有朝一日我们的后代会要求把我们所不允许的推理方式引进集合论。甚至很有可能以后用我们现在所用的推理模式发现今天我们还没有看出的矛盾的萌芽,虽然近代逻辑学家的工作说明这种情况出现的可能性很小很小。到那时,就需要进行一次普遍的修正,不过即使现在我们也能肯定算学中最本质的要素也不会受到影响。” Only hears the first few words, including calculating Monarch all few Lebanese Pethrus excitedly discolorations. 只听到第一句话,包括算君在内的所有少黎派修士都勃然色变。 king Qi this is then equivalent points at their noses to scold! 王崎这便是相当于指着他们的鼻子开骂! However, king Qi must say. 但是,王崎一定要这么说。 This is the upholstery of his following thought. 这就是他后续思想的铺垫。 He leaves a disciple......”, if on the clear fairy maiden face appears the complex expression, not only gratified hates. “他到底还是离宗弟子……”若澈仙子脸上浮现出复杂的表情,不只是欣慰还是怨恨。 In question that even if in 23 asked that several issues were still very remote to us, although they were also not the unreachable goals, perhaps they continued to give one generation to provide the research subject incessantly. And the fifth issue about Li Qun is an example......” “即使在二十三问的问题中,仍然有几个问题离我们很遥远,虽说它们还不是不可达到的目标,它们或许继续给不止一代人提供研究课题。其中第五个关于李群的问题就是一个例子……” Riemann hypothesis, in people give up proving after the clouding over -type method its plan, now as if presents the new light. It indicated that it is closely related with some clouding over -type suspicion, as the matter stands makes these two issues same arithmetic- the two aspects of algebra issue. But to this issue, regarding assigning the number field studies all minute/share of circles to expand simultaneously is playing the decisive role without doubt......” “黎曼猜想,在人们放弃用变天式的方法证明它的打算之后,现在似乎出现了新光明。它表明它与某个变天式的猜想密切相关,这样一来使得这两个问题成为同一算术-代数问题的两个方面。而对这个问题,对于给定数域同时研究其所有分圆扩张无疑起着决定性的作用……” „...... Calculates king Gaosi the arithmetic strongly in two reciprocity laws surroundings ; Now we know, two reciprocity laws are just ‚a kind of territory the first exceptional case of various law, but these laws are the theorems to decide Ashi of algebra number field expanding, we also know how to indicate these laws to make them seem like a compact whole......” “……算王高嗣的算术集中在二次互反律的周围;现在我们知道,二次互反律只不过是‘类域’诸定律的头一个特例,而这些定律是决定代数数域的阿氏扩张的定理,我们也知道怎样表述这些定律使得它们看起来是一个紧凑的整体……” Issues were proposed. Many calculate that the family/home is not silly. They are willing to realize quickly, this is a mature ideology. 一个个问题被提出。诸多算家都不傻。他们肯快意识到,这是一个成熟的思想体系。 Also including to these logic and formalization of sect. Also there is even/including sect the lower-dimensional topology and an algebraic topology of representative. Indistinct, some in its above thing. 既包括离宗的那些逻辑、形式化。也有连宗的代表的低维拓扑、代数拓扑。隐约之间,还有一些更在其之上的东西。 What outside look is earnest. 何外尔的眼神热切起来。 This king Qi, asked was really the Nirvana of arithmetic!”( To be continued.) The mobile phone user please visit http://m.piaotian.net “这个王崎,求的果然是算学的涅槃!”(未完待续。)手机用户请访问http://m.piaotian.net
To display comments and comment, click at the button