退出閱讀

走進修仙

作者:吾道長不孤
走進修仙 手機閱讀請點擊或掃描二維碼
手機閱讀請點擊或掃描二維碼
0%
第三卷 神京青年/神京愛情故事? 第七十三章 哥德爾完備定理

第三卷 神京青年/神京愛情故事?

第七十三章 哥德爾完備定理

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