WaskingQi the brokenboundaryto start.
属于王崎的破境开始了。„Regardingsimplestpredicate logic of first-order......”
“对于最简单的一阶谓词逻辑而言……”
The supernatural power of kingQiwhole bodyas ifinduced the forthcomingbreakthrough, moved restlesslyall.
王崎全身的法力仿佛都感应到了即将到来的突破,尽数躁动起来。
The holeholeswere broken, the newYin-Yangtrigramproducesin the batch.
一个又一个穴窍被冲开,新的阴阳爻在批量生成。„Carries on the logical calculus......”
“进行逻辑演算……”WhenkingQiwrites downthese words, hiswithin the bodyallYin-Yangtrigramsstart the running at full capacity.
当王崎写下这一句话的时候,他体内所有阴阳爻都开始满负荷运转。„...... Canprovealllogicallyeffectiveformulas......”
“……可以证明所有逻辑上有效的公式……”
The hand that kingQiniesets pen to paperturns whitebecause ofoverstrain, hisblackpupilbecomesprofound.
王崎捏着笔的手因为过度用力而发白,他黑色的眸子变得幽深。
An answertakes shape.
一个答案呼之欲出。„Therefore......”
“因此……”Flash when kingQistarts to write, all Yin-Yangtrigrams of hiswithin the bodyflicker the smashing, explosivesupernatural powerflashonhisbodypuffiness.
当王崎落笔的一刹那,他体内的所有阴阳爻都瞬粉碎,爆炸性的法力一瞬间就把他的身体胀满。However, the youngsterdoes not have the sensation. Orhissensationarrived, has not actually paid attention.
但是,少年没有感知到。或者说他感知到了,却没有理会。Iknew! Iknew!
我知道了!我知道了!Hehas a premonitionindistinctly, thing that thenmustwrite, will behesince birth the biggestmagnificence.
他隐约预感到,接下来要写的东西,将是他有生以来最大的辉煌。„Canbelieve, the first-order predicate calculusis complete.”
“可以认为,一阶谓词演算是完备的。”Inthisflash, the trigramcalculates that surelyafter the crazyrevolution, the Yin-Yangtrigramstartsto condenseinvariousDaxue the hole, the quantitywere more than onetimebefore!
就在这一瞬间,爻定算经疯狂的运转,阴阳爻开始在诸大穴窍重新凝聚,数量却比之前多了一倍!kingQican ignore the condition in inspectionwithin the body, becausehehad fallen into the greatestjoy.
王崎顾不上检查体内的状况,因为他已经陷入了莫大的喜悦之中。„HahahaIknew! Iknew!”
“哇哈哈哈我知道了!我知道了!”
A fingerselectedtwoonhisdesk: „Canfirstexplain, what did youknow?”
一根手指在他书桌上点了两下:“能不能先解释一下,你知道什么了?”kingQiseesChenwind, is somewhat strange: „Master? How did youpursuetoten thousandmethodscome? Wereach an agreementtomorrow......!”
王崎看到辰风,有些奇怪:“东家?你怎么追到万法门来了?我们说好明天……啊!”Saying, kingQisends out a screamunexpectedly.
说着,王崎居然发出一声尖叫。„Igo to your......” a Chenwindearpain, helplesssaid: „Youalsoknow that youretracted from an engagement.”
“我去你这……”辰风耳朵一痛,无奈道:“你也知道你爽约了啊。”kingQicoversChenwindshouldersuddenly. The biggodasked: „To be honest, did Iretract from an engagement for severaldays?”
王崎突然扣住辰风肩膀。大神发问:“说实话,我爽约几天了?”Chenwindis confused: „How manydays? Youretracted from an engagement for dayIto findhereto come, perhapsyourseveraldaysdid not comeme to change the bodyclothesto arrestyou.”
辰风一头雾水:“几天?你爽约了一天我就找到这儿来了,你几天不来我说不定就得换身衣服来逮捕你了。”„A day?”kingQiabsent-minded: „Nowwhatdouble-hour?”
“一天?”王崎恍惚了一下:“现在什么时辰?”„7 to 9 p.m......”
“戌时……”Isn't right? A day? Is thisunscientific?
不对啊?才一天不到?这不科学啊?kingQigraspsin the tableuppermostthatrough draft- is also that hejustfinished, asked: „This is, reallyIwrites?”
王崎抓起桌子上最上面那一张草稿-也就是他刚刚写完的那一张,问道:“这个,真的是我写的?”Chenwindcomplexionchanged: „Were you cultivation deviationbrainare damaged?: Wantsmeto giveyouto inspect?”
辰风脸色变了:“你是不是走火入魔脑子受创了?:要不要我给你检查一下?”„Are youfirsttoldme!”kingQi the voicewas even more anxious: „old manyoualsosaw, tellingmeis?”
“你先告诉我是不是!”王崎的声音越发焦急了:“老头你也看到了,告诉我是不是?”Reallyclarified that the childsaid: „Yes, trulyis you are youwrites.”
真阐子说道:“是的,确实是你是你写的。”Chenwindis surprised: „Youdo not rememberwhat have oneselfwritten? Thiswasyoujustfinished.”
辰风惊疑不定:“你都不记得自己写过什么了?这是你刚刚写完的啊。”Another„old man”Liu Yunxiangalsowalked: „Ipersonallysee, isyouwrites. Is the child, actuallyyouwritingwhat?”
另一个“老头”刘云祥也走了进来:“我亲眼所见,是你写的。孩子,你究竟在写什么?”kingQias ifby the draw off the whole bodystrength, was fallenon the ground, said: „Thisis not realistic......”
王崎仿佛被抽去了浑身的力气,跌坐在地上,说道:“这不现实啊……”
The people in entireten thousandmethodstationswere awakened. Everyoneencircledcuriously. SeeskingQi the movedappearance, the pearmoon/month of previouslysuffering a lossis very uncomfortable: „Plays tricks.”
整个万法门驻地的人都被惊醒了。所有人都好奇的围了过来。看到王崎怅然若失的样子,先前吃了个亏的梨月很是不爽:“装神弄鬼。”kingQihitto startlesuddenly: „Is unfair toeveryone, goes outidlyonedownward? Ineed a personto be static.”
王崎突然打了个激灵:“对不起各位,清闲出去一下行吗?我需要一个人静一静。”Liu Yunxiangwantsto readkingQi the paper, butkingQiheld down the paper: „Is unfair to...... presentthis unable to see...... teacher's younger brotherLiu, pleasego out, Ireallyneed a personto be static.”
刘云祥想看一看王崎的论文,但王崎按住了纸张:“对不起……现在这个还不能给人看……刘师叔,请您出去一下,我真的需要一个人静一静。”kingQithissayingletsten thousandmethodsseveraldiscipleslightlydiscolorations, the pearmoon/monthisto get angry: „Do youdareto be impolitetoteacher's younger brotherLiu?”
王崎这话让万法门的几个弟子微微色变,梨月更是怒道:“你竟敢对刘师叔无礼?”Liu Yunxiangstopped the accusations of ten thousandmethoddisciples, said: „Wego outto wait.”
刘云祥制止了万法门弟子的指责,说道:“我们还是出去等一等吧。”Chenwindarrives atoutsidetogether withten thousandmethoddisciples. RegardingkingZaki'sunusual condition, everyonediscusses spiritedly.
辰风连同一阵万法门弟子来到外面。对于王崎的异状,所有人都议论纷纷。don'treallyreallysighed: „Originallyin the middle of the legend, the talentwrites the rumor that the papercanrisereal.”
莫真真感叹道:“原来传说当中,天才写论文就能一路升上去的传言是真的。”
The surroundingperson'ssighenvies.
周围人的感叹略带羡慕。„Is, originallySenior Brotherkingunexpectedlyis......”
“就是就是,原来王师兄居然是……”„Hedefinitelywas not the entrance doordisciple......”
“他肯定不是外门弟子了吧……”Hears the surroundingdiscussion, to have fallen the pearmoon/month of broken watchsnort/humto saytokingQi the goodsensitivity: „Writes the paperto riseto cultivate/repairhasforthismatter, butis not simple. Reason thatcultivatesforwill grow, thatis the process that becausepondersdrove the soul, so long asyoureallypondered, the thing that even ifpondersiswrong can still growcultivatesis.”
听到周围的议论,对王崎好感度已经跌破表的梨月哼道:“写论文涨修为这件事是有,可也没那么简单。修为之所以会增长,那是因为思考的过程带动了魂魄,只要你真的思考了,就算思考的东西是错的也可以增长修为。”Someperson of curiousasking: „How does thatconclusionhave the mistaketo be able?”
有人好奇的问道:“那结论有错会怎么样?”HuangfuLianchensound said: „Will deviateexecutes, ifinsisted that wrongwill even be difficult to change. In the generalsituationeasilydo not probe.”
皇甫涟沉声道:“会偏离正法,若是坚持错误甚至会积重难返。一般的情况下也不要轻易试探。”Hasrelates the quiteclosediscipleto inquireLiu YunxiangwithkingQiintensely: „Teacher's younger brother, should the Senior Brotherkingconclusionnot have the mistake?”
有与王崎关系比较密切的弟子紧张的询问刘云祥:“师叔,王师兄的结论应该不会有错吧?”Shaking the head of Liu Yunxiangfullcorrect/however: „This...... don't Iknow?”
刘云祥满然的摇了摇头:“这个……我不知道啊?”Thisconclusionis correct, regarding thiskingQiis confident.
这个结论非常正确,对此王崎非常有信心。Because, thisconclusionis nothe himselfobtains, butis a conclusion of Earthmathematician.
因为,这个结论并不是他自己得出的,而是地球一位数学家的结论。Goodallcompleteness theorem.
哥德尔完备性定理。
Compared with the Goodallincompletenesstheorem, thistheoremis not quite famous. It came from inKurt Godel'spostgraduate candidatepaper. Itprovedinformal system, first-ordercalculates that the wordis complete, in the first-order logiccalculationalleffectiveformulascanprovelogically.
与哥德尔不完备性定理比起来,这个定理不大出名。它源自于库尔特・哥德尔的博士生论文。它证明了在形式系统当中,一阶算词是完备的,一阶逻辑演算中所有逻辑上有效的公式都是可以证明的。However, the first-order predicate calculusis an abilityquiteweakmathematical system, ifappliesit, the natural numbercould not definecontinually, let alonearithmetic.
但是,一阶谓词演算是一种能力比较弱的数学系统,如果只是应用它的话,连自然数都定义不了,就更别说算术。Regarding the Hilbert's program, the Goodallcompletetheoremis a major breakthrough, butis far fromincompletetheorem such effect of giving the final word. Moreover the completetheoremalsoalongHilbert'smentality, walkedonestepinVon Neumann'sfoundation, rather than talentspanlike the incompletetheorem.
对于希尔伯特计划,哥德尔完备定理是一个重大突破,但是远没有不完备定理那样一锤定音的效果。而且完备定理也只是沿着希尔伯特的思路,在冯诺依曼的基础上又走了一步,而不是像不完备定理那样属于天才般的跨越。However......
但是……„Thisalsoreallyunscientificspeed.”kingQimuttered.
“这还真是不科学的速度啊。”王崎喃喃自语。ToGoodallthisgodprogressionscientist, thispaperperhapsis only a postgraduate candidatepaper, but the world's most mathematicianscannot writesuchpaper.
对于哥德尔这种神级数学家来说,这篇论文或许只是一篇博士生论文,但世界上大多数数学家都写不出这样的论文。Orgenerally the mathematiciansnot necessarilycan understand.
或者说,一般数学家都未必看得懂。„AlthoughIknow the approximatementality, knew the conclusionahead of time, but...... did mydaypushunexpectedly?”
“虽然我知道大致思路,也提前知道了结论,但是……我居然一天就推出来了?”kingQimeng.
王崎懵了。Knows that the approximatementality and conclusiondid not representabsolutelydo not have the difficulty. Thisis equivalent toeveryoneto a recentmaptreasure hunt, the average persondoes not know the buried treasure, kingQiknowsto havefrom the beginning, moreoversaw a route indicator.
知道大致思路和结论不代表完全没有难度了。这就相当于大家到一个新地图寻宝,普通人不知道有没有宝藏,王崎一开始就知道有,而且看到了一个指路牌。However the concreteroadneedshe himselfto look
但是具体的路还是需要他自己找Hemoststartsevennot to think that mustpushin one vigorous effort the Goodallcompletetheorem, butlooked for an arithmeticsystemspecialsubsystemto provealongVon Neumann'smentalityagainon the line.
他最开始甚至没想到要一鼓作气把哥德尔完备定理推出来,而是沿着冯诺依曼的思路再找一个算术系统特殊的子系统论证一下就行了。„Is mylevelso high?”
“我水平有这么高?”
To display comments and comment, click at the button
Comments for Chapter #73: Goodall complete theorem 【in addition four】