AK小說 www.06ak .com，最快更新走進修仙最新章節！

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

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

王崎笑道：「馮前輩也是這么吩咐的啊，照做沒壞處。」

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

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

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

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

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

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

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

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

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

真正要警惕的，還是「自己人」。

熟悉後續歷史的王崎知道。希爾伯特計劃去程成果的希望不在於完備性相容性可判定性，而在於算術系統的一致性。

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

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

「所以下一步是從集合論當中搞出超限歸納法再代入對算術系統的解釋，把論戰的關鍵導向算術系統的一致性。」

這是王崎目前的計劃。

辰風皺眉：「你知不知道摻和算君和算主的論戰意味著什么？不要以為你身在神京就不會沾到火星了。」

「我只會拋出幾篇論文啊，一般不會直接回應對方詰難的。」王崎笑道。

只要能夠把重點引導到算術系統的一致性就差不多了。

而且整理算術系統同樣是個大工程，自己沒那沒多時間去一一完成，這個只要是自己真實水平參與一部分就可以了。

辰風疑惑的看了王崎一眼，問道：「你好像對這場論戰有很重的執念啊……錯覺？」

王崎搖頭：「這可不是錯覺。」