第七十二章 如火如荼【第四更】 (4 / 7)
        而他在做这些的同时，也在着手寻找另一个前世只是听说过的东西“字问题”——判定任何两个给定的词语，是否可以通过使用一个特定语法中的产生，而互相变成对方。

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

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

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

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

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

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

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

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

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

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

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

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

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

        内容未完，下一页继续阅读

更多完整内容阅读登陆

《墨缘文学网，https://wap.mywenxue.org》