言，就好像是一頭追趕在他們身後的無形鬼物，明明能夠感覺到其存在，但是無法感知，無法對抗，無法表述。他們也只能一點點加快速度，好讓那頭鬼怪追不上自己。
但是他們偏偏自己清楚，那鬼怪，註定會追上他們。
王崎除了參與基派的日常討論之外，就泡在毓族聚居地那裡，偶爾也帶陳由嘉一起過去。王崎打算將“實踐”的這一塊交給陳由嘉處理——包括創造新語言之類的。
而他則是專注於理論。
雖說算器的語言和自然語言根本不相同。就比如說，自然語言之中，最有趣的語法是上下文相關語言的語法，而算器語言之中，最有用的卻是上下文無關語言的語法。但是，這兩者終歸都是“語言”——並且在地球，這一門理論，也算是電腦科學之中發展得比較好的一支。
陳由嘉足夠勝任這一部分。
而他在做這些的同時，也在著手尋找另一個前世只是聽說過的東西“字問題”——判定任何兩個給定的詞語，是否可以透過使用一個特定語法中的產生，而互相變成對方。
這個問題與函式、集合都有聯絡。這是語言學與純粹數學的接合點。
比如說，許多代數結構以產生的形式自然地表達了自身——比如，群與半群。
這個“表達”似乎就像我們傳達著一個語言學的概念。
半群是群的弱形式，對半群中的每一個元素而言，求它的逆存在是不可行的。而地球的數學家，曾經對半群的字問題進行過研究，並判定半群的“字問題”演算法並不存在。
可能這麼說，大部分人都很難懂。
那麼，換一個說法，這是一個非人造的不可判定問題。
這足以證明，判定性問題並不僅僅是“邏輯”的問題，或者“邏輯”不僅僅是人類自造的東西。
它甚至微妙的衝擊到離開哥德爾、丘奇和圖靈所發現的形式系統。
王崎打算使用一年左右的功夫，完成這一項活動。
在進行形式語言學的研究時，王崎的功體也在發生變化。
不只是在在這裡進行日常活動的這一尊肉身。就連平靜運轉在行星軌道上的獸機關叢集本體，也在發生變化。
他的氣息每秒鐘都在改變，體內無邊算符隨機生滅。
每生滅一次，這些算符就更加強大。
而王崎法力也更加強悍。
只有柯蘭蔭隱約感覺到了這一點。
他望著天宮法器之外的無垠星空，看向王崎本體所在的方向。
“年輕人，倒還真是了不得了。”柯蘭蔭說道。
青年艾子矸道：“在新生代的天才人物中，王崎自然是頂了不起的了。”
“是啊……”柯蘭蔭道：“可惜了。”
艾子矸疑惑道：“太師叔是說什麼呢？”
“這般蒸蒸日上的跡象，說不定只是曇花一現……”柯蘭蔭低聲說道：“老天又要折我離宗一人啊。”
在王崎的印象之中，地球的二十世紀，幾乎全部都是離宗的回合——因為從希爾伯特到布林巴基，離宗在這個年代輝煌耀眼。
但他確實是忽略了那個時代被地球離宗光芒壓制的地球連宗。
另外，這個世界，算君一直活著。
“我如是，岱威【算主表字】如是……現在王崎也要步我後塵嗎？”柯蘭蔭哀嘆。
在這個世界的人族看來，連宗倒是一直兇悍如故。而離宗，雖然有鼎盛之時，但是每次崛起，都似乎伴隨著巨大的跌落。柯蘭蔭因算君而走火入魔，幾乎全廢，希柏澈被王崎一文而否定畢生理想，近乎自我封閉。而現在，王崎也不知道要喪於何家之手。
艾子矸卻是不敢接話。太只不過是太師叔看得順眼，帶在身邊提點的弟子。他的研究天賦卻是不如修煉天賦。對於這等仙盟頂級天才之間的對話，卻是不好意思開口。就算他們算是歌庭派成員，感情上天然就站在算主這邊，也說不出一個“報應”——畢竟都是離宗，畢竟都是求道者。
但艾子矸依舊是忍不住的猜想——究竟是誰，以什麼理論，在何時超越王崎？
柯蘭蔭道：“你說，我是不是因為希柏澈的緣故，太過苛責王崎了呢？”
不同於天宮法器之中的相對無話、愁雲慘霧。
王崎這邊，可著實是雀躍。
他能夠感受到自身的進步。
“語言學……形式語言學……群論與函式，與文字的接合……”