友情提示：如果本网页打开太慢或显示不完整，请尝试鼠标右键“刷新”本网页！
走进修仙-第790部分
快捷操作: 按键盘上方向键 ← 或 → 可快速上下翻页 按键盘上的 Enter 键可回到本书目录页 按键盘上方向键 ↑ 可回到本页顶部! 如果本书没有阅读完，想下次继续接着阅读，可使用上方 "收藏到我的浏览器" 功能 和 "加入书签" 功能！
这一点，陈由嘉也是这么想的。
但毫无疑问的是，陈景云多半会帮转。
所以，王崎觉得，这还不如自己来呢。
之后的三天，陈由嘉都在想办法完善这型论。
与此同时，她也写出了初步的论文，并将部分稿件与致谢函放在一起。
而在这个过程当中，基派则依旧按照自己的步调走着。
他们不会为了这等事情而停下自己的脚步。对于算学家来说，没有什么比“算学的根基”更为重要的事情。
甚至王崎也不再去毓族聚居地。他将形式语言学完全交给了子虚易等新一代的毓族算学者，自己则只是抽空指点。
他也回到了基派的工作上。
整个学派有条不紊的运转，一点一滴的推进。
他感觉，自己距离下一个关口更近了。
……
无光天牢，算君接到了新的信函。
“致谢……”算君眉毛微微扬起。这倒是很罕见的理由。
而且……陈由嘉……这个名字很陌生啊。应该是最近才出头的新一代。却不知道找自己做什么。
这样想着，算君继续阅读。
然后，他笑了：“呵呵，居然是那一份文稿吗？还行，有人能够做出点新东西。”
他带着这样的表情，仔细读了一遍，然后又扫了一遍。
第一遍的时候，还有点兴趣。但第二遍，脸上的笑意就逐渐减少了。
“只是这样啊。”他如此想着，感觉稍稍有点扫兴。
他对这东西倒不是特别看重。
不过，对他来说，这一篇论文，也确实有点用处。
起码，能够让他更好的理解兽机关集群——但没这篇论文，他也不是不能工作。
“总归是承你的情。”算君自言自语着，放开一个幻术界面，带着两分认真的，写了一封回函。
……
神州本土，冯落衣震惊的看着自己手上新的信件。
“陈由嘉……王崎那边的？”
他实在是无法理解。
为什么，这种带有典型连宗思维特征的论文，会出自一个……离宗弟子之手？
真的是非常古怪。
但是，这东西，确实阐释了一些兽机关集群的混沌拓扑网络算法的精髓，解答了一些疑惑。
但也只是阐释了部分而已。
算君的成就，可还没那么简单。
冯落衣忍不住又看了一遍。
他本能的感觉到，这一片看上去好像离宗连宗算理杂交产物的论文，蕴含着巨大的可能性。
于是，他快速连上了图灵真人。
“图灵道友，我这里有一篇论文，很有意思，希望你能看一看。”
半个时辰之后，图灵真人出现在万仙幻境之中：“这篇论文，真是了不得啊。”
对于类型论牺牲图灵完备的做法，他倒是没有任何意见。相反，他还觉得挺有趣的。
第一次想到有这样的结构。
如果说“图灵机”的构想是画地为牢，那么“类型”就是一副枷锁，将使用者牢牢束缚。
他确实是觉得这样很有趣。
图灵真人显得有些激动：“根据这理论当中的一些东西，我觉得，可以重新构造出一门全新的高级算器语言了——这能够极大的造福千机阁弟子！”
“语言？哦，语言！”冯落衣突然问道：“《形式语言学》，你已经了解过了吗？”
“怎么可能不了解？”图灵真人瞪大眼睛，反问道：“你弟子的成就，你自己就不关心吗？”
“嗯……了解倒是有了解……”冯落衣沉吟。
形式语言学，他了解得确实不多。
这几个月里，歌庭一直在秘密联系他，邀请他再做元算之算。
本来，冯落衣就觉得是自己支持王崎入道，而王崎的不周之算，否定了元算之算，他也颇为愧疚。
这大半年来，他的精神都投入其中了。
“有了王崎的形式语言学，做算器的语言，也就容易了许多。”图灵真人说道：“我觉得，你也可以好好了解一下。”
冯落衣点了点头：“确实……”
——不过，王崎发展“形式语言学”，也是为了这一成就做铺垫吗？
——端是深谋远虑！
“下一步，我打算尝试将类型纳入我的算器结构之中。”图灵真人如此说道：“说不定能够做出什么东西来。”
冯落衣点了点头：“嗯，王崎也是一般看法。”
只是，他始终有一道心思，放在元算之算上。
陈由嘉关于“无限公理”的阐释，也确实给了他灵感。
他已经想好自己的下一篇论文了。
……
“嘶，真是天才的想法！”海霆真人却比其他几人都要直接很多。
他看上去更为年少，从外表上看，倒与新崛起的一代修士更像是同时代的人物。
“陈由嘉……我记得，是王崎的道侣。”
“这么说来，是那个基派，也意识到自己过去的错误，想要来参悟连宗算理了？”
——不。
他自己否定了这个想法。
一个人转变想法，虽然困难，但还是有可能的。而一个学派，就没办法了。
黎京学派，分为老黎派和少黎派，也是这个原因。
白泽神君是离宗修士，自然不会容忍算君这样的异端。
好在白泽神君尚有容人之量，没有打压算君。
但就算如此，少黎派还是自立了。
就算基派成立时间尚浅，也不至于就这样集体转向。
“个人的行为？还是王崎的授意？”
他也注意到，陈由嘉进行语言分类的时候，思路与“形式语言学”有一定的相似之处。
但形式语言学使用的算理，却是典型的离宗算理。
“但不管怎么说，陈由嘉也是王崎的道侣。若是她能够倒向连宗，对连宗也是一大好事。”
——若是能够凭此影响王崎，就更好了。
这样的小小想法，就连海霆真人自己也没有意识到。
他自己也不相信，王崎那样的修士，会因为其他人的因素，而改变自己对算学的看法。
能够影响王崎的，只有王崎自身而已。除非王崎是自己推导出新的算理，否则，没人能够强迫他改变心念。
但他还是写得很认真。
或者说，他就是抱着“传道”的心思，指点后辈了。
毕竟……要是有“万一”呢？
……
陈由嘉很快就收到了三封完全不同的回函。
其中，算君的回函，是最先抵达的。
在王崎的坚持之下，陈由嘉在基派众人的面前，拆开了算君的回函，然后小心的阅读。
算君的回函不长，也没有什么客套话。
但是，他却是很简单的指点了陈由嘉的思路，并告诉她，按照这想法，可以朝那个方向研究，对应兽机关集群算法的哪个部分。
连宗第一人、兽机关集群算法的开创者的亲自指导，自然是异常珍贵的。
陈由嘉甚至感觉，自己的面前，出现了一条新的明路。
而另一封，则是海霆真人的回函。
这一份就厚了许多。他却是从基础乳沟，在各个方面介绍了连宗的逻辑构造。
这却是很好了补充了陈由嘉的连宗算理认识。
怎么说呢，她的父亲和丈夫，都是典型的离宗修士，就算她初出茅庐之时有心算连宗算理，也学不了多么高深的东西。
这一份，却是解了陈由嘉的燃眉之急。
冯落衣的回函，却是姗姗来迟。
他的回函，甚至还包括一篇完整的论文。
是关于无限公理安全性的论文。
而与论文一同寄来的信件，就私人了很多。冯落衣甚至很客气的表示陈由嘉给他提供了新的灵感，还问起她和王崎的近况如何。
三封回函，都颇有价值。
陈由嘉在吃透海霆真人的回函之后，就将自己最近的心得写出，准备寄给远在神州的苏君宇。
整个基派，目前也就只有他们两个在这一块打转了。
冯落衣和王崎都表示连续统也算是基础算理的重要部分，又与后来的算器理论有一定的关联。和苏君宇交流，说不定意外的有用never？
然后，她就开始研究算君之处的道路了。
……
数日之后，神州，万法门内。
苏君宇接到了他乡的来函之后，一脸懵逼：“我勒个去，这么猛的？算君的书稿这么有价值？”
想到这里，他就感到万分纠结。
最终，苏君宇选择提笔写信：“师弟啊，你们那边的最后一个名额，还没用掉吧？”
第一百章 序幕
后世的历史学家很难形容歌庭派与少黎派的最后一场大规模论战。
这一场大乱斗，牵涉了万法门当今一代几乎所有的天才，所有能在“基础算理”这个领域发言的前辈修士，也都表露出了自己的想法。
唯有两个“有理由出现”的人没有参与。
算君照例缺席了这种在他看来不痛不痒的论战上。
而王崎则在他乡忙着自己的基础算学，也无心参战。
但就算如此，这一场论战的影响，也已经超过了过去的每一场论战。
元算之算虽然统合起了巨大的力量。但本质上，它也只是离宗内部的动作。
算君早就去了星海之间。同时代的连宗修士，全部都被算主一个人压制。
当时这一次不同了。
除开那两个不属于这个时代的天才人物之外，这一次论战所牵涉的力量更广，影响力也更大。
它甚至不是单纯的纯粹算理层面。
此时此刻，万仙幻境已经成为仙盟的基石之一，每一个门派的修士，都已经习惯了租用万仙幻境的演算量进行研究工作。
而算器理论的基石，就是歌庭派、千机阁那几人所完成的“算理逻辑”。
不同于地球，缔造出可以工程实现的计算机器比较困难。在灵气黑箱的基础上，所有这一领域的演算之法，都有靠法术实现的可能。
这里面，甚至还包含着一丝“技术突破”的意味。
因此，纵使是那些“中立派”，也没有调解论战的理由。
陈景云难得没有沉浸在算学之中。
他只是心惊胆战的从空中俯瞰万法门。
尽管现在万法门内，青山依旧，但这只是因为，这些景色不会虽人心二栋。
在一般人看不到的领域里。无数气机正在交锋。
尽管现在他已经是逍遥，而非过去的半步逍遥，但他依旧感到了自身的弱小。
下面，根本就是怪物厮杀的场地。有更多的天才加入了其中。
每一个人都显得疯狂了起来。
现在的万法门，说是火山口也不为过。
陈景云前些日子甚至发现，自己的女儿都想要趟这趟浑水。
这让他罕见的心神不宁了，几乎没办法工作。男人觉得应该有个什么诗词，形容一下自己现在的想法，但是他只是张了张嘴，却说不出来。
“这不是我的风格啊。”陈景云苦笑。他的老师华若庚倒是喜欢这么做，可他不行。
在这个仙盟主导一切的时代，“门主”也就是个吃亏的差事而已。他只是恰逢其会，被推了出来——仅仅是因为他是那种“天资有限而以努力成道”的典型人物。玄星观的表面工作都是不动法王霍金去做，也是差不多的道理。
但现在，这是涉及到整个门派，甚至整个人族命运的大事。
这已经不是人力可以干涉的时代变化了。
陈景云也只是静静的看着。
不停的有遁光从门内离去。看样子，一些更在“应用”的修士，都已经打算出去避祸了吧？
尽管现在离宗连宗双方，都不断的有新的理论抛出，好似烈火烹油一般，但谁也不能保证，这些理论不会在明天被否决。谁也不知道油锅里的油，会不会在什么时候，被火点燃。
不周之算已经摧毁了算学有可能存在的坚实根基——那是虽不能抵达，却支撑着半数万法门弟子的精神力量。所有算学家现在都是在走钢丝，他们都没有断言自己绝对正确的勇气。
而这个时候，若是思维被一篇很快就会被否决的东西带偏，就很危险了。
避过这风头，等到尘埃落定的时候，再与胜者站在一处，也是正常的选择吧？
陈景云看着那些离开的人，摇了摇头。
“好了，回去继续吧。”
……
那些被陈景云注视着的遁光之中，有一道是属于苏君宇的。
他之前已经给自己家里交代好了这件事。现在，他差不多该去焚金谷一趟了。
元神后期修士的遁光无比快捷。个把时辰，苏君宇就落到了焚金谷门口。
和其他门派驻地那种青山绿水不同的是，焚金谷看样子是相当的穷山恶水。两道平行的山岭之间，巨大的谷底之内片片荒芜，只有许多生命力异常顽强的植物，才能够在这里生长——而通常情况下，那些植被都会生长在浅层矿脉或盐碱化土地之中。
早期焚金谷修士选择这么一个区域，很大程度上也是因为“处理废弃物方便”。两侧的群山挡住了季风，而地势最低的这里，也无需担心成分复杂的废弃物虽水溜走。虽然今日的焚金谷早就不用那种原始的手段处理废弃物了，但是，新的研究机构，却始终是依托老的研究机构建立的。学者自发汇聚，使得这个山谷成为了一条下场的“学术地带”。
无数实证部在这里排布成一条长龙。
苏君宇走了进去。焚金谷最近似乎在重新规划的样子。他只是随便挑个时间来，都能看到好几家实证部在改造。
几乎所有焚金谷修士都是匆匆忙忙的。
这便是这个门派的现状了。
凝聚之道——从“虚无飘渺”指向“现实”的，新生的一条道。
它直接引发了焚金谷的震动，导致了齐内部的改变。
苏君宇快步走了进去。
项琪现在已经是结丹期大圆满了，不会进入实证部，而是做元神设计，好能够进一步突破。
在仙盟现有的制度之下，元神期以元神期之下，就是两个概念。结丹期以下的修士，能够做的研究很少。也只有极少数天才，才能够在元神期之前就接触到真正的研究工作。所以，结丹期大圆满的修士，多半不会选择在实证部继续打下手、干杂活，而是干脆离开实证部，就一心搞元神设计，踏破天关之后才回去。
所以，项琪现在最后可能在的地方……
苏君宇快步来到焚金谷的守藏室，肆无忌惮的用灵识扫描了一遍。
“那个人是谁啊？好像不是我们门派的吧？”
“万法门？”
“看服饰，可还是个元神宗师咧。怕不是来找人的？”
这种举动多少有些无礼。但苏君宇此时心情迫切，已经顾不得许多了。
往日的他是不会这么做的。
——不在这里。
意识到这一点之后，苏君宇就立刻转身离开了。
……
“唔唔唔……还是没头绪啊……”项琪一头撞在桌子上：“不行啊，不行啊，想不到啦！没办法啦！”
她脑袋在桌面上滚了几下，最后站了起来：“一不小心就和门派前沿脱节啦！”
“仔细想想，现在应该怎么办？”
“凝聚之道，凝聚之道……啊！想要设计出凝聚之道的元神，现在还是太困难啦！”
“要不要现在会实证部？仔细想想啊，如果现在印帕郴厝ィκ迨闼腔故腔岣腋鑫恢玫陌桑克淙荒壑老衷诨故潜冉锨把氐难芯浚苣迅疑鲜郑牵咳展勰Γ苣芗由钜恍┲惫塾∠蟀桑俊�
“但是……呜，哪有结丹期大圆满的修士去干杂活的啦！”
就在这个时候，她闭关的静室大门被粗暴的敲了几下。
“谁啊！没看见别人闭关啊！”项琪直接站起来，开口怒斥。
然后，轰的一声，一只穿着长靴的脚，将大门一下子踢开。
项琪吓了一跳。这门上的禁制可是她亲手加固过的，结丹期大圆满修士都很难轰开。这一击而碎，就说明对方是个元神期修士？
——最近有得罪什么人吗？
项琪这么想着，本能的缩了缩脖子。但看到来人的脸后，立刻火冒三丈：“苏君宇你干什么啊？敲门不会……啊！”
苏君宇突然扑过来，将她一把抱住：“实在是不好意思，我现在时间很赶，生怕按捺不住自己的情绪……”
项琪不知所措，声音都柔和了不少：“我……你这怎么了这是？不是说好等我元神再，那个……嗯……成婚什么的……”
苏君宇松开项琪，两手扣住对方肩膀：“这个啊，你要说的话呢……我最近证道契机将近，所以特地来看一看。”
项琪一愣，气乐了：“激我呢？元神后期啦？甩我一个大境界啦？怕我不能突破元神啦？至于吗你？啊？搁这儿来炫耀来了——好好好，你厉害，你天才！”女子伸出手，扯了扯苏君宇的脸：“真的是，脸皮哟。想我就想我呗，猴急猴急的。还扯这么大一同。”
苏君宇深吸一口气：“我说认真的。我今天才收到算君的手稿。上面很有可能就是我下一步的方向。所以，今天晚些时候，我就会去阳神阁，在阳神阁高手的监督之下，阅读算君手稿。”
说道这里，他顿了一下，脸色才柔和下来：“这是好事，也是天大的机会。有阳神阁强者看着，不会出大岔子。书稿也是王崎那小子解读过一遍的，危险性大减——但既然是算君，总还是有点危险的。”
“别说话。”项琪反抱住苏君宇。
第一百零一章 爆发
为这大争之世打响第一枪的，是冯落衣。
尽管歌庭斋已经交托给了身为连宗修士的算主首徒何外尔手中，但是歌庭派依旧是离宗正统，依旧是算主嫡系。这一点，从来就不会因为何外尔或其他任何一个人的因素而简单改变。
或许百年之后，歌庭斋终将变成另外一个样子，但是何外尔一个人，终归是无法扭转这个石头的。
歌庭派最核心的修士，已经杀红了眼，处心积虑的将要将连宗算理同被不周之算所击溃的那部分离宗算理划上等号，将他们也纳入不周之算的攻击范围之中。
但最先完成成果的，却还是冯落衣——这位有着“非人”之称的天才人物。
应当说，冯落衣找到了全新的思路。
他们宣称，集合论之前的思路都有问题。
不应该从“全部”，而是应该从“无”之中入手。
所有的“集合”，都必须从“空集”开始，进行构建。
或者说，只有从空集开始构建的集合才被承认为合法集合。
除此之外的集合，都是有问题的，都是被不周之算抽掉了根基的空中阁楼。
无论是有穷集还是无穷集，都必须从“空集”开始。
空集？对应0，｛？｝对应1，｛？｛？｝｝就对应2。如果一切集合，包括无穷集合都有类似的良序，那么，那么就可以实施超越无限的归纳——就和普通的数学归纳一样。
然后，离宗至高成就的“天理体系”【ZF公理体系】，其全部公理，都能够在良基集合之中实现。
这就是冯落衣的命题。
这位天才，先后用两篇论文，完成了这一伟大的论证。
任何证明构造都必须是有穷长度的，关于矛盾的证明也不例外。而无穷公理——自然数无穷集合存在公理，之运用到了后继运算和空集运算。这两个运算，在连宗的算理当中，均有对应。因而，这两个算理，在连宗算理和离宗算理之间，是绝对的。换言之，离宗算理和连宗算理，其实存在着相当程度上的一致内蕴。
这就是两个算理的“绝对性”。
因此，如果无穷公理有矛盾，那么这个矛盾，也会通过一个“有穷”的翻译过程，出现在算理之中。
无穷功能公理，是安全的。
这篇论文一出，便是连宗修士的大面积吐血。
谁都知道，连宗，特别是近代连宗代表的少黎派，就是否认“无穷”与“排中律”的。算君认为，物质的世界不存在无穷的对象，算学的世界同样不应该存在无穷的对象。
这便是撼动了连宗的根基了。
无数连宗算家抓耳挠腮，恨不能立刻就写出论文，反击冯落衣。
但是，很快，冯落衣的第二篇论文，就让所有的争论都偃旗息鼓。
“如果取无穷公理的否定形式作为公理，有穷良序之中的矛盾也会更加方便的体现在其他公理之上。”
“因此，某种意义上来讲，无穷公理不可证明，也不可证否。”
这一下，便如同晴天霹雳，镇得所有连宗算家都说不出话来了。
一般来说，“可证伪性”，便是今法仙道的根基所在。不具备可证伪性的东西，没有讨论的价值。
但是，算学的地位，却稍稍特殊一些。
就连那些算学家自己都说不清楚，自己的工作，到底是“发现”还是“发明”。
在这一点上，算君和王崎绝对持有完全相反的看法。
当然，在美神那种层次看来，这种争持，完全就是笑话。
王崎在与美神遭遇之后，便也有了这种倾向。
他甚至都在形式语言学的序言之中表示，这种争论，纯粹就是自然语言混沌不堪，非得分出“发现”和“发明”两个完全不同的概念。
但不管怎么说，在算学领域，一个不可证明也不可证伪的理论，是允许存在的。
快捷操作: 按键盘上方向键 ← 或 → 可快速上下翻页 按键盘上的 Enter 键可回到本书目录页 按键盘上方向键 ↑ 可回到本页顶部!
温馨提示： 温看小说的同时发表评论，说出自己的看法和其它小伙伴们分享也不错哦！发表书评还可以获得积分和经验奖励，认真写原创书评 被采纳为精评可以获得大量金币、积分和经验奖励哦！