第(3/3)頁

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

    有人好奇的問道：“那結論有錯會怎么樣？”

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

    有與王崎關系比較密切的弟子緊張的詢問劉云祥：“師叔，王師兄的結論應該不會有錯吧？”

    劉云祥滿然的搖了搖頭：“這個……我不知道啊？”

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

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

    哥德爾完備性定理。

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

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

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

    但是……

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

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

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

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

    王崎懵了。

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

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

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

    “我水平有這么高？”


    第(3/3)頁