頭:“自然是了。”
幾名原毓族舉子,幾乎痛哭出來。
他們終於學到了將自己族群打入地獄、但也同時打醒的那一門學問。
王崎卻不想這些。
他知道,自己當初,也不過是“隨便玩玩”而已。就算那個“終極吟詩”,也只是加上一點深度學習的基礎演算法。
距離數學層面的語言學,還有十萬八千里的距離。
他接下來,卻是需要認真面對這一點了。
接下來的一段日子,基派陷入了異常的忙碌之中。
往日,基派的研究者們是被自己的狂熱所驅使。而現在,驅動他們的,除了求知慾之外,還有一股莫名的緊張感。
龍皇的預言,就好像是一頭追趕在他們身後的無形鬼物,明明能夠感覺到其存在,但是無法感知,無法對抗,無法表述。他們也只能一點點加快速度,好讓那頭鬼怪追不上自己。
但是他們偏偏自己清楚,那鬼怪,註定會追上他們。
王崎除了參與基派的日常討論之外,就泡在毓族聚居地那裡,偶爾也帶陳由嘉一起過去。王崎打算將“實踐”的這一塊交給陳由嘉處理——包括創造新語言之類的。
而他則是專注於理論。
雖說算器的語言和自然語言根本不相同。就比如說,自然語言之中,最有趣的語法是上下文相關語言的語法,而算器語言之中,最有用的卻是上下文無關語言的語法。但是,這兩者終歸都是“語言”——並且在地球,這一門理論,也算是電腦科學之中發展得比較好的一支。
陳由嘉足夠勝任這一部分。
而他在做這些的同時,也在著手尋找另一個前世只是聽說過的東西“字問題”——判定任何兩個給定的詞語,是否可以透過使用一個特定語法中的產生,而互相變成對方。
這個問題與函式、集合都有聯絡。這是語言學與純粹數學的接合點。
比如說,許多代數結構以產生的形式自然地表達了自身——比如,群與半群。
這個“表達”似乎就像我們傳達著一個語言學的概念。
半群是群的弱形式,對半群中的每一個元素而言,求它的逆存在是不可行的。而地球的數學家,曾經對半群的字問題進行過研究,並判定半群的“字問題”演算法並不存在。
可能這麼說,大部分人都很難懂。
那麼,換一個說法,這是一個非人造的不可判定問題。
這足以證明,判定性問題並不僅僅是“邏輯”的問題,或者“邏輯”不僅僅是人類自造的東西。
它甚至微妙的衝擊到離開哥德爾、丘奇和圖靈所發現的形式系統。
王崎打算使用一年左右的功夫,完成這一項活動。
在進行形式語言學的研究時,王崎的功體也在發生變化。
不只是在在這裡進行日常活動的這一尊肉身。就連平靜運轉在行星軌道上的獸機關叢集本體,也在發生變化。
他的氣息每秒鐘都在改變,體內無邊算符隨機生滅。
每生滅一次,這些算符就更加強大。
而王崎法力也更加強悍。
只有柯蘭蔭隱約感覺到了這一點。
他望著天宮法器之外的無垠星空,看向王崎本體所在的方向。
“年輕人,倒還真是了不得了。”柯蘭蔭說道。
青年艾子矸道:“在新生代的天才人物中,王崎自然是頂了不起的了。”
“是啊……”柯蘭蔭道:“可惜了。”
艾子矸疑惑道:“太師叔是說什麼呢?”
“這般蒸蒸日上的跡象,說不定只是曇花一現……”柯蘭蔭低聲說道:“老天又要折我離宗一人啊。”