第九十章 怪現象（1/2）

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

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

「不可判定性，並不僅僅是局限於純粹算理之中那麼簡單」。

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

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

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

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

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

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

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

有連宗修士驚恐的喊道。

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

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

「這傢伙，為了鼓吹自己，所以就拿我們來下手嗎？」

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

這顯然是荒謬的。

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

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

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

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

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

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

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

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

這是前所未有的大混亂。

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

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

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

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

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

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

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

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

本章未完，點選下一頁繼續閱讀。