家，曾经对半群的字问题进行过研究，并判定半群的“字问题”算法并不存在。
可能这么说，大部分人都很难懂。
那么，换一个说法，这是一个非人造的不可判定问题。
这足以证明，判定性问题并不仅仅是“逻辑”的问题，或者“逻辑”不仅仅是人类自造的东西。
它甚至微妙的冲击到离开哥德尔、丘奇和图灵所发现的形式系统。
王崎打算使用一年左右的功夫，完成这一项活动。
在进行形式语言学的研究时，王崎的功体也在发生变化。
不只是在在这里进行日常活动的这一尊肉身。就连平静运转在行星轨道上的兽机关集群本体，也在发生变化。
他的气息每秒钟都在改变，体内无边算符随机生灭。
每生灭一次，这些算符就更加强大。
而王崎法力也更加强悍。
只有柯兰荫隐约感觉到了这一点。
他望着天宫法器之外的无垠星空，看向王崎本体所在的方向。
“年轻人，倒还真是了不得了。”柯兰荫说道。
青年艾子矸道：“在新生代的天才人物中，王崎自然是顶了不起的了。”