盘龙小说网

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

第七十二章 如火如荼(第2页)

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

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

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

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

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

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

而他则是专注于理论。

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

而王崎法力也更加强悍。

只有柯兰荫隐约感觉到了这一点。

他望着天宫法器之外的无垠星空,看向王崎本体所在的方向。

“年轻人,倒还真是了不得了。”柯兰荫说道。

青年艾子矸道:“在新生代的天才人物中,王崎自然是顶了不起的了。”

“是啊……”柯兰荫道:“可惜了。”

艾子矸疑惑道:“太师叔是说什么呢?”

“这般蒸蒸日上的迹象,说不定只是昙花一现……”柯兰荫低声说道:“老天又要折我离宗一人啊。”

在王崎的印象之中,地球的二十世纪,几乎全部都是离宗的回合——因为从希尔伯特到布尔巴基,离宗在这个年代辉煌耀眼。

但他确实是忽略了那个时代被地球离宗光芒压制的地球连宗。

热门小说推荐
拜师四目道长

拜师四目道长

四目道长徒儿,赶尸之道,为师已经全传给你了!齐漱溟徐君明,我蜀山与你势不两立!孙悟空僵尸叔叔聊斋蜀山剑侠传西游记封神榜,错过‘九叔’,没拿到主角模板的徐君明流浪在诸天世界!...

乞丐王

乞丐王

那一天,我亲眼看到歹徒绑架了我妈故事,从此开始!某日,某市,某街道,女人独自彷徨的走着,男人突然从小巷子窜了出来,拦住了女人的路!站住,...

一术镇天

一术镇天

传闻之中,九天之上,通天仙路,无上仙门,一踏而过,便可永生。然而修仙者为求永生,前赴后继,为何又成为苍天眼中的毒瘤?人有法术,仙有仙术,天亦有天术。天术镇压一切,乃万术之祖,世间万法莫不始于天术。苏夜,一个穿越而来差点被当做祭品献祭给九天仙神的卑微生灵,又将怎样踏遍万仙,一破仙门?各位书友要是觉得一术镇天还不错...

吴限宇宙

吴限宇宙

在任意世界中历险,在时空中游走!只有你想不到,没有他做不到!亲情!友情!阴谋!陷阱!一切尽在,吴限宇宙!已有完本潜鼠勿用!质量保证,大家可以安心阅读!...

颤抖吧昏君

颤抖吧昏君

太后废长立幼是哀家做得最错的一件事,昏君,哀家要废了你。摄政王错失皇位,尽心尽力辅佐换得挫骨扬灰,昏君,我要篡位做明君。顾娴昏君,你无情,你花心,我要嫁你叔叔,做你婶娘。温柔自带锦鲤体质,集万千宠爱,吸干昏君运道。昏君朕太难了。温暖战地记者现场吃瓜。总结最落魄的我遇见最好的你,若你求一世安稳,那这盛世...

哥几个,走着

哥几个,走着

年少轻狂,只为追求理想。豪情万丈,只为缔造辉煌。携手并进,誓言创造奇迹。不离不弃,患难生死与共。天涯海角,相拥天长地久。无毒不丈夫。有志纵天行。...