第(3/3)頁(yè)

    “直覺(jué)主義”的扛旗者，一直都是算君。而算君就是連宗的代表人物。

    很少有離宗弟子對(duì)“直覺(jué)論”提出看法的。

    如果他們?cè)谡撐闹袑?xiě)直覺(jué)論，那么基本就是“直斥其非”了。

    或者說(shuō)直接一點(diǎn)，這就是要開(kāi)戰(zhàn)的節(jié)奏。

    這一篇論文，點(diǎn)明了歌庭派接下來(lái)的研究方向。

    他們想要證明，在某種意義上，直覺(jué)主義算術(shù)，和集合論是等價(jià)的。

    直覺(jué)主義算術(shù)同樣可以被不周之算否定掉！

    連宗同樣逃不過(guò)不周之算的魔咒！

    這一篇論文一出，整個(gè)萬(wàn)法門(mén)都震動(dòng)了起來(lái)。

    所有連宗弟子都開(kāi)始顯得惴惴不安。數(shù)年之前，那半個(gè)萬(wàn)法門(mén)淪陷、神州仙盟近乎癱瘓的災(zāi)難性現(xiàn)場(chǎng)，還歷歷在目。上一次的時(shí)候，他們?cè)谛覟?zāi)樂(lè)禍的拍手。

    這一次，輪到他們了嗎？

    而與此同時(shí)，離宗修士的眼神之中，卻出現(xiàn)了一絲快意的光芒。

    “不周之劫”中首創(chuàng)越重的離宗算家，臉上的這種表情就越明顯。

    就算我不能活，也得拉著你一起死！

    而在這個(gè)時(shí)候，已經(jīng)和歌庭派漸行漸遠(yuǎn)的馮落衣，居然拋出了全新的論文。

    他接過(guò)了連宗對(duì)“切斷自我指涉”的研究，運(yùn)用算器的思想，去研究良基集。

    并且還取得了相當(dāng)?shù)某晒?

    這令萬(wàn)法門(mén)內(nèi)下巴碎了一地。

    自從執(zhí)掌萬(wàn)仙幻境之后，馮落衣就很少進(jìn)行算理的研究了，與歌庭派的來(lái)往也逐漸減少。很多新一代修士都將他視為是中立的應(yīng)用類(lèi)算家。

    但那些老一輩修士都還記得一點(diǎn)。

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

    歌庭派與馮落衣是在兩個(gè)方向上對(duì)連宗進(jìn)行攻擊。

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

    這簡(jiǎn)直就是釜底抽薪，從根底上打擊連宗。

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

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

    但是，新年剛過(guò)，到了宇歷二年的年初，遠(yuǎn)在他鄉(xiāng)的王崎，又發(fā)表了篇全新的論文。

    《字問(wèn)題，及一個(gè)案例——關(guān)于半群字問(wèn)題的不可判定性》。

    由于“形式語(yǔ)言學(xué)”之前在神州鋪路，所以這一門(mén)新學(xué)問(wèn)，已經(jīng)為人們所知曉。

    而判定性問(wèn)題，則牽涉到最近論戰(zhàn)的核心。

    所以，這一篇論文，確實(shí)引發(fā)了廣泛關(guān)注。

    但這卻讓許多離宗修士一口血吐了出來(lái)。


    第(3/3)頁(yè)