第132部分(第3/5 頁)

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

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

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

但是……

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

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

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

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

王崎懵了。

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

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

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

“我水平有這麼高？”

第七十四章　斷裂的金色對角線

“我水平有這麼高？”

這個念頭一出現就被王崎深深拍死。

自己上輩子幾斤幾兩自己很清楚。

這是真正的世界級成果。若是用地球的評價標準來看，這就是登上世界第一的數學期刊《數學年鑑》都綽綽有餘的論文，能不能拿下菲爾茨獎說不好，但是絕對足夠一個數學家吃一輩子。

“我用了多久，一天？”

王崎覺得有些荒謬。

“不可能吧……”

從對算術系統子系統的探究到哥德爾完備性定理的證明。

“啊哈哈……對了，我這輩子的計算能力是上輩子的好幾倍，思維敏捷，所以寫得快。”

王崎乾笑兩聲，給自己找理由。

人的思維能力受限於大腦的速度，就像程式的執行速度受限於硬體一般。提升了計算能力就相當於加了智商。

只是王崎自己也清楚，思維速度不是全部。提高硬體是可以提升之力，但這種提升是有限的。Windows的系統裝在比普通計算機強幾萬倍的超級計算機上，速度最多就是普通計算機的一兩倍，沒可能達到萬倍的效果。Windows的極限就在這兒了，它沒辦法利用這麼龐大的計算力。

也就是說，王崎自己的思維運用得起自己的計算能力。

“我真的變強了？”

“我真的變強了！”

再三確認之後，王崎終於確認，自己的水平比上輩子要高。

高很多。

“有一個聰明的腦袋瓜就是不一樣。”王崎拍了拍自己的額頭。

上輩子十多年的積累，今生的修為、今生的苦讀融匯到一起之後，絕不是一加一等於二那麼簡單。

“嗚呼呼呼呼……”王崎壓抑著狂笑的衝動，肩膀一聳一聳的。但最後，他還是忍不住放聲大笑！

真闡子終於出聲問道：“你究竟做出了什麼？”

“只可惜我還是練氣期來著。”王崎用不無遺憾的語氣說道：“要是金丹期再寫這個，沒準能直接元神。”

不過，他的語氣雖然有著貪心不足的感覺，但他的臉上哪裡看得出半分