——不过，王崎发展“形式语言学”，也是为了这一成就做铺垫吗？

——端是深谋远虑！

“下一步，我打算尝试将类型纳入我的算器结构之中。”图灵真人如此说道：“说不定能够做出什么东西来。”

冯落衣点了点头：“嗯，王崎也是一般看法。”

只是，他始终有一道心思，放在元算之算上。

陈由嘉关于“无限公理”的阐释，也确实给了他灵感。

他已经想好自己的下一篇论文了。

……

“嘶，真是天才的想法！”海霆真人却比其他几人都要直接很多。

他看上去更为年少，从外表上看，倒与新崛起的一代修士更像是同时代的人物。

“陈由嘉……我记得，是王崎的道侣。”

“这么说来，是那个基派，也意识到自己过去的错误，想要来参悟连宗算理了？”

——不。

他自己否定了这个想法。

一个人转变想法，虽然困难，但还是有可能的。而一个学派，就没办法了。

黎京学派，分为老黎派和少黎派，也是这个原因。