用算器的思想，去研究良基集。

並且還取得了相當的成果。

這令萬法門內下巴碎了一地。

自從執掌萬仙幻境之後，馮落衣就很少進行算理的研究了，與歌庭派的來往也逐漸減少。很多新一代修士都將他視為是中立的應用類算家。

但那些老一輩修士都還記得一點。

算器理論，始終是建立在離宗算理之上的。

歌庭派與馮落衣是在兩個方向上對連宗進行攻擊。

從思路上看，他們一方秉持著算主“相對一致”的思路，另一方則遵循了算主“切斷自指”的思路。而從目的上看，他們一方是要證明排中律的安全性，另一方則是要證明無窮公理的安全性。

這簡直就是釜底抽薪，從根底上打擊連宗。

而且他們還使用了連宗修士的部分研究成果。

這使得離宗修士好像打了雞血一樣振奮。

但是，新年剛過，到了宇歷二年的年初，遠在他鄉的王崎，又發表了篇全新的論文。

《字問題，及一個案例——關於半群字問題的不可判定性》。

由於“形式語言學”之前在神州鋪路，所以這一門新學問，已經為人們所知曉。

而判定性問題，則牽涉到最近論戰的核心。

所以，這一篇論文，確實引發了廣泛關注。

但這卻讓許多離宗修士一口血吐了出來。

第九十章　怪現象

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

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

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

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

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

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

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

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

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

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

有連宗修士驚恐的喊道。

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

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

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

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

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

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

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

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

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

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

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

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

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

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

雪國派也是連宗典範，也從屬於“直覺派”，同樣會對