bsp; ——不过,王崎发展“形式语言学”,也是为了这一成就做铺垫吗?
——端是深谋远虑!
“下一步,我打算尝试将类型纳入我的算器结构之中。”图灵真人如此说道:“说不定能够做出什么东西来。”
冯落衣点了点头:“嗯,王崎也是一般看法。”
只是,他始终有一道心思,放在元算之算上。
陈由嘉关于“无限公理”的阐释,也确实给了他灵感。
他已经想好自己的下一篇论文了。
……………………………………………………………………………………
“嘶,真是天才的想法!”海霆真人却比其他几人都要直接很多。
他看上去更为年少,从外表上看,倒与新崛起的一代修士更像是同时代的人物。
“陈由嘉……我记得,是王崎的道侣。”
“这么说来,是那个基派,也意识到自己过去的错误,想要来参悟连宗算理了?”
——不。
他自己否定了这个想法。
一个人转变想法,虽然困难,但还是有可能的。而一个学派,就没办法了。
黎京学派,分为老黎派和少黎派,也是这个原因。
白泽神君是离宗修士,自然不会容忍算君这样的异端。
好在白泽神君尚有容人之量,没有打压算君。
但就算如此,少黎派还是自立了。
就算基派成立时间尚浅,也不至于就这样集体转向。
“个人的行为?还是王崎的授意?”
他也注意到,陈由嘉进行语言分类的时候,思路与“形式语言学”有一定的相似之处。
但形式语言学使用的算理,却是典型的离宗算理。
“但不管怎么说,陈由嘉也是王崎的道侣。若是她能够倒向连宗,对连宗也是一大好事。”
——若是能够凭此影响王崎,就更好了。
这样的小小想法,就连海霆真人自己也没有意识到。
他自己也不相信,王崎那样的修士,会因为其他人的因素,而改变自己对算学的看法。
能够影响王崎的,只有王崎自身而已。除非王崎是自己推导出新的算理,否则,没人能够强迫他改变心念。
但他还是写得很认真。
或者说,他就是抱着“传道”的心思,指点后辈了。
毕竟……要是有“万一”呢?
………………………………………………………………………………
陈由嘉很快就收到了三封完全不同的回函。
其中,算君的回函,是最先抵达的。
在王崎的坚持之下,陈由嘉在基派众人的面前,拆开了算君的回函,然后小心的阅读。
算君的回函不长,也没有什么客套话。
但是,他却是很简单的指点了陈由嘉的思路,并告诉她,按照这想法,可以朝那个方向研究,对应兽机关集群算法的哪个部分。,
连宗第一人、兽机关集群算法的开创者的亲自指导,自然是异常珍贵的。
陈由嘉甚至感觉,自己的面前,出现了一条新的明路。
而另一封,则是海霆真人的回函。
这一份就厚了许多。他却是从基础入手,在各个方面介绍了连宗的逻辑构造。
这却是很好了补充了陈由嘉的连宗算理认识。
怎么说呢,她的父亲和丈夫,都是典型的离宗修士,就算她初出茅庐之时有心算连宗算理,也学不了多么高深的东西。
这一份,却是解了陈由嘉的燃眉之急。
冯落衣的回函,却是姗姗来迟。
他的回函,甚至还包括一篇完整的论文。
是关于无限公理安全性的论文。
而与论文一同寄来的信件,就私人了很多。冯落衣甚至很客气的表示陈由嘉给他提供了新的灵感,还问起她和王崎的近况如何。
三封回函,都颇有价值。
陈由嘉在吃透海霆真人的回函之后,就将自己最近的心得写出,准备寄给远在神州的苏君宇。
整个基派,目前也就只有他们两个在这一块打转了。
冯落衣和王崎都表示连续统也算是基础算理的重要部分,又与后来的算器理论有一定的关联。和苏君宇交流,说不定意外的有用呢?
然后,她就开始研究算君指出的道路了。
……………………………………………………………………
数日之后,神州,万法门内。
苏君宇接到了他乡的来函之后,一脸懵逼:“我勒个去,这么猛的?算君的书稿这么有价值?”
想到这里,他就感到万分纠结。、
最终,苏君宇选择提笔写信:“师弟啊,你们那边的最后一个名额,还没用掉吧?”