究良基集。并且还取得了相当的成果。这令万法门内下巴碎了一地。自从执掌万仙幻境之后,冯落衣就很少进行算理的研究了,与歌庭派的来往也逐渐减少。很多新一代修士都将他视为是中立的应用类算家。但那些老一辈修士都还记得一点。算器理论,始终是建立在离宗算理之上的。歌庭派与冯落衣是在两个方向上对连宗进行攻击。从思路上看,他们一方秉持着算主“相对一致”的思路,另一方则遵循了算主“切断自指”的思路。而从目的上看,他们一方是要证明排中律的安全性,另一方则是要证明无穷公理的安全性。这简直就是釜底抽薪,从根底上打击连宗。而且他们还使用了连宗修士的部分研究成果。这使得离宗修士好像打了鸡血一样振奋。但是,新年刚过,到了宇历二年的年初,远在他乡的王崎,又发表了篇全新的论文。《字问题,及一个案例——关于半群字问题的不可判定性》。由于“形式语言学”之前在神州铺路,所以这一门新学问,已经为人们所知晓。而判定性问题,则牵涉到最近论战的核心。所以,这一篇论文,确实引发了广泛关注。但这却让许多离宗修士一口血吐了出来。