第七十三章 哥德爾完備定理【加更四】(2 / 2)

走進修仙 吾道長不孤 1027 字 2020-09-04

另一個「老頭」劉雲祥也走了進來:「我親眼所見,是你寫的。孩子,你究竟在寫什么?」

王崎仿佛被抽去了渾身的力氣,跌坐在地上,說道:「這不現實啊……」

整個萬法門駐地的人都被驚醒了。所有人都好奇的圍了過來。看到王崎悵然若失的樣子,先前吃了個虧的梨月很是不爽:「裝神弄鬼。」

王崎突然打了個激靈:「對不起各位,清閑出去一下行嗎?我需要一個人靜一靜。」

劉雲祥想看一看王崎的論文,但王崎按住了紙張:「對不起……現在這個還不能給人看……劉師叔,請您出去一下,我真的需要一個人靜一靜。」

王崎這話讓萬法門的幾個弟子微微色變,梨月更是怒道:「你竟敢對劉師叔無禮?」

劉雲祥制止了萬法門弟子的指責,說道:「我們還是出去等一等吧。」

辰風連同一陣萬法門弟子來到外面。對於王崎的異狀,所有人都議論紛紛。

莫真真感嘆道:「原來傳說當中,天才寫論文就能一路升上去的傳言是真的。」

周圍人的感嘆略帶羨慕。

「就是就是,原來王師兄居然是……」

「他肯定不是外門弟子了吧……」

聽到周圍的議論,對王崎好感度已經跌破表的梨月哼道:「寫論文漲修為這件事是有,可也沒那么簡單。修為之所以會增長,那是因為思考的過程帶動了魂魄,只要你真的思考了,就算思考的東西是錯的也可以增長修為。」

有人好奇的問道:「那結論有錯會怎么樣?」

皇甫漣沉聲道:「會偏離正法,若是堅持錯誤甚至會積重難返。一般的情況下也不要輕易試探。」

有與王崎關系比較密切的弟子緊張的詢問劉雲祥:「師叔,王師兄的結論應該不會有錯吧?」

劉雲祥滿然的搖了搖頭:「這個……我不知道啊?」

這個結論非常正確,對此王崎非常有信心。

因為,這個結論並不是他自己得出的,而是地球一位數學家的結論。

哥德爾完備性定理。

與哥德爾不完備性定理比起來,這個定理不大出名。它源自於庫爾特·哥德爾的博士生論文。它證明了在形式系統當中,一階算詞是完備的,一階邏輯演算中所有邏輯上有效的公式都是可以證明的。

但是,一階謂詞演算是一種能力比較弱的數學系統,如果只是應用它的話,連自然數都定義不了,就更別說算術。

對於希爾伯特計劃,哥德爾完備定理是一個重大突破,但是遠沒有不完備定理那樣一錘定音的效果。而且完備定理也只是沿著希爾伯特的思路,在馮諾依曼的基礎上又走了一步,而不是像不完備定理那樣屬於天才般的跨越。

但是……

「這還真是不科學的速度啊。」王崎喃喃自語。

對於哥德爾這種神級數學家來說,這篇論文或許只是一篇博士生論文,但世界上大多數數學家都寫不出這樣的論文。

或者說,一般數學家都未必看得懂。

「雖然我知道大致思路,也提前知道了結論,但是……我居然一天就推出來了?」

王崎懵了。

知道大致思路和結論不代表完全沒有難度了。這就相當於大家到一個新地圖尋寶,普通人不知道有沒有寶藏,王崎一開始就知道有,而且看到了一個指路牌。

但是具體的路還是需要他自己找

他最開始甚至沒想到要一鼓作氣把哥德爾完備定理推出來,而是沿著馮諾依曼的思路再找一個算術系統特殊的子系統論證一下就行了。

「我水平有這么高?」