第1071部分 (第3/5页)

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

并且还取得了相当的成果。

这令万法门内下巴碎了一地。

自从执掌万仙幻境之后，冯落衣就很少进行算理的研究了，与歌庭派的来往也逐渐减少。很多新一代修士都将他视为是中立的应用类算家。

但那些老一辈修士都还记得一点。

算器理论，始终是建立在离宗算理之上的。

歌庭派与冯落衣是在两个方向上对连宗进行攻击。

从思路上看，他们一方秉持着算主“相对一致”的思路，另一方则遵循了算主“切断自指”的思路。而从目的上看，他们一方是要证明排中律的安全性，另一方则是要证明无穷公理的安全性。

这简直就是釜底抽薪，从根底上打击连宗。

而且他们还使用了连宗修士的部分研究成果。

这使得离宗修士好像打了鸡血一样振奋。

但是，新年刚过，到了宇历二年的年初，远在他乡的王崎，又发表了篇全新的论文。

《字问题，及一个案例——关于半群字问题的不可判定性》。

由于“形式语言学”之前在神州铺路，所以这一门新学问，已经为人们所知晓。

而判定性问题，则牵涉到最近论战的核心。

所以，这一篇论文，确实引发了广泛关注。

但这却让许多离宗修士一口血吐了出来。

第九十章　怪现象

半群字问题的不可判定性，是人类发现的第一个并非有数学家制造，而是天然存在的不可判定性问题。

它也就意味着另一重真实。

“不可判定性，并不仅仅是局限于纯粹算理之中那么简单”。

它就好像是在强调“不可判定性”这个概念的客观性一样。

无数连宗修士如丧考妣。他们实在是无法相信，构成自己思维的语言，居然也蕴含着“不可判定性”的危险。

但是，一时之间，他们甚至都找不到反驳的由头。

因为，在“语言学”这一块上，王崎就占据着垄断地位，他使用算理与逻辑来处理文字问题。

这毫无疑问，就是一个离宗的领域。

连宗甚至找不到施展拳脚的点，无从发力。

“这……冯落衣，王崎，这一对师徒，是要联手灭门吗？”

有连宗修士惊恐的喊道。

但是，相比于连宗，离宗也同样难受。

这一篇论文，可是再一次强调了“不可判定性”的地位。

“这家伙，为了鼓吹自己，所以就拿我们来下手吗？”

有离宗修士也是恨得咬牙切齿。

王崎这一篇论文，无疑就是一记重拳，狠狠砸在离宗修士的脊梁骨上。

这一下，无论是离宗还是连宗，都没有讨到好处。

但是，很快，就有连宗逍遥做出回应了。

多位连宗逍遥已经结束了自己在征天司的现阶段任务，专心准备这一场论战。

现在，连宗内部，居然渐渐出现了新的方向。

他们居然尝试学习离宗的“逻辑”，吸收离宗的知识，用离宗的理论反击离宗。

这应当算是对冯落衣利用连宗“切断自指”的研究成果，进而开始研究排除自指集的做法进行反击。

而出乎意料的是，一向与世无争的雪国派，此时此刻，居然也流露出下场的意图。

雪国派现任领袖，“雪国主”柯寞歌【安德列·柯尔莫哥洛夫】也发表了新论文。

他对名为“可实现性”的理论，进行了全新的叙述。

雪国派也是连宗典范，也从属于“直觉派”，同样会对