第(1/3)頁

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

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

    “不可判定性，并不僅僅是局限于純粹算理之中那么簡單”。

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

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

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

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

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

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

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

    有連宗修士驚恐的喊道。

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    這顯然是荒謬的。

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