Although that said that but...... 虽然话是这么说,但是…… Jokes aside, king Qi actually to calculating theory, many a little lacks confidence. 说真的,王崎其实对算器理论,多少有点信心不足。 In fact, any earthman, this world calculates that theoretical field, is strange. 实际上,任何一个地球人来看,这个世界的算器理论领域,都非常诡异。 First, two world to „computer” the concept, actually has the subtle difference. 首先,两个世界对“计算机”的概念,其实就有微妙的不同。 On Earth, always only has a classical route, from George Boole, to Frege, Luo Su, again to Goodall, Csucsi, Turing, in fact is one consecutive, route of progressive. But this is only the development route of turning machine. 地球上,从来就只有一条经典的路线,从乔治・布尔,到弗雷格、罗素,再到哥德尔、丘奇、图灵,实际上是一条一脉相承的、递进的路线。但这只是图灵机的发展路线而已。 In fact, the computer of Earth, another, almost all people forgot origin. 实际上,地球的电子计算机,还有另一个,几乎所有人都遗忘了的发源。 In 1943, a nerve biologist Warren Sturgis McCulloch and a mathematician Walter Pitz through simulating the mentality of human brain, made an abstract graph of human brain god Capital system. It bases on person the simplification of nervous system. But this achievement was actually showing, the system that can ponder, can construct with the electric wire, the connection of its electric wire, plays the role of neuron. And the electric current flows or is not mobile, represents is having or without synapse response. 1943年,一位神经生物学家沃伦・麦卡洛克和一位数学家沃尔特・皮茨通过模拟人脑的思路,做出了一个人脑神京系统的抽象图形。它是基于人的神经系统的一个简化。而这一项成就却是在证明,一个可以思考的系统,能够用电线来建造,其电线的连接,就起到了神经元的作用。其中电流流动或不流动,就代表着存在或不存在突触反应。 But these neural networks realize, is one set „predicate logic”. 而这些神经网络所实现的,正好是一套“谓词逻辑”。 Just, that time, the cognition of human to the brain and electronics technology, is superficial and narrow. 只不过,那个时代,人类对大脑与电子技术的认知,都非常的浅薄与狭窄。 Most people pondered „when neural network”, thought is the achievements of the 21 st century. 绝大多数人思考“神经网络”时,想到的都是二十一世纪的成果。 Because of the 1940s material study and engineering, cannot support the neural network in that two scholar ideals. 因为二十世纪四十年代的材料学、工程学,根本不能支撑那两位学者理想中的神经网络。 This experiment true significance is, gives „turning machine” by an achievable structure. 这个实验真正的意义在于,给予“图灵机”以一个可以实现的结构。 But it optimizes in the project again, is Von Neumann construction. 而它在工程上再优化,就是冯诺依曼架构。 However, the spiritual energy universe, the entire universe is the black box is giant. 但是,灵气宇宙,整个宇宙都是黑箱巨大。 Thousand machine pavilions have „by Mechanism/Organization plans to melt myriad things” the idea. Here, creates the artificial intelligence, is so-called „the day after tomorrow will” actually will be simple, a wisp of soul, even under the soul with the magic arts rubbing will move on the line. The magic weapon really spirits, can calculate reluctantly. 千机阁本身就有“以机关拟化万物”的想法。在这里,创造人工智能,也就是所谓的“后天意志”其实非常简单,一缕分魂,甚至用法术拓印下魂魄活动就行。法宝真灵,都可以勉强算进其中。 But Turing honorable person earliest calculates the prototype, bases on „process that simulation soul revolves” this idea to realize. 而图灵真人最早的算器原型,也是基于“模拟魂魄运转的过程”这个想法而实现的。 As for originally as the prerequisite mathematical research that the computer develops, is Csucsi, some achievements of Turing that lineage/vein, the pursue that is closely linked with Charles Babbage's dream, in this world, it does not live for „machine that creation can calculate” unexpectedly. 至于原本作为计算机发展的前置数学研究,也就是丘奇、图灵那一脉的部分成就,那与查尔斯・巴贝奇的梦想息息相关的追求,在这个世界,居然不是为了“创造可以计算的机器”本身而生。 They are the Greek gate 23 ask by -product of determination issue. 它们是希门二十三问之判定性问题的副产物。 Without the big background of spiritual energy universe looks, that this history of science, simply may be called crazy. 如果没有灵气宇宙的大背景看,那这一段技术史,简直堪称疯狂。 The artificial intelligence before the computer appears has existed. Then, the computer was invented, moreover uses „Yin-Yang trigram” to express the foundation of change. Then, the member extirpated the higher order language from the magic arts, by „refiner governing thing” the mentality controls to calculate. Then, in the pure world of mathematics of next door, presented the incomplete theorem, in turn drove the development of computer. 人工智能在计算机出现之前就已经存在。然后,计算机才被发明出来,而且使用“阴阳爻”表示变化的基础。接着,修士们从法术之中摘出了高级语言,以“炼器御物”的思路去操控算器。然后,在隔壁的纯数学领域里,才出现了不完备定理,反过来带动了计算机的发展。 You with that earthman, that earthman do not believe casually exists the history of science that talked nonsense. 你随便跟那个地球人将,那个地球人都不会相信存在这么扯淡的技术史的。 As for calculating Monarch „chaos network structure”, then after the first line develops the pinnacle, a parallel in Suanqi line that moreover operates. 至于算君的“混沌拓扑网络结构”,则是在第一条线发展到极致之后,另外开的一条平行于算器的线路。 If not calculate that Monarch has done, king Qi does not believe that has such technology. 如果不是算君已经搞出来了,王崎都不相信存在这样的技术。 king Qi after tying pill, gradually transmits this to Su Jun yu handles, besides is busy exterminating the spirit phoenix island evils, is because feared oneself sees to bond to delay the development of this line in the knowledge that on Earth had. 王崎之所以在结丹之后,逐渐将这一块转交给苏君宇打理,除了是忙着去剿灭灵凰岛古法余孽之外,也是因为怕自己在地球上产生的知见障而耽误了这一条线的发展。 The general knowledge of Earth is limited in this domain function. He also withdrew from some Earth the computer technology rapid advancement „power” for example Kaiyuan, and so on. Even he puts in order alpha dog, actually still has nothing. 地球的常识在这块领域作用有限。他也就是退出了一些地球上计算机技术快速进步的“动力”比如开源,之类的。就算他整出阿尔法狗,其实也没什么。 The divine land does not need anything „in computation strength limited situation to play chess to exceed the day after tomorrow will of national champion”, they have this type of thing. They instead cared, „why will have this type of thing”. 神州已经不需要什么“计算力有限的情况下就能下棋胜过国手的后天意志”了,他们有这种东西。他们反而更加关心,“为什么会有这种东西”。 This is his athletic event in which one is weak. 这一块算是他的弱项。 However, now cannot attend. 不过,现在也顾不得了。 king Qi so thinks. 王崎如此想到。 Must learn this, can feel at ease. 得学好这一块,才能心安。 Said actually not he thought calculates Monarch beyond the way with arithmetic method will really injure himself, does not place hopes in itself to be able in the predictable time counter- ultra to be Mr . 倒不是说他觉得算君真的会用算学手段之外的方式加害自己,更不寄希望于自己能够在可预期的时间内反超算君。 But blocks a loophole that has the possibility. 只不过是堵上一个有可能的漏洞而已。 „Moreover, for own empty merit body, retrieves a solid foundation, is very important.”, “而且,为自己的虚相功体,寻回一个坚实的基础,也是很重要的。”、 king Qi hits the gas channel/angrily said to oneself, then looks to the other two in peaceful room. 王崎对自己打气道,然后看向静室之中的另外两人。 Zhao Qingtan and Wei Cang, were compiles « Calculated " main force. 赵清潭和魏沧,都算是编写《原算》的主力了。 „The duties of our next stage, then study the structure. Front several ‚calculated’, we were set up ‚structure’ this sign. However, this has not calculated, we need to continue to get down thoroughly.” “我们下一个阶段的任务,就是接着研究结构。前面几本‘原算’,我们算是立起‘结构’这个牌子了。但是,这还不算完,我们需要继续深入下去。” Zhao Qingtan knits the brows: „Pure arithmetic? But you did not say that saves a life importantly......” 赵清潭皱眉:“还是纯粹算学？可你不是说救命要紧……” „Without this step, how I to help oneself!” king Qi lets go: „Did Senior Brother Zhao, I say yesterday very clearly?” “没有这一步,我怎么自救啊！”王崎摊手:“赵师兄啊,我昨天说得很清楚了吧？” „Yes, I understood.” Zhao Qingtan sighed slightly. “是,我明白了。”赵清潭微微叹息。 „Said the structure was good. Our ‚structure’, is a new student/life concept, but, but also insufficiently has the strength I to think that it has the strength. It should be able to change the thinking patterns of all ten thousand method disciples.” “还是说结构好了。我们的‘结构’,还是一个新生的概念,但是,还不够有力量我认为它是有力量的。它应该可以改变所有万法门弟子的思考方式。” king Qi proposed initially incomplete theorem, almost destroyed half ten thousand methods. 王崎当初提出不完备定理,几乎毁了半个万法门。 However, why is only half? Why in calculating Lord rising, is more than in even/including sect the situation to the sect, as before only then „half”? 但是,为什么只是半个？为什么在算主如日中天、离宗多于连宗的情况下,依旧只有“半个”？ Because, the logic, actually with the whole of arithmetic, is not that close. 因为,逻辑,其实和算学的整体,不是那么密切。 Or only then logician, relational logic. What are more is the family/home, actually does not care about the logic. The logic has the contradiction to have the contradiction, does not affect the actual proof of any arithmetic. 或者说,只有逻辑学家,才会关系逻辑本身。更多的算家,其实并不关心逻辑。逻辑有矛盾就有矛盾,也并不影响任何算学的实际证明。 Reason that many member said the heart to fall into enemy hands, because calculates Lord that „sought for arithmetic unification foundation” the beautiful prospect was extremely attractive, causing many people to believe this point. 之所以有很多修士道心失守,还是因为算主那“寻找到算学统一根基”的美丽图景太过诱人,导致很多人都坚信这一点罢了。 It seems the atomic theory not to affect normal person's sensation to macroscopic thing, ten thousand method disciples in counting, will not become „kind of equipotential line set” the natural number imagination. 就好像原子理论并不会影响正常人对宏观事物的感知一下,万法门弟子在数数的时候,也不会将自然数想象成“等势集合的类”。 Even many arithmetic felt incomplete, is not accommodating, is only „logic” and „set” its issue, rather than the issue of arithmetic. 甚至还有很多算学家觉得,不完备,不相容,都只是“逻辑”与“集合”本身问题,而不是算学的问题。 Calculates that Monarch is the representative of this thought. Calculates when the lord fulfills his ideal, calculates that Monarch does not care completely, as if becomes with not entirely succeed are not related. 算君就是这种思想的代表。算主践行他的理想时,算君就完全不在意,似乎成与不成都没关系。 Does not have this tendency issue with not accommodating it is completely only the issue of logic, rather than arithmetic's issue. 不完备与不相容本身也有这种倾向问题只是逻辑的问题,而不是算学本身的问题。 They seemingly are more like calculate the obstacle on Lord path. 它们看上去更像是算主道路上的拦路虎。 The advantage of set theory belt/bring ten thousand method, as if only then „unification, convenience indicate various abstract concepts languages” this kind. 集合论带个万法门的好处,似乎只有“统一的、方便表述各种抽象概念的语言”这一类。 But „structure” this was another level matter. 而“结构”这是另一个层面的事情了。 Bourbaki School declared „mathematical foundation that structure yes the mathematician uses ” 【„Mathematical foundation that rather than logician uses”】 They embark from another road, unifies the entire world of mathematics. 布尔巴基学派宣称“结构”是“数学家使用的数学基础”【而非“逻辑学家使用的数学基础”】他们从另一条路上出发,去统一整个数学领域。 Before Bourbaki School, „structure” this concept has existed. They just like Hilbert hope that with Cantor's set theory rule math world, pointed out that „structure” this concept can serve as „integration”. This method obtained the enormous success, because in Earth, only needs few „female structure”, can discuss that massive has the interesting example typically. 在布尔巴基学派之前,“结构”这个概念就已经存在。他们只不过是像希尔伯特希望用康托尔的集合论统治数学世界一样,指出“结构”这个概念可以用作“统合”。这个方法取得了巨大的成功,因为在地球,只需要极少数的“母结构”,就能讨论大量典型有有趣的例子。 Bourbaki School even affected the division/discipline division of math. The math no longer like classical period such, is divided into the arithmetic, algebra and how much, to analyze several categories, but presented „topological algebra” and „algebraic geometry” the classification. 布尔巴基学派甚至影响了数学的学科划分。数学不再像古典时期那样,分成算术、代数、几何、分析几个大类,而是出现了“拓扑代数”、“代数几何”这样的分类。 This foundation can change the world. 这个基础是能够改变世界的。 But „structure” the further sublimation of this concept, is „category”. 而“结构”这个概念的进一步升华,就是“范畴”。 Some type structure all kind that the examples of having the possibility, in addition maintains all functions of this structure, is „category”. 某一类型的结构的所有有可能的例子的类,再加上保持这种结构的所有函数,就是“范畴”。 The category is one compared with a structure more flexible concept. 范畴是一个比结构更加灵活的概念。 The category can recognize that for the special circumstance of structure concept, but another reverse side one, the set and function have a special circumstance that can regard as to category. 范畴可以认定为结构概念的一个特殊情形,而另一反面,集合及其函数有可以视作为范畴的一个特殊情形。 The set and function and structure and shoot condition, can constitute the category. 集合及其函数、结构及其射态,都可以构成范畴。 It also has „becomes the entire arithmetic foundation” the potential. 它同样具有“成为整个算学基础”的潜力。 This is also another important supply of Bourbaki School. 这也是布尔巴基学派的另一个重要补充。 But on the other hand...... 而另一方面…… This thing met the rusticity compared with the front many theories finally a point. 这玩意总算是比前面的诸多理论接地气了一点了。 At least, the theory of categories can apply in the computer science, although king Qi has forgotten concretely what's the matter. 至少,范畴论是可以应用到计算机科学里面的虽然王崎已经忘了具体是怎么回事。 After all this in Earth was also in the quite high-end atmosphere the skill of scale, the common procedure/program ape not necessarily understood. 毕竟这在地球也算是比较高端大气上档次的技巧了,一般的程序猿未必懂。 Moreover, on divine land this and Earth completely different history of science...... 另外,就神州这与地球完全不同的技术史…… Truly makes in the will of the people lack self-confidence very much. 确实很让人心里没底。 But king Qi actually only then bracing oneself. 但王崎却只有硬着头皮上了。 The base sends the theory, has become him to cultivate/repair a law inalienable part. 基派理论,已经成为他修法不可分割的一部分。 If he presents the merit law conflict, then may very much from in Suanjun empty amends the law, with part of conflicts. 而若是他出现功法冲突的话,那么很有可能就是源自于算君的虚相修法,和这一部分的冲突。 Before immortal pledge, rarely has this problem. Because even „theory” different, „application” is not cannot be compatible. Beast mechanism/organization colony to him, but „using”, should not have the problem. 仙盟以前很少出现这种问题。因为就算“理论”不同,“应用”也不是不能兼容。兽机关集群对他来说,只是“用”,应该不会出现问题。 However, dragon sovereign predicted that is actually to exceed the common causes and effects, cannot do without guarding. 但是,龙皇预言却是超越一般因果的,不可不防。 Therefore, king Qi, only then chooses this road. 所以,王崎只有选择这一条路。 Thus, can his arithmetic level , cultivate/repair a law better union with the beast mechanism/organization colony. 这样,方能将他自身的算学水平,与兽机关集群、自身修法更好的结合起来。 Although is also a black road and that's the end. 虽然也是一条黑路就是了。 But his king Qi, is plans to take a road. 但他王崎,就是打算生生走出一条路。 In arranges after these two, king Qi also said: „Senior Brother Zhao, I later planned that visits Yu clan, ahead of time solves some...... to calculate the issue the issue. I remember that you also planned goes to that side to handle the educational problem of Yu clan? Starts off together, my also a little matter, asked your alone.” 在对这两人布置完之后,王崎又说道:“赵师兄,我之后打算去拜访毓族一趟,提前解决一些……有可能算问题的问题。我记得你也打算去那边处理一下毓族的教育问题吧？一起上路,我还有点事情,单独拜托你一下。” „Ok, without issue.” Zhao Qingtan from may all. “行啊,没问题。”赵清潭自无不可。 Wei Cang then departs in advance. But Zhao Qingtan called pepper sea of trees was colored, moved toward Yu clan inhabit region with king Qi together. 魏沧便先行离去。而赵清潭叫上了椒・树海花,跟王崎一起走向毓族聚居地。