第七十三章 哥德爾完備定理(第2/2頁)

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

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

但是……

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

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

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

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

王崎懵了。

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

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

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

“我水平有這麽高?”