第136部分(第3/5 頁)

辰風突然把話題帶回來：“玩笑開過了，那麼我就要問你一下——對於這件事，你到底是個什麼態度？”

王崎扶額：“我再次對我人生的劇情主線產生懷疑……”

我本來以為我是一個奇幻修真流小說的主角，結果變成論文流科技文主角，現在怎麼又活出一份官場文主角那種各種妥協讓步、利益均沾的感覺？

尼瑪科技文不是應該憋技能樹然後一路碾壓嗎？

辰風又一次迷煳了。他又問了一遍：“你的打算……”

“哦哦，我的啊。”王崎這才會過意，說道：“若要說我的話，其實很簡單。”

“大數律的話擱置個把月也不是不行，然後最近學習統計，順便繼續整理歸納算術系統。”

大數律這個之所以這麼早就弄，還是有煳弄那個一根筋丫頭的意思——機率論多大的題目啊，也不在乎這一天兩天的了。

統計，這個是得搞，但是機率沒起來，統計也起不來，所以只能說“學一學”——順便讓辰風這個東家聽著，表示我還是一個好員工。

一階邏輯、完備定理倒是可以搞下去，但是吧……再搞下去就是哥德爾不完備了，這反而是對歌庭派的打擊——而自己現在就是歌庭派。

所以能作的，也就只有高算術系統了。

辰風過了好一會才會過意，皺眉：“你好像……打算摻和這次論戰啊？”

第八十四章　弱者為何要戰鬥

算主領導的歌庭和算君領導的黎派，爭鋒的焦點就在於算理邏輯。這個領域是算理最基礎的部分。而一個算家對這個領域的認知，就決定了他對數學的整體把握。

辰風算學和王崎比只能說爛，但是這一點他還是知道的。

王崎笑道：“馮前輩也是這麼吩咐的啊，照做沒壞處。”

馮落衣、希柏澈都仍未王崎在算理邏輯上非常有天分，在一階邏輯的道路上接著走下去，遲早能夠到達希柏澈理想的境界。

但是王崎卻是知道的，這條路不是不能走，但下一步的結果去只會同希柏澈的預期背道而馳。

哥德爾不完備定理，摧毀數學崇高之美，將數學趕下神壇的可怕定理。

在地球的歷史中，哥德爾不完備定理證明希爾伯特第二問是個無解的題目，使希爾伯特計劃破產。若是在神州丟擲來，怕是會徹底動搖歌庭派的威信吧。

不管自己怎麼說，在別人眼裡自己都被打上“歌庭派”的標籤了，所以做理論的時候還是考慮一下這方面比較好。

順便，自己也得防備一下別人順著自己的思路將不完備定理搞出來。

雖然對於哥德爾這種絕世天才來說，完備定理到不完備定理只有一年的時間，但對於普通數學家來說，哥德爾一年走完的路是絕對的天塹。

更別說哥德爾本人得出完備定理，都是靠了靈光一閃的頓悟。

黎派修士和哥德爾理念不完全一致，對數學的理解有差別，因此思路、擅長的方法也不一樣。他們在王崎論文的基礎上順著哥德爾思路推出不完備定理的可能性不大，威脅比較大的現在看來只有算君一人。

真正要警惕的，還是“自己人”。

熟悉後續歷史的王崎知道。希爾伯特計劃去程成果的希望不在於完備性與可判定性，這兩個是被明確否定了的。它唯一有希望的部分，在於在於算術系統的一致性。

哥德爾不完備性定理第二條，對於任意的數學系統，如果其中包含了算術系統的話，那麼我們不能在這個系統內部證明它的一致性。這就是希爾伯特第二問題答案的一部分。

使用不在算術系統之內的超限歸納法證明算術系統的一致性，就正好繞過了不完備性定理劃出的，跨不過的