WIIC :: Volume #3

#73: Goodall complete theorem 【in addition four】


LNMTL needs user funding to survive Read More

Was king Qi the broken boundary to start. 属于王崎的破境开始了。 Regarding simplest predicate logic of first-order......” “对于最简单的一阶谓词逻辑而言……” The supernatural power of king Qi whole body as if induced the forthcoming breakthrough, moved restlessly all. 王崎全身的法力仿佛都感应到了即将到来的突破,尽数躁动起来。 The hole holes were broken, the new Yin-Yang trigram produces in the batch. 一个又一个穴窍被冲开,新的阴阳爻在批量生成。 Carries on the logical calculus......” “进行逻辑演算……” When king Qi writes down these words, his within the body all Yin-Yang trigrams start the running at full capacity. 当王崎写下这一句话的时候,他体内所有阴阳爻都开始满负荷运转。 „...... Can prove all logically effective formulas......” “……可以证明所有逻辑上有效的公式……” The hand that king Qinie sets pen to paper turns white because of overstrain, his black pupil becomes profound. 王崎捏着笔的手因为过度用力而发白,他黑色的眸子变得幽深。 An answer takes shape. 一个答案呼之欲出。 Therefore......” “因此……” Flash when king Qi starts to write, all Yin-Yang trigrams of his within the body flicker the smashing, explosive supernatural power flash on his body puffiness. 当王崎落笔的一刹那,他体内的所有阴阳爻都瞬粉碎,爆炸性的法力一瞬间就把他的身体胀满。 However, the youngster does not have the sensation. Or his sensation arrived, has not actually paid attention. 但是,少年没有感知到。或者说他感知到了,却没有理会。 I knew! I knew! 我知道了!我知道了! He has a premonition indistinctly, thing that then must write, will be he since birth the biggest magnificence. 他隐约预感到,接下来要写的东西,将是他有生以来最大的辉煌。 Can believe, the first-order predicate calculus is complete.” “可以认为,一阶谓词演算是完备的。” In this flash, the trigram calculates that surely after the crazy revolution, the Yin-Yang trigram starts to condense in various Daxue the hole, the quantity were more than one time before! 就在这一瞬间,爻定算经疯狂的运转,阴阳爻开始在诸大穴窍重新凝聚,数量却比之前多了一倍! king Qi can ignore the condition in inspection within the body, because he had fallen into the greatest joy. 王崎顾不上检查体内的状况,因为他已经陷入了莫大的喜悦之中。 Ha haha I knew! I knew!” “哇哈哈哈我知道了!我知道了!” A finger selected two on his desk: Can first explain, what did you know?” 一根手指在他书桌上点了两下:“能不能先解释一下,你知道什么了?” king Qi sees Chen wind, is somewhat strange: Master? How did you pursue to ten thousand methods come? We reach an agreement tomorrow......!” 王崎看到辰风,有些奇怪:“东家?你怎么追到万法门来了?我们说好明天……啊!” Saying, king Qi sends out a scream unexpectedly. 说着,王崎居然发出一声尖叫。 I go to your......” a Chen wind ear pain, helpless said: You also know that you retracted from an engagement.” “我去你这……”辰风耳朵一痛,无奈道:“你也知道你爽约了啊。” king Qi covers Chen wind shoulder suddenly. The big god asked: To be honest, did I retract from an engagement for several days?” 王崎突然扣住辰风肩膀。大神发问:“说实话,我爽约几天了?” Chen wind is confused: How many days? You retracted from an engagement for day I to find here to come, perhaps your several days did not come me to change the body clothes to arrest you.” 辰风一头雾水:“几天?你爽约了一天我就找到这儿来了,你几天不来我说不定就得换身衣服来逮捕你了。” „A day?” king Qi absent-minded: Now what double-hour?” “一天?”王崎恍惚了一下:“现在什么时辰?” 7 to 9 p.m......” “戌时……” Isn't right? A day? Is this unscientific? 不对啊?才一天不到?这不科学啊? king Qi grasps in the table uppermost that rough draft- is also that he just finished, asked: This is, really I writes?” 王崎抓起桌子上最上面那一张草稿-也就是他刚刚写完的那一张,问道:“这个,真的是我写的?” Chen wind complexion changed: „Were you cultivation deviation brain are damaged?: Wants me to give you to inspect?” 辰风脸色变了:“你是不是走火入魔脑子受创了?:要不要我给你检查一下?” „Are you first told me!” king Qi the voice was even more anxious: old man you also saw, telling me is?” “你先告诉我是不是!”王崎的声音越发焦急了:“老头你也看到了,告诉我是不是?” Really clarified that the child said: Yes, truly is you are you writes.” 真阐子说道:“是的,确实是你是你写的。” Chen wind is surprised: You do not remember what have oneself written? This was you just finished.” 辰风惊疑不定:“你都不记得自己写过什么了?这是你刚刚写完的啊。” Another old man Liu Yunxiang also walked: I personally see, is you writes. Is the child, actually you writing what?” 另一个“老头”刘云祥也走了进来:“我亲眼所见,是你写的。孩子,你究竟在写什么?” king Qi as if by the draw off the whole body strength, was fallen on the ground, said: This is not realistic......” 王崎仿佛被抽去了浑身的力气,跌坐在地上,说道:“这不现实啊……” The people in entire ten thousand method stations were awakened. Everyone encircled curiously. Sees king Qi the moved appearance, the pear moon/month of previously suffering a loss is very uncomfortable: Plays tricks.” 整个万法门驻地的人都被惊醒了。所有人都好奇的围了过来。看到王崎怅然若失的样子,先前吃了个亏的梨月很是不爽:“装神弄鬼。” king Qi hit to startle suddenly: Is unfair to everyone, goes out idly one downward? I need a person to be static.” 王崎突然打了个激灵:“对不起各位,清闲出去一下行吗?我需要一个人静一静。” Liu Yunxiang wants to read king Qi the paper, but king Qi held down the paper: Is unfair to...... present this unable to see...... teacher's younger brother Liu, please go out, I really need a person to be static.” 刘云祥想看一看王崎的论文,但王崎按住了纸张:“对不起……现在这个还不能给人看……刘师叔,请您出去一下,我真的需要一个人静一静。” king Qi this saying lets ten thousand methods several disciple slightly discolorations, the pear moon/month is to get angry: „Do you dare to be impolite to teacher's younger brother Liu?” 王崎这话让万法门的几个弟子微微色变,梨月更是怒道:“你竟敢对刘师叔无礼?” Liu Yunxiang stopped the accusations of ten thousand method disciples, said: We go out to wait.” 刘云祥制止了万法门弟子的指责,说道:“我们还是出去等一等吧。” Chen wind arrives at outside together with ten thousand method disciples. Regarding king Zaki's unusual condition, everyone discusses spiritedly. 辰风连同一阵万法门弟子来到外面。对于王崎的异状,所有人都议论纷纷。 don't really really sighed: Originally in the middle of the legend, the talent writes the rumor that the paper can rise real.” 莫真真感叹道:“原来传说当中,天才写论文就能一路升上去的传言是真的。” The surrounding person's sigh envies. 周围人的感叹略带羡慕。 „Is, originally Senior Brother king unexpectedly is......” “就是就是,原来王师兄居然是……” He definitely was not the entrance door disciple......” “他肯定不是外门弟子了吧……” Hears the surrounding discussion, to have fallen the pear moon/month of broken watch snort/hum to say to king Qi the good sensitivity: Writes the paper to rise to cultivate/repair has for this matter, but is not simple. Reason that cultivates for will grow, that is the process that because ponders drove the soul, so long as you really pondered, the thing that even if ponders is wrong can still grow cultivates is.” 听到周围的议论,对王崎好感度已经跌破表的梨月哼道:“写论文涨修为这件事是有,可也没那么简单。修为之所以会增长,那是因为思考的过程带动了魂魄,只要你真的思考了,就算思考的东西是错的也可以增长修为。” Some person of curious asking: How does that conclusion have the mistake to be able?” 有人好奇的问道:“那结论有错会怎么样?” Huangfu Lianchen sound said: Will deviate executes, if insisted that wrong will even be difficult to change. In the general situation easily do not probe.” 皇甫涟沉声道:“会偏离正法,若是坚持错误甚至会积重难返。一般的情况下也不要轻易试探。” Has relates the quite close disciple to inquire Liu Yunxiang with king Qi intensely: Teacher's younger brother, should the Senior Brother king conclusion not have the mistake?” 有与王崎关系比较密切的弟子紧张的询问刘云祥:“师叔,王师兄的结论应该不会有错吧?” Shaking the head of Liu Yunxiang full correct/however: This...... don't I know?” 刘云祥满然的摇了摇头:“这个……我不知道啊?” This conclusion is correct, regarding this king Qi is confident. 这个结论非常正确,对此王崎非常有信心。 Because, this conclusion is not he himself obtains, but is a conclusion of Earth mathematician. 因为,这个结论并不是他自己得出的,而是地球一位数学家的结论。 Goodall completeness theorem. 哥德尔完备性定理。 Compared with the Goodall incompleteness theorem, this theorem is not quite famous. It came from in Kurt Godel's postgraduate candidate paper. It proved in formal system, first-order calculates that the word is complete, in the first-order logic calculation all effective formulas can prove logically. 与哥德尔不完备性定理比起来,这个定理不大出名。它源自于库尔特・哥德尔的博士生论文。它证明了在形式系统当中,一阶算词是完备的,一阶逻辑演算中所有逻辑上有效的公式都是可以证明的。 However, the first-order predicate calculus is an ability quite weak mathematical system, if applies it, the natural number could not define continually, let alone arithmetic. 但是,一阶谓词演算是一种能力比较弱的数学系统,如果只是应用它的话,连自然数都定义不了,就更别说算术。 Regarding the Hilbert's program, the Goodall complete theorem is a major breakthrough, but is far from incomplete theorem such effect of giving the final word. Moreover the complete theorem also along Hilbert's mentality, walked one step in Von Neumann's foundation, rather than talent span like the incomplete theorem. 对于希尔伯特计划,哥德尔完备定理是一个重大突破,但是远没有不完备定理那样一锤定音的效果。而且完备定理也只是沿着希尔伯特的思路,在冯诺依曼的基础上又走了一步,而不是像不完备定理那样属于天才般的跨越。 However...... 但是…… This also really unscientific speed.” king Qi muttered. “这还真是不科学的速度啊。”王崎喃喃自语。 To Goodall this god progression scientist, this paper perhaps is only a postgraduate candidate paper, but the world's most mathematicians cannot write such paper. 对于哥德尔这种神级数学家来说,这篇论文或许只是一篇博士生论文,但世界上大多数数学家都写不出这样的论文。 Or generally the mathematicians not necessarily can understand. 或者说,一般数学家都未必看得懂。 Although I know the approximate mentality, knew the conclusion ahead of time, but...... did my day push unexpectedly?” “虽然我知道大致思路,也提前知道了结论,但是……我居然一天就推出来了?” king Qimeng. 王崎懵了。 Knows that the approximate mentality and conclusion did not represent absolutely do not have the difficulty. This is equivalent to everyone to a recent map treasure hunt, the average person does not know the buried treasure, king Qi knows to have from the beginning, moreover saw a route indicator. 知道大致思路和结论不代表完全没有难度了。这就相当于大家到一个新地图寻宝,普通人不知道有没有宝藏,王崎一开始就知道有,而且看到了一个指路牌。 However the concrete road needs he himself to look 但是具体的路还是需要他自己找 He most starts even not to think that must push in one vigorous effort the Goodall complete theorem, but looked for an arithmetic system special subsystem to prove along Von Neumann's mentality again on the line. 他最开始甚至没想到要一鼓作气把哥德尔完备定理推出来,而是沿着冯诺依曼的思路再找一个算术系统特殊的子系统论证一下就行了。 „Is my level so high?” “我水平有这么高?”
To display comments and comment, click at the button