手机浏览器扫描二维码访问
他接下来,却是需要认真面对这一点了。
接下来的一段日子,基派陷入了异常的忙碌之中。
往日,基派的研究者们是被自己的狂热所驱使。而现在,驱动他们的,除了求知欲之外,还有一股莫名的紧张感。
龙皇的预言,就好像是一头追赶在他们身后的无形鬼物,明明能够感觉到其存在,但是无法感知,无法对抗,无法表述。他们也只能一点点加快速度,好让那头鬼怪追不上自己。
但是他们偏偏自己清楚,那鬼怪,注定会追上他们。
王崎除了参与基派的日常讨论之外,就泡在毓族聚居地那里,偶尔也带陈由嘉一起过去。王崎打算将“实践”的这一块交给陈由嘉处理——包括创造新语言之类的。
而他则是专注于理论。
虽说算器的语言和自然语言根本不相同。就比如说,自然语言之中,最有趣的语法是上下文相关语言的语法,而算器语言之中,最有用的却是上下文无关语言的语法。但是,这两者终归都是“语言”——并且在地球,这一门理论,也算是计算机科学之中发展得比较好的一支。
陈由嘉足够胜任这一部分。
而他在做这些的同时,也在着手寻找另一个前世只是听说过的东西“字问题”——判定任何两个给定的词语,是否可以通过使用一个特定语法中的产生,而互相变成对方。
这个问题与函数、集合都有联系。这是语言学与纯粹数学的接合点。
比如说,许多代数结构以产生的形式自然地表达了自身——比如,群与半群。
这个“表达”似乎就像我们传达着一个语言学的概念。
半群是群的弱形式,对半群中的每一个元素而言,求它的逆存在是不可行的。而地球的数学家,曾经对半群的字问题进行过研究,并判定半群的“字问题”算法并不存在。
可能这么说,大部分人都很难懂。
那么,换一个说法,这是一个非人造的不可判定问题。
这足以证明,判定性问题并不仅仅是“逻辑”的问题,或者“逻辑”不仅仅是人类自造的东西。
它甚至微妙的冲击到离开哥德尔、丘奇和图灵所发现的形式系统。
王崎打算使用一年左右的功夫,完成这一项活动。
在进行形式语言学的研究时,王崎的功体也在发生变化。
不只是在在这里进行日常活动的这一尊肉身。就连平静运转在行星轨道上的兽机关集群本体,也在发生变化。
他的气息每秒钟都在改变,体内无边算符随机生灭。
每生灭一次,这些算符就更加强大。
而王崎法力也更加强悍。
只有柯兰荫隐约感觉到了这一点。
他望着天宫法器之外的无垠星空,看向王崎本体所在的方向。
“年轻人,倒还真是了不得了。”柯兰荫说道。
青年艾子矸道:“在新生代的天才人物中,王崎自然是顶了不起的了。”
“是啊……”柯兰荫道:“可惜了。”
艾子矸疑惑道:“太师叔是说什么呢?”
“这般蒸蒸日上的迹象,说不定只是昙花一现……”柯兰荫低声说道:“老天又要折我离宗一人啊。”
在王崎的印象之中,地球的二十世纪,几乎全部都是离宗的回合——因为从希尔伯特到布尔巴基,离宗在这个年代辉煌耀眼。
但他确实是忽略了那个时代被地球离宗光芒压制的地球连宗。
云养,是一种新兴的娱乐方式。一般是指因为条件限制,没办法自己养猫,养狗,养宠物的人,通过网络等方式,远程养这些宠物,借此获得心理的愉悦感。而在养的过程,这些人也会投喂,或者打赏,参与到养的过程中。像是真的拥有这个宠物一样。而职业玩家陈言,却无意中玩了个云养女友的游戏。只要给云养女友投喂食物或者买买买,就可以...
皇孙陆瞻前世与乡野出身的妻子奉旨成婚,一辈子貌合神离,至死相敬如冰。重生回来他松了口气,并决意从根源上斩断这段孽缘。不想等到一切如愿,他却忽然发现他前妻不,他妻子,他媳妇儿,孩他娘!不但也在一直像避瘟神似的避着他,而且还在他处心积虑揭破敌人阴谋且累得像条狗的时候,却把她小日子过得滋滋润润,在村里遛着狗,赏...
快穿1v1甜宠自从神魔大战以后,天宫上的人都知道小仙女阿司养了一条小黑龙。那条小黑龙可娇气了,不仅吃饭要喂,就连睡觉也要抱着。直到,小黑龙长成了大黑龙。他把阿司推下了轮回台,自己也跟着跳了下去。阿司,你不要我了吗?阿司,你抱抱我后来的后来,阿司轮回归来。魔尊上渊马不停蹄的杀上了天宫。阿司你出来,我...
如果宇宙是款游戏的话浩瀚宇宙,亿万世界,地球只是游荡在域外星空的孤独星球。而域内星域魔师纵横,他们探索基因深处的奥秘,追寻生命进化的最终形态,在无尽的岁月长河中前仆后继,踏出一条通往神坛之路。游戏高手风浩意外涉足这片星域,以逆天种族天赋张狂崛起,撼动整片星空!且看一棵来自地球的小树苗如何成长为参天大树。数据流玄...
医圣传人回归都市!他武功卓绝,崇尚暴力,拳头是解决问题的最佳途径。他医术超群,针灸无双,小小银针足以起死回生。他算命卜卦,无所不能,成为无数绝色美女的梦中...
记者采访富豪榜首谢闵行,谢总,请问你老婆是你什么?谢闵行心尖儿宝贝。记者不满足,又问可以说的详细一点么?谢闵行心尖子命肝子,宝贝疙瘩小妮子。这够详细了吧?记者们被塞狗粮,欲哭无泪,准备去采访某小妮子,谢少夫人,请问你丈夫是你什么?...