的“字问题”算法并不存在。
可能这么说，大部分人都很难懂。
那么，换一个说法，这是一个非人造的不可判定问题。
这足以证明，判定性问题并不仅仅是“逻辑”的问题，或者“逻辑”不仅仅是人类自造的东西。
它甚至微妙的冲击到离开哥德尔、丘奇和图灵所发现的形式系统。
王崎打算使用一年左右的功夫，完成这一项活动。
在进行形式语言学的研究时，王崎的功体也在发生变化。
不只是在在这里进行日常活动的这一尊肉身。就连平静运转在行星轨道上的兽机关集群本体，也在发生变化。
他的气息每秒钟都在改变，体内无边算符随机生灭。
每生灭一次，这些算符就更加强大。
而王崎法力也更加强悍。
只有柯兰荫隐约感觉到了这一点。
他望着天宫法器之外的无垠星空，看向王崎本体所在的方向。
“年轻人，倒还真是了不得了。”柯兰荫说道。
青年艾子矸道：“在新生代的天才人物中，王崎自然是顶了不起的了。”
“是啊……”柯兰荫道:“可惜了。”
艾子矸疑惑道：“太师叔是说什么呢？”
“这般蒸蒸日上的迹象，说不定只是昙花一现……”柯兰荫低声说道：“老天又要折我离宗一人啊。”
在王崎的印象之中，地球的二十世纪，几乎全部都是离宗的回合——因为从希尔伯特到布尔巴基，离宗在这个年代辉煌耀眼。
但他确实是忽略了那个时代被地球离宗光芒压制的地球连宗。
另外，这个世界，算君一直活着。
“我如是，岱威【算主表字】如是……现在王崎也要步我后尘吗？”柯兰荫哀叹。
在这个世界的人族看来，连宗倒是一直凶悍如故。而离宗，虽然有鼎盛之时，但是每次崛起，都似乎伴随着巨大的跌落。柯兰荫因算君而走火入魔，几乎全废，希柏澈被王崎一文而否定毕生理想，近乎自我封闭。而现在，王崎也不知道要丧于何家之手。
艾子矸却是不敢接话。太只不过是太师叔看得顺眼，带在身边提点的弟子。他的研究天赋却是不如修炼天赋。对于这等仙盟顶级天才之间的对话，却是不好意思开口。就算他们算是歌庭派成员，感情上天然就站在算主这边，也说不出一个“报应”——毕竟都是离宗，毕竟都是求道者。
…。。