屬于王崎的破境開始了。
“對于最簡單的一階謂詞邏輯而言……”
王崎全身的法力仿佛都感應到了即將到來的突破,盡數躁動起來。
一個又一個穴竅被沖開,新的陰陽爻在批量生成。
“進行邏輯演算……”
當王崎寫下這一句話的時候,他體內所有陰陽爻都開始滿負荷運轉。
“……可以證明所有邏輯上有效的公式……”
王崎捏著筆的手因為過度用力而發白,他黑色的眸子變得幽深。
一個答案呼之欲出。
“因此……”
當王崎落筆的一剎那,他體內的所有陰陽爻都瞬粉碎,爆炸性的法力一瞬間就把他的身體脹滿。
但是,少年沒有感知到。或者說他感知到了,卻沒有理會。
我知道了!我知道了!
他隱約預感到,接下來要寫的東西,將是他有生以來最大的輝煌。
“可以認為,一階謂詞演算是完備的。”
就在這一瞬間,爻定算經瘋狂的運轉,陰陽爻開始在諸大穴竅重新凝聚,數量卻比之前多了一倍!
王崎顧不上檢查體內的狀況,因為他已經陷入了莫大的喜悅之中。
“哇哈哈哈我知道了!我知道了!”
一根手指在他書桌上點了兩下:“能不能先解釋一下,你知道什么了?”
王崎看到辰風,有些奇怪:“東家?你怎么追到萬法門來了?我們說好明天……啊!”
說著,王崎居然發出一聲尖叫。
“我去你這……”辰風耳朵一痛,無奈道:“你也知道你爽約了啊。”
王崎突然扣住辰風肩膀。大神發問:“說實話,我爽約幾天了?”
辰風一頭霧水:“幾天?你爽約了一天我就找到這兒來了,你幾天不來我說不定就得換身衣服來逮捕你了。”
“一天?”王崎恍惚了一下:“現在什么時辰?”
“戌時……”
不對啊?才一天不到?這不科學啊?
王崎抓起桌子上最上面那一張草稿——也就是他剛剛寫完的那一張,問道:“這個,真的是我寫的?”
辰風臉色變了:“你是不是走火入魔腦子受創了?:要不要我給你檢查一下?”
“你先告訴我是不是!”王崎的聲音越發焦急了:“老頭你也看到了,告訴我是不是?”
真闡子說道:“是的,確實是你是你寫的。”
辰風驚疑不定:“你都不記得自己寫過什么了?這是你剛剛寫完的啊。”
另一個“老頭”劉云祥也走了進來:“我親眼所見,是你寫的。孩子,你究竟在寫什么?”
王崎仿佛被抽去了渾身的力氣,跌坐在地上,說道:“這不現實啊……”
整個萬法門駐地的人都被驚醒了。所有人都好奇的圍了過來。看到王崎悵然若失的樣子,先前吃了個虧的梨月很是不爽:“裝神弄鬼。”
王崎突然打了個激靈:“對不起各位,清閑出去一下行嗎?我需要一個人靜一靜。”
劉云祥想看一看王崎的論文,但王崎按住了紙張:“對不起……現在這個還不能給人看……劉師叔,請您出去一下,我真的需要一個人靜一靜。”
王崎這話讓萬法門的幾個弟子微微色變,梨月更是怒道:“你竟敢對劉師叔無禮?”
劉云祥制止了萬法門弟子的指責,說道:“我們還是出去等一等吧。”
辰風連同一陣萬法門弟子來到外面。對于王崎的異狀,所有人都議論紛紛。
莫真真感嘆道:“原來傳說當中,天才寫論文就能一路升上去的傳言是真的。”
周圍人的感嘆略帶羨慕。
“就是就是,原來王師兄居然是……”
“他肯定不是外門弟子了吧……”
聽到周圍的議論,對王崎好感度已經跌破表的梨月哼道:“寫論文漲修為這件事是有,可也沒那么簡單。修為之所以會增長,那是因為思考的過程帶動了魂魄,只要你真的思考了,就算思考的東西是錯的也可以增長修為。”
有人好奇的問道:“那結論有錯會怎么樣?”
皇甫漣沉聲道:“會偏離正法,若是堅持錯誤甚至會積重難返。一般的情況下也不要輕易試探。”
有與王崎關系比較密切的弟子緊張的詢問劉云祥:“師叔,王師兄的結論應該不會有錯吧?”
劉云祥滿然的搖了搖頭:“這個……我不知道啊?”
這個結論非常正確,對此王崎非常有信心。
因為,這個結論并不是他自己得出的,而是地球一位數學家的結論。
哥德爾完備性定理。
與哥德爾不完備性定理比起來,這個定理不大出名。它源自于庫爾特·哥德爾的博士生論文。它證明了在形式系統當中,一階算詞是完備的,一階邏輯演算中所有邏輯上有效的公式都是可以證明的。
但是,一階謂詞演算是一種能力比較弱的數學系統,如果只是應用它的話,連自然數都定義不了,就更別說算術。
對于希爾伯特計劃,哥德爾完備定理是一個重大突破,但是遠沒有不完備定理那樣一錘定音的效果。而且完備定理也只是沿著希爾伯特的思路,在馮諾依曼的基礎上又走了一步,而不是像不完備定理那樣屬于天才般的跨越。
但是……
“這還真是不科學的速度啊。”王崎喃喃自語。
對于哥德爾這種神級數學家來說,這篇論文或許只是一篇博士生論文,但世界上大多數數學家都寫不出這樣的論文。
或者說,一般數學家都未必看得懂。
“雖然我知道大致思路,也提前知道了結論,但是……我居然一天就推出來了?”
王崎懵了。
知道大致思路和結論不代表完全沒有難度了。這就相當于大家到一個新地圖尋寶,普通人不知道有沒有寶藏,王崎一開始就知道有,而且看到了一個指路牌。
但是具體的路還是需要他自己找
他最開始甚至沒想到要一鼓作氣把哥德爾完備定理推出來,而是沿著馮諾依曼的思路再找一個算術系統特殊的子系統論證一下就行了。
“我水平有這么高?”