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

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

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

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

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

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

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

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

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

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

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

第九十章 怪现象

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

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

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

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