第二百四十章 絕倫的“雙簧”

王崎重新回到講壇的邊緣，盤膝而坐，閉目養神。

理論計算機領域——計算機科學的數學基礎領域當中，最重要的遞歸論，圖靈機、拉姆達算法，便在這一夜同時傳揚了整個神州。

現在，他們只不過是不完備和不可判定的注腳。但是，總會有不凡之人發掘出其中的奧妙。

就算拋開理論層面的意義，光是這個收獲就不會小。

算器理論的飛躍，就等於是王崎修法的飛躍。

以後，他就可以借助神州算門的資源，來完善自己的修法。光是這一點，就已經值回票價了。

更不用說不完備、不可判定在理論上的意義。

他已經改寫了算學的框架。只要等下渡過難關，他就會成為神州頂尖的算家。無論是聲威還是其他，都將遠遠超過過去的自己。

這是隱性的好處。

而他在這個時候再推廣布爾巴基學派思想，就可以將這“隱性”的好處，轉化為“顯性”的好處。

布爾巴基學派的研究，自純數學而始，最終又成就了新世紀物理學研究的堅實基礎。

但是，並被所有人都能向他一樣，看到這一步。

更多與他相熟的人，只是在擔心。

毛梓淼捂著腦袋，只覺得頭昏腦漲的：“喵……艾師姐，小崎他到底在講什麽啊……”

艾輕蘭眼中也透著迷惘：“不太清楚……雖然不明白，但還是覺得好厲害……”

她勉強能夠聽懂王崎在講什麽——可是，這玩意有什麽意義嗎？

而這個時候，辰風放下自己的算器，怒道：“這個瘋子……”

“怎麽了？理論有突破是好事嘛！”艾輕蘭不滿了：“小風你不是這種見不得朋友得好處的人吧？”

“好處……王崎這家夥很快就要倒大黴了。”辰風有些惱火：“剛才就因為聽不懂，所以我專門去問了問由嘉……這個小子，剛才的那一通講，根本就是裏外不是人，將離宗連宗兩邊都得罪慘了。”

“離宗連宗……”艾輕蘭瞪大美眸，按著胸口：“那個……讓我緩一緩，想一想。如果我記得不錯，離宗和連宗的領袖，分別是算主和算君吧？就是……這位和這位吧？”

說話的同時，她伸出手點了點幻影之中的虛像。

辰風點點頭：“就是坐在王崎左右兩邊的那兩位老人家，巔頂逍遙……他們身後，分別就是他們的門人，加起來幾十個逍遙修士。”

艾輕蘭一巴掌糊自己臉上：“這小子確實瘋了……不不，不如說發瘋才是他的風格……這屬於正常發揮……正常發揮……”

同時惹下兩個主流學派，相當於同時激怒萬法門一半以上的人。這能不瘋嗎？

有人不解：“那個……王師兄的理論難道不對嗎？”

辰風是老好人，但不是傻子。他深深嘆息，道：“當年歌庭派前代領袖，雲端君柯蘭蔭為何道心盡喪？便是與算君論道啊……就算那些前輩不打算采取這樣的極端手段，那麽多算家，想要讓他身敗名裂，其實是非常簡單的。”

毛梓淼的心微微一揪：“那……那怎麽辦？”

“希望他能夠在蒼生國手和機老兩位逍遙修士的幫助下度過接下來的難關吧？”辰風不確定地說道。

他深知王崎的性子。想讓王崎放棄自己的想法，幾乎是不可能的。他必然會面對接下來無數逍遙修士的詰難。

萬法門中，薄笑風握緊了拳頭，薄筱雅則閉上眼睛，緊張得不敢去看。

而神州各地當中，更多的萬法門低階弟子在為王崎暗中祈禱、鼓勁。他們剛剛踏入算學的領域，還沒有前輩的那種堅持，也沒有受到太多的波及。他們看王崎，並沒有前輩那種厭惡，反而帶著一種“大丈夫當如是”的豪氣。

某個神秘的秘境之內，太一天尊也為這個年輕人捏了一把汗。

現在，或許也只有陳由嘉一人堅信王崎了吧。

只有她覺得，王崎就算被等下的攻訐淹沒，也不會損了他那一顆精進勇猛之心。

第二場講道完成之後，馮落衣閉上眼睛，深深太息，宣布道：“現在，諸位同道便可以開始提問了。”

歌庭派陣中，算主之摯友、“真宇相”閔可夫便站了起來，沉聲問道：“你可找到了一個關於實際存在之算學的不可證明之陳述？”

王崎搖頭：“沒有。”

不愧是這一世最巔頂的算家，這麽快就找到了不完備證明的軟肋。

哥德爾終其一生，都沒有找到一個包含了實際數學內容的不可證明陳述。這也是不完備定理從者不多的原因。

地球數學界近百年也沒有遇到這種陳述。

——實際上，按照哥德爾的想法，人類在相當長的一段時間裏都不會遇到這種陳述。它必然存在於算學的未知部分，隱藏在重重迷霧之中。