手机浏览器扫描二维码访问
子虚易自然是拜谢不提。
数个时辰之后,他又寻来了几个毓族。王崎对他们都有印象,大约是同一批的举子吧。
这些举子当初也参加与那一场御前宴会,对王崎“以明月为墨”的气魄印象深刻。
有一名举子战战兢兢的问道:“当初先生说,字也是物,可以用格物的道理来研究……这就是格物的道理吗?”
王崎点了点头:“自然是了。”
几名原毓族举子,几乎痛哭出来。
他们终于学到了将自己族群打入地狱、但也同时打醒的那一门学问。
王崎却不想这些。
他知道,自己当初,也不过是“随便玩玩”而已。就算那个“终极吟诗”,也只是加上一点深度学习的基础算法。
距离数学层面的语言学,还有十万八千里的距离。
他接下来,却是需要认真面对这一点了。
接下来的一段日子,基派陷入了异常的忙碌之中。
往日,基派的研究者们是被自己的狂热所驱使。而现在,驱动他们的,除了求知欲之外,还有一股莫名的紧张感。
龙皇的预言,就好像是一头追赶在他们身后的无形鬼物,明明能够感觉到其存在,但是无法感知,无法对抗,无法表述。他们也只能一点点加快速度,好让那头鬼怪追不上自己。
但是他们偏偏自己清楚,那鬼怪,注定会追上他们。
王崎除了参与基派的日常讨论之外,就泡在毓族聚居地那里,偶尔也带陈由嘉一起过去。王崎打算将“实践”的这一块交给陈由嘉处理——包括创造新语言之类的。
而他则是专注于理论。
虽说算器的语言和自然语言根本不相同。就比如说,自然语言之中,最有趣的语法是上下文相关语言的语法,而算器语言之中,最有用的却是上下文无关语言的语法。但是,这两者终归都是“语言”——并且在地球,这一门理论,也算是计算机科学之中发展得比较好的一支。
陈由嘉足够胜任这一部分。
而他在做这些的同时,也在着手寻找另一个前世只是听说过的东西“字问题”——判定任何两个给定的词语,是否可以通过使用一个特定语法中的产生,而互相变成对方。
这个问题与函数、集合都有联系。这是语言学与纯粹数学的接合点。
比如说,许多代数结构以产生的形式自然地表达了自身——比如,群与半群。
这个“表达”似乎就像我们传达着一个语言学的概念。
半群是群的弱形式,对半群中的每一个元素而言,求它的逆存在是不可行的。而地球的数学家,曾经对半群的字问题进行过研究,并判定半群的“字问题”算法并不存在。
可能这么说,大部分人都很难懂。
那么,换一个说法,这是一个非人造的不可判定问题。
这足以证明,判定性问题并不仅仅是“逻辑”的问题,或者“逻辑”不仅仅是人类自造的东西。
它甚至微妙的冲击到离开哥德尔、丘奇和图灵所发现的形式系统。
王崎打算使用一年左右的功夫,完成这一项活动。
在进行形式语言学的研究时,王崎的功体也在发生变化。
不只是在在这里进行日常活动的这一尊肉身。就连平静运转在行星轨道上的兽机关集群本体,也在发生变化。
他的气息每秒钟都在改变,体内无边算符随机生灭。
每生灭一次,这些算符就更加强大。
扛着boss拼下限(末世) 系统之娇宠孕妻 大明孤狼 悍妻[医道] 断神 穿越之弃子国师 直播和男神同居的日子 一爱到底之顾少毒妻 神偷长公主 天地炼成 眼镜兄撞上恶魔王子 时光请善待我的她 捡到病娇太子之后(重生) 娱乐超级奶爸 赌妃在上,王爷在下 我是狠人大帝的同乡 最强除妖师 烈火燃情:高冷总裁滚远点 废材重生:邪王独宠悍王妃 天黑请开眼
每早七点更新超好看哟不要错过O3OWIFI之母,海蒂拉玛。世界上首位全裸出镜的好莱坞女王,电子前沿基金会先锋奖获得者,无线通讯的启明星,美艳与智慧的宠儿。她一觉醒来,发现自己睡在一个陌生的街头。路边的男人把她捡了回去,还随手煮了一碗香喷喷的意大利面试图投喂。我的名字?列奥纳多迪皮耶罗达...
新书求支持简介慢穿小世界,带着随身空间去末世,去星际,去修仙最后回来陪爸爸开面馆。周霜霜本来觉得这就是自己的人生,没想到,有一天末世会降临到自己的世界。老规矩,无CP,无极...
叶流云魂穿异界,一来就出现在天牢,而且三日之后就要问斩!好在觉醒了神级模拟器,花费名望,即可进行模拟,每一次模拟之后,都可以随机选择保留一个天赋能力!你选择认罪,并且随意攀咬他人,说是受人指使!金刀卫查探之后发现你牛头不对马嘴,将你凌迟处死!你选择喊冤,喊破喉咙也没有人理你!三日之后,你被法场处斩!你选择三日之后,你被法场处斩!叶流云一阵欲哭无泪,我想回地球!如果您喜欢模拟器开局天牢死囚,别忘记分享给朋友...
红袖读书首届全球征文大赛参赛作品如果您喜欢郡主难惹,别忘记分享给朋友...
杨霄穿越斗罗大陆,觉醒黄金瞳,掌握风水火土精神五大元素。在星斗大森林里怒爆君焰,在史莱克学院时间零秒杀唐三,言灵黑日吞噬万物,言灵审判神鬼皆杀。在面对杀戮之都的暴乱三国之战神界的讨伐,杨霄不得不以战止战,重走封神之路,拿回至高的权与力。如果您喜欢我在斗罗怒爆君焰,别忘记分享给朋友...
开局顶替sword剑皇上场,暴打可汗,直接给可汗带上痛苦面具。一边吊打各路LCK上单,一边发歌?不会唱跳rap的偶像不是一个好上单?这是一个峡谷之巅路人王重生到LOL职业赛场打职业的故事,梦的起点在LCK,但梦的终点在LPL。天不生我林灿宇,LCK上单万古如长夜。如果您喜欢联盟开局暴打可汗,别忘记分享给朋友...