0%

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

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

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

大概是查知到王崎平靜外表下燃燒起來的熱情，辰風擊掌而贊：「有意思，這樣才像樣啊！不愧是我看重的夥伴——話說回來啊，我這邊的活你還干不幹？」

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

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

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

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

這一場論戰，就是數學家用全部的生命全部的才情綻放的心靈之花，是對人生的肯定和升華！

怎麼能錯過？

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

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

我是真的很想摻和這一場論戰。

最開始的時候，王崎同樣被自己的瘋狂想法嚇了一跳。但冷靜下來之後，他參与這一場論戰的念頭卻是越來越強烈。

任何一個有水平的數學家都會為這樣的論戰而激動。

而且，王崎自己也存了一點小小的心思。

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

辰風心裏鬆了口氣https://m.hetubook.com.com。表面上卻追問道：「你欠我的功值是準備現在還了還是給我干白工？」

「當然是忙築基的事了。算君回來，論戰開始，我估計就不得安生了。」王崎嘆道：「對了東家，你懂煉器不？我仙院煉器課翹了，能補課不？」

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

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

亨利·龐加萊一生都沒有真正燃燒過。

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

辰風點點頭：「也好。那麼你最近的計劃呢？」

而與他同一陣營的，是算主希柏澈和蒼生國手馮落衣！是同一等級的數學大家！

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

數學家大多喜歡在物理學領域插一腳以顯示自己智商過剩，但是他的時代，正是經典物理髮展到極致的時候，沒有多少東西供他玩樂了，等愛因斯坦引發新一輪革命的時候，他又已經垂垂老矣；他與戴維希爾伯特正好處於兩代，他漸漸老去的時代正是希爾伯特一步步升起的時代，等希爾伯特到了鼎盛時期，他已經因為衰老退出了數學的第一線。

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

這是王崎目前的計劃。

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

哪怕只是以配角的身份參与其中！

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

「我或許還是不如五十歲左右、正處於人生頂峰的哥德爾……但是，和_圖_書我應該有哥德爾二十歲左右的水平吧？」

他並非是自己參与其中，而是代表哥德爾，參与這場地球上不可能發生的盛會。

這件事只要想一想，就足夠讓人熱血沸騰了！

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

但是在這個世界，他要面對的卻是一個綻放出全部光彩的絕世天才，算君龐家萊！

這幾天里，辰風找過王崎幾次，也挺王崎提起過自己正在做的理論。他隱約了解到王崎理論的意義，也模糊的意識到了王崎的水平。現在，他反而害怕王崎會反悔。

這個人，生不逢時。

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

前世讀亨利·龐加萊的傳記，王崎就有一種很奇妙的感覺。

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

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

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

王崎撓頭：「還是照當初說好的干唄，馮前輩說了，我這論文帶來的利益會在第二個月以後才慢慢顯現出來，第一個月收益不會太多，第二個月也就比第一個月強。我最近還是一窮二白的。」

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

決不能錯過！

王崎說道：「干啊，為什麼不幹？練氣期弟子是不得擅自離開門派的，出門得請假，也就是說萬法門新安排下來之前，我都沒法離開神京。而神京也就你這裏功值最好賺了吧？」