按键盘上方向键 ← 或 → 可快速上下翻页，按键盘上的 Enter 键可回到本书目录页，按键盘上方向键 ↑ 可回到本页顶部！
————未阅读完？加入书签已便下次继续阅读！
第一次想到有这样的结构。
如果说“图灵机”的构想是画地为牢，那么“类型”就是一副枷锁，将使用者牢牢束缚。
他确实是觉得这样很有趣。
图灵真人显得有些激动：“根据这理论当中的一些东西，我觉得，可以重新构造出一门全新的高级算器语言了——这能够极大的造福千机阁弟子！”
“语言？哦，语言！”冯落衣突然问道：“《形式语言学》，你已经了解过了吗？”
“怎么可能不了解？”图灵真人瞪大眼睛，反问道：“你弟子的成就，你自己就不关心吗？”
“嗯……了解倒是有了解……”冯落衣沉吟。
形式语言学，他了解得确实不多。
这几个月里，歌庭一直在秘密联系他，邀请他再做元算之算。
本来，冯落衣就觉得是自己支持王崎入道，而王崎的不周之算，否定了元算之算，他也颇为愧疚。
这大半年来，他的精神都投入其中了。
“有了王崎的形式语言学，做算器的语言，也就容易了许多。”图灵真人说道：“我觉得，你也可以好好了解一下。”
冯落衣点了点头：“确实……”
——不过，王崎发展“形式语言学”，也是为了这一成就做铺垫吗？
——端是深谋远虑！
“下一步，我打算尝试将类型纳入我的算器结构之中。”图灵真人如此说道：“说不定能够做出什么东西来。”
冯落衣点了点头：“嗯，王崎也是一般看法。”
只是，他始终有一道心思，放在元算之算上。
陈由嘉关于“无限公理”的阐释，也确实给了他灵感。
他已经想好自己的下一篇论文了。
……
“嘶，真是天才的想法！”海霆真人却比其他几人都要直接很多。
他看上去更为年少，从外表上看，倒与新崛起的一代修士更像是同时代的人物。
“陈由嘉……我记得，是王崎的道侣。”
“这么说来，是那个基派，也意识到自己过去的错误，想要来参悟连宗算理了？”
——不。
他自己否定了这个想法。
一个人转变想法，虽然困难，但还是有可能的。而一个学派，就没办法了。
黎京学派，分为老黎派和少黎派，也是这个原因。
白泽神君是离宗修士，自然不会容忍算君这样的异端。
好在白泽神君尚有容人之量，没有打压算君。
但就算如此，少黎派还是自立了。
就算基派成立时间尚浅，也不至于就这样集体转向。
“个人的行为？还是王崎的授意？”
他也注意到，陈由嘉进行语言分类的时候，思路与“形式语言学”有一定的相似之处。
但形式语言学使用的算理，却是典型的离宗算理。
“但不管怎么说，陈由嘉也是王崎的道侣。若是她能够倒向连宗，对连宗也是一大好事。”
——若是能够凭此影响王崎，就更好了。
这样的小小想法，就连海霆真人自己也没有意识到。
他自己也不相信，王崎那样的修士，会因为其他人的因素，而改变自己对算学的看法。
能够影响王崎的，只有王崎自身而已。除非王崎是自己推导出新的算理，否则，没人能够强迫他改变心念。
但他还是写得很认真。
或者说，他就是抱着“传道”的心思，指点后辈了。
毕竟……要是有“万一”呢？
……
陈由嘉很快就收到了三封完全不同的回函。
其中，算君的回函，是最先抵达的。
在王崎的坚持之下，陈由嘉在基派众人的面前，拆开了算君的回函，然后小心的阅读。
算君的回函不长，也没有什么客套话。
但是，他却是很简单的指点了陈由嘉的思路，并告诉她，按照这想法，可以朝那个方向研究，对应兽机关集群算法的哪个部分。
连宗第一人、兽机关集群算法的开创者的亲自指导，自然是异常珍贵的。
陈由嘉甚至感觉，自己的面前，出现了一条新的明路。
而另一封，则是海霆真人的回函。
这一份就厚了许多。他却是从基础乳沟，在各个方面介绍了连宗的逻辑构造。
这却是很好了补充了陈由嘉的连宗算理认识。
怎么说呢，她的父亲和丈夫，都是典型的离宗修士，就算她初出茅庐之时有心算连宗算理，也学不了多么高深的东西。
这一份，却是解了陈由嘉的燃眉之急。
冯落衣的回函，却是姗姗来迟。
他的回函，甚至还包括一篇完整的论文。
是关于无限公理安全性的论文。
而与论文一同寄来的信件，就私人了很多。冯落衣甚至很客气的表示陈由嘉给他提供了新的灵感，还问起她和王崎的近况如何。
三封回函，都颇有价值。
陈由嘉在吃透海霆真人的回函之后，就将自己最近的心得写出，准备寄给远在神州的苏君宇。
整个基派，目前也就只有他们两个在这一块打转了。
冯落衣和王崎都表示连续统也算是基础算理的重要部分，又与后来的算器理论有一定的关联。和苏君宇交流，说不定意外的有用never？
然后，她就开始研究算君之处的道路了。
……
数日之后，神州，万法门内。
苏君宇接到了他乡的来函之后，一脸懵逼：“我勒个去，这么猛的？算君的书稿这么有价值？”
想到这里，他就感到万分纠结。
最终，苏君宇选择提笔写信：“师弟啊，你们那边的最后一个名额，还没用掉吧？”
第一百章 序幕
后世的历史学家很难形容歌庭派与少黎派的最后一场大规模论战。
这一场大乱斗，牵涉了万法门当今一代几乎所有的天才，所有能在“基础算理”这个领域发言的前辈修士，也都表露出了自己的想法。
唯有两个“有理由出现”的人没有参与。
算君照例缺席了这种在他看来不痛不痒的论战上。
而王崎则在他乡忙着自己的基础算学，也无心参战。
但就算如此，这一场论战的影响，也已经超过了过去的每一场论战。
元算之算虽然统合起了巨大的力量。但本质上，它也只是离宗内部的动作。
算君早就去了星海之间。同时代的连宗修士，全部都被算主一个人压制。
当时这一次不同了。
除开那两个不属于这个时代的天才人物之外，这一次论战所牵涉的力量更广，影响力也更大。
它甚至不是单纯的纯粹算理层面。
此时此刻，万仙幻境已经成为仙盟的基石之一，每一个门派的修士，都已经习惯了租用万仙幻境的演算量进行研究工作。
而算器理论的基石，就是歌庭派、千机阁那几人所完成的“算理逻辑”。
不同于地球，缔造出可以工程实现的计算机器比较困难。在灵气黑箱的基础上，所有这一领域的演算之法，都有靠法术实现的可能。
这里面，甚至还包含着一丝“技术突破”的意味。
因此，纵使是那些“中立派”，也没有调解论战的理由。
陈景云难得没有沉浸在算学之中。
他只是心惊胆战的从空中俯瞰万法门。
尽管现在万法门内，青山依旧，但这只是因为，这些景色不会虽人心二栋。
在一般人看不到的领域里。无数气机正在交锋。
尽管现在他已经是逍遥，而非过去的半步逍遥，但他依旧感到了自身的弱小。
下面，根本就是怪物厮杀的场地。有更多的天才加入了其中。
每一个人都显得疯狂了起来。
现在的万法门，说是火山口也不为过。
陈景云前些日子甚至发现，自己的女儿都想要趟这趟浑水。
这让他罕见的心神不宁了，几乎没办法工作。男人觉得应该有个什么诗词，形容一下自己现在的想法，但是他只是张了张嘴，却说不出来。
“这不是我的风格啊。”陈景云苦笑。他的老师华若庚倒是喜欢这么做，可他不行。
在这个仙盟主导一切的时代，“门主”也就是个吃亏的差事而已。他只是恰逢其会，被推了出来——仅仅是因为他是那种“天资有限而以努力成道”的典型人物。玄星观的表面工作都是不动法王霍金去做，也是差不多的道理。
但现在，这是涉及到整个门派，甚至整个人族命运的大事。
这已经不是人力可以干涉的时代变化了。
陈景云也只是静静的看着。
不停的有遁光从门内离去。看样子，一些更在“应用”的修士，都已经打算出去避祸了吧？
尽管现在离宗连宗双方，都不断的有新的理论抛出，好似烈火烹油一般，但谁也不能保证，这些理论不会在明天被否决。谁也不知道油锅里的油，会不会在什么时候，被火点燃。
不周之算已经摧毁了算学有可能存在的坚实根基——那是虽不能抵达，却支撑着半数万法门弟子的精神力量。所有算学家现在都是在走钢丝，他们都没有断言自己绝对正确的勇气。
而这个时候，若是思维被一篇很快就会被否决的东西带偏，就很危险了。
避过这风头，等到尘埃落定的时候，再与胜者站在一处，也是正常的选择吧？
陈景云看着那些离开的人，摇了摇头。
“好了，回去继续吧。”
……
那些被陈景云注视着的遁光之中，有一道是属于苏君宇的。
他之前已经给自己家里交代好了这件事。现在，他差不多该去焚金谷一趟了。
元神后期修士的遁光无比快捷。个把时辰，苏君宇就落到了焚金谷门口。
和其他门派驻地那种青山绿水不同的是，焚金谷看样子是相当的穷山恶水。两道平行的山岭之间，巨大的谷底之内片片荒芜，只有许多生命力异常顽强的植物，才能够在这里生长——而通常情况下，那些植被都会生长在浅层矿脉或盐碱化土地之中。
早期焚