第九十章 怪現象

半群字問題的不可判定性，是人類發現的第一個並非有數學家制造，而是天然存在的不可判定性問題。

它也就意味著另一重真實。

“不可判定性，並不僅僅是局限於純粹算理之中那麽簡單”。

它就好像是在強調“不可判定性”這個概念的客觀性一樣。

無數連宗修士如喪考妣。他們實在是無法相信，構成自己思維的語言，居然也蘊含著“不可判定性”的危險。

但是，一時之間，他們甚至都找不到反駁的由頭。

因為，在“語言學”這一塊上，王崎就占據著壟斷地位，他使用算理與邏輯來處理文字問題。

這毫無疑問，就是一個離宗的領域。

連宗甚至找不到施展拳腳的點，無從發力。

“這……馮落衣，王崎，這一對師徒，是要聯手滅門嗎？”

有連宗修士驚恐地喊道。

但是，相比於連宗，離宗也同樣難受。

這一篇論文，可是再一次強調了“不可判定性”的地位。

“這家夥，為了鼓吹自己，所以就拿我們來下手嗎？”

有離宗修士也是恨得咬牙切齒。

王崎這一篇論文，無疑就是一記重拳，狠狠砸在離宗修士的脊梁骨上。

這一下，無論是離宗還是連宗，都沒有討到好處。

但是，很快，就有連宗逍遙做出回應了。

多位連宗逍遙已經結束了自己在征天司的現階段任務，專心準備這一場論戰。

現在，連宗內部，居然漸漸出現了新的方向。

他們居然嘗試學習離宗的“邏輯”，吸收離宗的知識，用離宗的理論反擊離宗。

這應當算是對馮落衣利用連宗“切斷自指”的研究成果，進而開始研究排除自指集的做法進行反擊。

而出乎意料的是，一向與世無爭的雪國派，此時此刻，居然也流露出下場的意圖。

雪國派現任領袖，“雪國主”柯寞歌【安德列·柯爾莫哥洛夫】也發表了新論文。

他對名為“可實現性”的理論，進行了全新的敘述。

雪國派也是連宗典範，也從屬於“直覺派”，同樣會對算君執弟子禮。

但是，雪國派的“直覺”，和算君的“直覺”，又有微妙的差異。

實際上，關於“直覺”的構造，不同的連宗修士也有不同的想法。

雪國主的論文指示出了一個奇異的事實。對於任意命題，存在對應的非命題，其非命題成立的則意味著該命題的荒謬。某非命題的證明，是把該命題的證明變換成荒謬的證明的函數。

荒謬的標準例子可以在算術中找到。假定0=1，並進行數學歸納法：0=0通過等同公理得到；（歸納假設）如果0等於特定自然數n，則1將等於n+1，但是因為0=1，所以0也等於n+1；通過歸納，0等於任何數，所以任何兩個自然數都是相等的。

這顯然是荒謬的。

或許用自然語言來敘述，這就是一個低等的笑話？但是在算理上，它確實是存在著重要的地位。

而幾乎是同時，另一位連宗逍遙修士，也獨立完成了類似的成果。

他用一種離宗修士看來有些怪異的形式，重寫了離宗的重要成就——算術公理。

這一下子，整個萬法門都開始變得一片混沌了。

所有用研究算學理論的修士都陷入了對三個問題的思考之中。

——我是哪邊的？是連宗還是離宗？

——我在研究什麽？朝哪個方向？

——我的隊友是誰？歌庭派？馮落衣？基派？雪國派？還是少黎派？

這是前所未有的大混亂。

盡管歷史上，連宗會吸收離宗的成就，離宗會吸收連宗的成就，但那都是基於“轉化到一個算學基礎上”所完成的。

以幾何融合算術，以分析容納幾何，這樣。

但現在，全亂了，離宗和連宗從沒有這樣相互爭奪一個領域過。他們幾乎是在以接力跑的形式進行研究。

你研究一段之後，我在你的基礎上繼續研究一段，緊接著你再在我的成就上進行研究。

中古數家離宗連宗分裂之後，四萬年來，頭一次出現這樣混亂的景象。

離宗和連宗的分割依舊異常明顯，但是，研究上卻打成一團。

可以說，他們就純然是亂戰了。

尤其是向來超然與爭鬥之外的雪國派，以及雖然新近成立，卻始終氣勢洶洶的基派，都是不可忽視的力量。

同為連宗，雪國派與少黎派之間也存在分歧。

同為離宗，基派與歌庭派之間關系也不融洽。

大家彼此都殺成了一團。

甚至有些極端的弟子，終於開始不再區分離宗連宗了。

凡是與我方不同的萬法門弟子，都可以算是“敵人”！

隨著理論層面的混戰，萬法門門內也終於漸漸失去穩定。

甚至連維護門規的執律使，都沒辦法保持純粹的重力。