第73章 哥德爾完備定理

屬於王崎的破境開始了。

“對於最簡單的一階謂詞邏輯而言……”

王崎全身的法力彷彿都感應到了即將到來的突破,盡數躁動起來。

一個又一個穴竅被衝開,新的陰陽爻在批量生成。

“進行邏輯演算……”

當王崎寫下這一句話的時候,他體內所有陰陽爻都開始滿負荷運轉。

“……可以證明所有邏輯上有效的公式……”

王崎捏着筆的手因爲過度用力而發白,他黑色的眸子變得幽深。

一個答案呼之欲出。

“因此……”

當王崎落筆的一剎那,他體內的所有陰陽爻都瞬粉碎,爆炸性的法力一瞬間就把他的身體脹滿。

但是,少年沒有感知到。或者說他感知到了,卻沒有理會。

我知道了!我知道了!

他隱約預感到,接下來要寫的東西,將是他有生以來最大的輝煌。

“可以認爲,一階謂詞演算是完備的。”

就在這一瞬間,爻定算經瘋狂的運轉,陰陽爻開始在諸大穴竅重新凝聚,數量卻比之前多了一倍!

王崎顧不上檢查體內的狀況,因爲他已經陷入了莫大的喜悅之中。

“哇哈哈哈我知道了!我知道了!”

一根手指在他書桌上點了兩下:“能不能先解釋一下,你知道什麼了?”

王崎看到辰風,有些奇怪:“東家?你怎麼追到萬法門來了?我們說好明天……啊!”

說着,王崎居然發出一聲尖叫。

“我去你這……”辰風耳朵一痛,無奈道:“你也知道你爽約了啊。”

王崎突然扣住辰風肩膀。大神發問:“說實話,我爽約幾天了?”

辰風一頭霧水:“幾天?你爽約了一天我就找到這兒來了,你幾天不來我說不定就得換身衣服來逮捕你了。”

“一天?”王崎恍惚了一下:“現在什麼時辰?”

“戌時……”

不對啊?才一天不到?這不科學啊?

王崎抓起桌子上最上面那一張草稿——也就是他剛剛寫完的那一張,問道:“這個,真的是我寫的?”

辰風臉色變了:“你是不是走火入魔腦子受創了?:要不要我給你檢查一下?”

“你先告訴我是不是!”王崎的聲音越發焦急了:“老頭你也看到了,告訴我是不是?”

真闡子說道:“是的,確實是你是你寫的。”

辰風驚疑不定:“你都不記得自己寫過什麼了?這是你剛剛寫完的啊。”

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

王崎彷彿被抽去了渾身的力氣,跌坐在地上,說道:“這不現實啊……”

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

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

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

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

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

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

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

周圍人的感嘆略帶羨慕。

“就是就是,原來王師兄居然是……”

“他肯定不是外門弟子了吧……”

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

有人好奇的問道:“那結論有錯會怎麼樣?”

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

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

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

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

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

哥德爾完備性定理。

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

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

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

但是……

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

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

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

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

王崎懵了。

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

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

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

“我水平有這麼高?”

第二百六十五章 4.5階功法,拉古斯玄宇宙第一百一十一章 混亂【七】第114章 對撞機部件第91章 這纔像你啊第262章 詭異的道德觀第三十八章 毓族權力第139章 機械與生命與智慧第260章 非線性法,結丹之法第90章 星海彼端第377章 兇險第134章 不是第一次的感覺第338章 繼承者第336章 爲何而戰第231章 謝幕之前第三十四章 文道世界第47章 衝擊第106章 某寶的雛形第二百五十三章 回頭太難第50章 再回神京第一百章 腐化世界 其二十八第229章 “大道之音”(上)第251章 後續,疑點第47章 大長老第79章 馬賽克斬!第141章 疑惑,接觸第101章 元嬰法,玄子經第115章 成本問題第189章 這個宇宙充滿了……第21章 這個時候只要微笑就好了第八十四章 腐化世界 其十二第168章 交接第二百一十四章 化靈教第23章 水電煤氣?第40章 死亡第二百零九章 難得閉個關第275章 白蛇,新技術第61章 可不能讓他走了,他……第8章 通天第六十四章 搬遷第198章 寧得歸一,莫遇飄渺第110章 直面第273章 來吧,王崎神父!第192章 出發第9章 少年意氣,以及蠢蠢欲動的惡搞之魂第二百五十六章 民俗表演?第六十八章 範疇論【第三更】第一百零一章 腐化世界 其二十九第二十三章第290章 坦陳第215章 背刺第二十六章第25章 嘲諷第二百九十六章 不存在的過去第42章 羣島求生第十八章 與龍皇的交談【上】第三百一十五章 霓虹與天人大聖第105章 人族力量,在於未來第二百五十三章 回頭太難第55章 私活第七十章 宇宙怪獸?第二百七十三章 終焉使者的初心第34章 裂谷第223章 沒錯,我就是鐵打的漢子!第206章 弄斧第一百四十四章 真正的底牌第243章 破關第301章 血煉,仙神,元嬰第一百二十五章 機緣與主角命第30章 科研人的事,能叫猥褻嗎?第225章 成了第1章 五月鳴蜩第八十九章 萬法門亂象【第二更】第134章 西疆重逢第601章 制裁錘音第600章 敗者的結局第331章 天人遺禍第29章 實名制還怎麼玩第178章 出籠的神獸第448章 古神第309章 非理性博弈第一百一十九章 分身之戰第217章 單行線第190章 生命與物理第298章 蠢貨梅歌牧第二百七十七章 出大事了第二十八章第一百七十六章 冰與火之民第147章 年關第406章 王崎的新腦第25章 五絕出品的精品逗比第386章 浮士德第25章 附身第245章 高靈大滅絕第219章 準備與啓動第11章 繩結第50章 流放地、養老城、宗外駐地第188章 劫神瘟第124章 奉旨裝逼!?第381章 許願機的開箱測試第9章 交流
第二百六十五章 4.5階功法,拉古斯玄宇宙第一百一十一章 混亂【七】第114章 對撞機部件第91章 這纔像你啊第262章 詭異的道德觀第三十八章 毓族權力第139章 機械與生命與智慧第260章 非線性法,結丹之法第90章 星海彼端第377章 兇險第134章 不是第一次的感覺第338章 繼承者第336章 爲何而戰第231章 謝幕之前第三十四章 文道世界第47章 衝擊第106章 某寶的雛形第二百五十三章 回頭太難第50章 再回神京第一百章 腐化世界 其二十八第229章 “大道之音”(上)第251章 後續,疑點第47章 大長老第79章 馬賽克斬!第141章 疑惑,接觸第101章 元嬰法,玄子經第115章 成本問題第189章 這個宇宙充滿了……第21章 這個時候只要微笑就好了第八十四章 腐化世界 其十二第168章 交接第二百一十四章 化靈教第23章 水電煤氣?第40章 死亡第二百零九章 難得閉個關第275章 白蛇,新技術第61章 可不能讓他走了,他……第8章 通天第六十四章 搬遷第198章 寧得歸一,莫遇飄渺第110章 直面第273章 來吧,王崎神父!第192章 出發第9章 少年意氣,以及蠢蠢欲動的惡搞之魂第二百五十六章 民俗表演?第六十八章 範疇論【第三更】第一百零一章 腐化世界 其二十九第二十三章第290章 坦陳第215章 背刺第二十六章第25章 嘲諷第二百九十六章 不存在的過去第42章 羣島求生第十八章 與龍皇的交談【上】第三百一十五章 霓虹與天人大聖第105章 人族力量,在於未來第二百五十三章 回頭太難第55章 私活第七十章 宇宙怪獸?第二百七十三章 終焉使者的初心第34章 裂谷第223章 沒錯,我就是鐵打的漢子!第206章 弄斧第一百四十四章 真正的底牌第243章 破關第301章 血煉,仙神,元嬰第一百二十五章 機緣與主角命第30章 科研人的事,能叫猥褻嗎?第225章 成了第1章 五月鳴蜩第八十九章 萬法門亂象【第二更】第134章 西疆重逢第601章 制裁錘音第600章 敗者的結局第331章 天人遺禍第29章 實名制還怎麼玩第178章 出籠的神獸第448章 古神第309章 非理性博弈第一百一十九章 分身之戰第217章 單行線第190章 生命與物理第298章 蠢貨梅歌牧第二百七十七章 出大事了第二十八章第一百七十六章 冰與火之民第147章 年關第406章 王崎的新腦第25章 五絕出品的精品逗比第386章 浮士德第25章 附身第245章 高靈大滅絕第219章 準備與啓動第11章 繩結第50章 流放地、養老城、宗外駐地第188章 劫神瘟第124章 奉旨裝逼!?第381章 許願機的開箱測試第9章 交流