书中文学网

手机浏览器扫描二维码访问

第1256章（第1页）

子虚易自然是拜谢不提。

数个时辰之后，他又寻来了几个毓族。王崎对他们都有印象，大约是同一批的举子吧。

这些举子当初也参加与那一场御前宴会，对王崎“以明月为墨”的气魄印象深刻。

有一名举子战战兢兢的问道：“当初先生说，字也是物，可以用格物的道理来研究……这就是格物的道理吗？”

王崎点了点头：“自然是了。”

几名原毓族举子，几乎痛哭出来。

他们终于学到了将自己族群打入地狱、但也同时打醒的那一门学问。

王崎却不想这些。

他知道，自己当初，也不过是“随便玩玩”而已。就算那个“终极吟诗”，也只是加上一点深度学习的基础算法。

距离数学层面的语言学，还有十万八千里的距离。

他接下来，却是需要认真面对这一点了。

接下来的一段日子，基派陷入了异常的忙碌之中。

往日，基派的研究者们是被自己的狂热所驱使。而现在，驱动他们的，除了求知欲之外，还有一股莫名的紧张感。

龙皇的预言，就好像是一头追赶在他们身后的无形鬼物，明明能够感觉到其存在，但是无法感知，无法对抗，无法表述。他们也只能一点点加快速度，好让那头鬼怪追不上自己。

但是他们偏偏自己清楚，那鬼怪，注定会追上他们。

王崎除了参与基派的日常讨论之外，就泡在毓族聚居地那里，偶尔也带陈由嘉一起过去。王崎打算将“实践”的这一块交给陈由嘉处理——包括创造新语言之类的。

而他则是专注于理论。

虽说算器的语言和自然语言根本不相同。就比如说，自然语言之中，最有趣的语法是上下文相关语言的语法，而算器语言之中，最有用的却是上下文无关语言的语法。但是，这两者终归都是“语言”——并且在地球，这一门理论，也算是计算机科学之中发展得比较好的一支。

陈由嘉足够胜任这一部分。

而他在做这些的同时，也在着手寻找另一个前世只是听说过的东西“字问题”——判定任何两个给定的词语，是否可以通过使用一个特定语法中的产生，而互相变成对方。

这个问题与函数、集合都有联系。这是语言学与纯粹数学的接合点。

比如说，许多代数结构以产生的形式自然地表达了自身——比如，群与半群。

这个“表达”似乎就像我们传达着一个语言学的概念。

半群是群的弱形式，对半群中的每一个元素而言，求它的逆存在是不可行的。而地球的数学家，曾经对半群的字问题进行过研究，并判定半群的“字问题”算法并不存在。

可能这么说，大部分人都很难懂。

那么，换一个说法，这是一个非人造的不可判定问题。

这足以证明，判定性问题并不仅仅是“逻辑”的问题，或者“逻辑”不仅仅是人类自造的东西。

它甚至微妙的冲击到离开哥德尔、丘奇和图灵所发现的形式系统。

王崎打算使用一年左右的功夫，完成这一项活动。

在进行形式语言学的研究时，王崎的功体也在发生变化。

不只是在在这里进行日常活动的这一尊肉身。就连平静运转在行星轨道上的兽机关集群本体，也在发生变化。

他的气息每秒钟都在改变，体内无边算符随机生灭。

每生灭一次，这些算符就更加强大。

富婆的快乐你不懂[神豪]  穿成流放文的极品小姑（穿书）  孤手握三十万重兵，你让孤自裁？  风刃之芒  夫君热衷于给我捧场  七零夜校女教师  十二鬼月横滨结仇日常  穿成大佬假妹妹  [原神]为了磕cp我连天理都能推翻  我靠拾荒称霸三界  穿越千年，只为遇见你！  重回86：大哥死前托妻给我  魂穿七零，这个世界我要做大女主  再见，我亲爱的封先生  雄虫他只想苟命[虫族]  震惊！这个男人能点化智械  妻调令  开局被女土匪看中，我占山为王  是你攻略不下的女主  怪厨