第七十二章 如火如荼
外，还有一股莫名的紧张感。
龙皇的预言，就好像是一头追赶在他们身后的无形鬼物，明明能够感觉到其存在，但是无法感知，无法对抗，无法表述。他们也只能一点点加快速度，好让那头鬼怪追不上自己。
但是他们偏偏自己清楚，那鬼怪，注定会追上他们。
王崎除了参与基派的日常讨论之外，就泡在毓族聚居地那里，偶尔也带陈由嘉一起过去。王崎打算将“实践”的这一块交给陈由嘉处理——包括创造新语言之类的。
而他则是专注于理论。
虽说算器的语言和自然语言根本不相同。就比如说，自然语言之中，最有趣的语法是上下文相关语言的语法，而算器语言之中，最有用的却是上下文无关语言的语法。但是，这两者终归都是“语言”——并且在地球，这一门理论，也算是计算机科学之中发展得比较好的一支。
陈由嘉足够胜任这一部分。
而他在做这些的同时，也在着手寻找另一个前世只是听说过的东西“字问题”——判定任何两个给定的词语，是否可以通过使用一个特定语法中的产生，而互相变成对方。
这个问题与函数、集合都有联系。这是语言学与纯粹数学的接合点。
比如说，许多代数结构以产生的形式自然地表达了自身——比如，群与半群。
这个“表达”似乎就像我们传达着一个语言学的概念。
半群是群的弱形式，对半群中的每一个元素而言，求它的逆存在是不可行的。而地球的数学家，曾经对半群的字问题进行过研究，并判定半群的“字问题”算法并不存在。
可能这么说，大部分人都很难懂。
那么，换一个说法，这是一个非人造的不可判定问题。
这足以证明，判定性问题并不仅仅是“逻辑”的问题，或者“逻辑”不仅仅是人类自造的东西。
它甚至微妙的冲击到离开哥德尔、丘奇和图灵所发现的形式系统。
王崎打算使用一年左右的功夫，完成这一项活动。
在进行形式语言学的研究时，王崎的功体也在发生变化。
不只是在在这里进行日常活动的这一尊肉身。就连平静运转在行星轨道上的兽机关集群本体，也在发生变化。
他的气息每秒钟都在改变，体内无边算符随机生灭。
每生灭一次，这些算符就更加强大。
而王崎法力也更加强悍。
只有柯兰荫隐约感觉到了这一点。
他望着天宫法器之外的无垠星空，看向王崎本体所在的方向。
“年轻人，倒还真是了不得了。”柯兰荫说道。
青年艾子矸道：“在新生代的天才人物中，王崎自然是顶了不起的了。”
“是啊……”柯兰荫道:“可惜了。”
艾子矸疑惑道：“太师叔是说什么呢？”
“这般蒸蒸日上的迹象，说不定只是昙花一现……”柯兰荫低声说道：“老天又要折我离宗一人啊。”
在王崎的印象之中，地球的二十世纪，几乎全部都是离宗的回合——因为从希尔伯特到布尔巴基，离宗在这个年代辉煌耀眼。
但他确实是忽略了那个时代被地球离宗光芒压制的地球连宗。
另外，这个世界