走进修仙-第1071章

按键盘上方向键 ← 或 → 可快速上下翻页，按键盘上的 Enter 键可回到本书目录页，按键盘上方向键 ↑ 可回到本页顶部！
————未阅读完？加入书签已便下次继续阅读！


　　要知道，大牧首……不，是整个极微之子，都没有诞生过这样的左道修法。
　　这种燃命燃灵之道，只会将他们原本就不长的寿命瞬间完全燃烧。
　　所以，这些强大仙人，修炼这样一门功法，竟也费了些许功夫，才成功入门。
　　在这之前，他们就手滑烧掉了好多化身了。
　　这期间，路小茜自己也尝试兼修这一门功法。
　　不同于王崎将之嫁接在自身就有的天熵诀变化上，路小茜只能在体内另辟蹊径，重塑经脉，容纳这一团全新的法力。
　　她如今也是元神期修士了，调整功体要困难许多，又不似王崎那样，元神本身就是千变万化的类型。
　　所幸这个过程之中，大牧首一直都在对她进行指点，直接引导她那微弱的法力完成入门。
　　只可惜的是，或许是因为她是土之民，又或者她先天的主观感知将新的感觉汇入了原本的五听之中而不自觉，总之，她没有任何新的感知。
　　大牧首倒是有所得。但是，他最终也只能提供诸如“冰面之下的洋流”这类似是而非的比喻。
　　这还是因为大牧首在岩质行星上生活过很长一段时间的缘故。
　　实际上，其他的极微牧者，给出的比喻就像是“温柔的黑子”、“耀斑的前奏”之类，不明觉厉的东西。
　　“相互理解”真的是一个很难的事情。
　　那龙族长生者就在这颗恒星的大气外侧晒着太阳打这盹。
　　等到路小茜确认已经达成目标之后，他才下来，问道：“已经结束了吗？”
　　“已经完成了。”路小茜点点头。此时她神采飞扬。尽管极微牧者给出的东西都很模糊，但是，她确实从这些诗意的描述之中寻到了一些灵感。
　　下面，就是回去将之转化为今法仙道的语言了。
　　龙族长生者清啸一声，对极微牧者告别。
　　而这一刻，在金属大地的边缘，七色的霞光，如同七彩莲花一样绽放。
　　这是这些火之民的礼仪。
　　路小茜之前已经与大牧首他们告别过了。龙族长生者伸出尾巴，用灵活的尾鳍卷住路小茜，然后化作一团光。
　　路小茜感觉，自己面前的星空被套上了蓝紫色的滤镜。
　　而身后的恒星，则瞬间变成血红。
　　这是她在这片大日疆域见到的最后一幕。
　　然后，缥缈宫首席意识断线，假死过去。
　　……
　　路小茜回到神州的时候，已经快要到宇历二年了。
　　让她有些可惜的是……她错过赵清潭的那一档“儿童节目”了。
　　虽然可以去找资源补，但是吧，光是追看就怪让人不好意思了，现在特地去看……显得更加幼稚了一点。
　　所以，她专门在闭关的静室上加了一圈符篆。
　　这一年年末，终于有连宗的炼虚期修士忍不住怒火，要与赵清潭做过一场。
　　只是，赵清潭如今已经不是当初刚刚回到神州的赵清潭了。
　　他也在高速成长期中。或者说，基派的所有修士，都处在高速成长期之中——包括王崎。
　　随着基派理论的进一步完善，基派修士也在以“天”为单位变强。
　　赵清潭拔剑怒挑一十三名连宗炼虚，终于因为体力不支而惜败于第一十四名。
　　但经过之前的造势，这并没有损害到基派上升的势头。
　　相反，连宗反而有了“辩不过就打，打不过还车轮战”的负面名声。
　　这让贴着膏药的赵清潭在苏君宇面前笑了许久。
　　“该！”苏君宇狠狠的说道。
　　他是基派在神州的唯一核心成员，并且与外界的诸多事务，都要落到他身上。
　　基派光荣的时候，他也能一并获益。但在这种连宗攻讦、门内暗流汹涌的时候，许多压力就得他一个人抗下了。
　　虽然早有觉悟，但是那些在他看来简直疯狂的连宗弟子，真的是有病。
　　不，不只是连宗弟子。
　　不周之算的客观存在，使得很多离宗弟子，其实都不大待见基派。
　　有一段时间，基派几乎成为连宗离宗的公敌了。
　　而赵清潭此举，算是让他出了口恶气。
　　只不过，连宗也知晓这样不善，所以收敛了很多。
　　但相对的，又有几篇沿着“切断自我指涉”这一条路绕过“不完备定理”的论文被甩了出来。
　　“形势严峻，形势严峻呀！”苏君宇如此说着，似乎有些坐卧不安。
　　“你急什么？皇帝不急的……”赵清潭摇摇头：“我再过个把月就要回他乡了，有什么事到时候再说。咱们先把这个新年安安稳稳的过了。”
　　“也是，也是。”苏君宇立刻露出笑容来：“赵师兄想来也是好几年没有回家乡了吧？我就不打扰赵师兄了。明日我就去焚金谷拜访一二。”
　　“真是……重色轻友。”赵清潭笑骂一句：“滚去焚金谷吧！”
　　这几日，两人都算舒心。
　　赵清潭的一系列举动，确实在凡人之中掀起了风潮。毫不夸张的说，他在凡人中间的知名度，就已经仅次于万法门当代门主陈景云了。陈景云亦是可以算离宗修士。而在这一点上，竟没几个连宗修士可以与之相比。
　　如果不出意外的话，下一代万法门修士当中，离宗比例，会高出不少。
　　其中也必然会有相当数量情感上天然偏向基派。
　　这就是很好的结果了。
　　而他也确实在万法门的结丹期弟子当中，挖掘出了十多个有天分的孩子，苏君宇也推荐了几个元神期修士。这些修士，都原因跟他去他乡，拜入王崎门下。
　　这次“买面粉”，算得上是“圆满成功”了。
　　只要接下来没有太大的问题，他们就可以安安心心过个好年了。
　　嗯，只要没有太大的问题。
　　没有太大问题。
　　数日之后，歌庭派众逍遥联名发表了第一篇论文。
　　《试论直觉命题演算》
　　光看标题，很难想象这是一片出自于离宗弟子之手的论文。
　　“直觉主义”的扛旗者，一直都是算君。而算君就是连宗的代表人物。
　　很少有离宗弟子对“直觉论”提出看法的。
　　如果他们在论文之中写直觉论，那么基本就是“直斥其非”了。
　　或者说直接一点，这就是要开战的节奏。
　　这一篇论文，点明了歌庭派接下来的研究方向。
　　他们想要证明，在某种意义上，直觉主义算术，和集合论是等价的。
　　直觉主义算术同样可以被不周之算否定掉！
　　连宗同样逃不过不周之算的魔咒！
　　这一篇论文一出，整个万法门都震动了起来。
　　所有连宗弟子都开始显得惴惴不安。数年之前，那半个万法门沦陷、神州仙盟近乎瘫痪的灾难性现场，还历历在目。上一次的时候，他们在幸灾乐祸的拍手。
　　这一次，轮到他们了吗？
　　而与此同时，离宗修士的眼神之中，却出现了一丝快意的光芒。
　　“不周之劫”中首创越重的离宗算家，脸上的这种表情就越明显。
　　就算我不能活，也得拉着你一起死！
　　而在这个时候，已经和歌庭派渐行渐远的冯落衣，居然抛出了全新的论文。
　　他接过了连宗对“切断自我指涉”的研究，运用算器的思想，去研究良基集。
　　并且还取得了相当的成果。
　　这令万法门内下巴碎了一地。
　　自从执掌万仙幻境之后，冯落衣就很少进行算理的研究了，与歌庭派的来往也逐渐减少。很多新一代修士都将他视为是中立的应用类算家。
　　但那些老一辈修士都还记得一点。
　　算器理论，始终是建立在离宗算理之上的。
　　歌庭派与冯落衣是在两个方向上对连宗进行攻击。
　　从思路上看，他们一方秉持着算主“相对一致”的思路，另一方则遵循了算主“切断自指”的思路。而从目的上看，他们一方是要证明排中律的安全性，另一方则是要证明无穷公理的安全性。
　　这简直就是釜底抽薪，从根底上打击连宗。
　　而且他们还使用了连宗修士的部分研究成果。
　　这使得离宗修士好像打了鸡血一样振奋。
　　但是，新年刚过，到了宇历二年的年初，远在他乡的王崎，又发表了篇全新的论文。
　　《字问题，及一个案例——关于半群字问题的不可判定性》。
　　由于“形式语言学”之前在神州铺路，所以这一门新学问，已经为人们所知晓。
　　而判定性问题，则牵涉到最近论战的核心。
　　所以，这一篇论文，确实引发了广泛关注。
　　但这却让许多离宗修士一口血吐了出来。


第九十章　怪现象
　　半群字问题的不可判定性，是人类发现的第一个并非有数学家制造，而是天然存在的不可判定性问题。
　　它也就意味着另一重真实。
　　“不可判定性，并不仅仅是局限于纯粹算理之中那么简单”。
　　它就好像是在强调“不可判定性”这个概念的客观性一样。
　　无数连宗修士如丧考妣。他们实在是无法相信，构成自己思维的语言，居然也蕴含着“不可判定性”的危险。
　　但是，一时之间，他们甚至都找不到反驳的由头。
　　因为，在“语言学”这一块上，王崎就占据着垄断地位，他使用算理与逻辑来处理文字问题。
　　这毫无疑问，就是一个离宗的领域。
　　连宗甚至找不到施展拳脚的点，无从发力。
　　“这……冯落衣，王崎，这一对师徒，是要联手灭门吗？”
　　有连宗修士惊恐的喊道。
　　但是，相比于连宗，离宗也同样难受。
　　这一篇论文，可是再一次强调了“不可判定性”的地位。
　　“这家伙，为了鼓吹自己，所以就拿我们来下手吗？”
　　有离宗修士也是恨得咬牙切齿。
　　王崎这一篇论文，无疑就是一记重拳，狠狠砸在离宗修士的脊梁骨上。
　　这一下，无论是离宗还是连宗，都没有讨到好处。
　　但是，很快，就有连宗逍遥做出回应了。
　　多位连宗逍遥已经结束了自己在征天司的现阶段任务，专心准备这一场论战。
　　现在，连宗内部，居然渐渐出现了新的方向。
　　他们居然尝试学习离宗的“逻辑”，吸收离宗的知识，用离宗的理论反击离宗。
　　这应当算是对冯落衣利用连宗“切断自指”的研究成果，进而开始研究排除自指集的做法进行反击。
　　而出乎意料的是，一向与世无争的雪国派，此时此刻，居然也流露出下场的意图。
　　雪国派现任领袖，“雪国主”柯寞歌【安德列·柯尔莫哥洛夫】也发表了新论文。
　　他对名为“可实现性”的理论，进行了全新的叙述。
　　雪国派也是连宗典范，也从属于“直觉派”，同样会对算君执弟子礼。
　　但是，雪国派的“直觉”，和算君的“直觉”，又有微妙的差异。
　　实际上，关于“直觉”的构造，不同的连宗修士也有不同的想法。
　　雪国主的论文指示出了一个奇异的事实。对于任意命题，存在对应的非命题，其非命题成立的则意味着该命题的荒谬。某非命题的证明，是把该命题的证明变换成荒谬的证明的函数。
　　荒谬的标准例子可以在算术中找到。假定0＝1，并进行数学归纳法：0＝0通过等同公理得到；（归纳假设）如果0等于特定自然数n，则1将等于n＋1，但是因为0＝1，所以0也等于n＋1；通过归纳，0等于任何数，所以任何两个自然数都是相等的。
　　这显然是荒谬的。
　　或许用自然语言来叙述，这就是一个低等的笑话？但是在算理上，它确实是存在着重要的地位。
　　而几乎是同时，另一位连宗逍遥修士，也独立完成了类似的成果。
　　他用一种离宗修士看来有些怪异的形式，重写了离宗的重要成就——算术公理。
　　这一下子，整个万法门都开始变得一片混沌了。
　　所有用研究算学理论的修士都陷入了对三个问题的思考之中。
　　——我是哪边的？是连宗还是离宗？
　　——我在研究什么？朝哪个方向？
　　——我的队友是谁？歌庭派？冯落衣？基派？雪国派？还是少黎派？
　　这是前所未有的大混乱。
　　尽管历史上，连宗会吸收离宗的成就，离宗会吸收连宗的成就，但那都是基于“转化到一个算学基础上”所完成的。
　　以几何融合算术，以分析容纳几何，这样。
　　但现在，全乱了，离宗和连宗从没有这样相互争夺一个领域过。他们几乎是在以接力跑的形式进行研究。
　　你研究一段之后，我在你的基础上继续研究一段，紧接着你再在我的成就上进行研究。
　　中古数家离宗连宗分裂之后，四万年来，头一次出现这样混乱的景象。
　　离宗和连宗的分割依旧异常明显，但是，研究上却打成一团。
　　可以说，他们就纯然是乱战了。
　　尤其是向来超然与争斗之外的雪国派，以及虽然新近成立，却始终气势汹汹的基派，都是不可忽视的力量。
　　同为连宗，雪国派与少黎派之间也存在分歧。
　　同为离宗，基派与歌庭派之间关系也不融洽。
　　大家彼此都杀成了一团。
　　甚至有些极端的弟子，终于开始不再区分离宗连宗了。
　　凡是与我方不同的万法门弟子，都可以算是“敌人”！
　　随着理论层面的混战，万法门门内也终于渐渐失去稳定。
　　甚至连维护门规的执律使，都没办法保持纯粹的重力。
　　门主陈景云不得不紧急从其他门派调来了一批执律使，保持万法门内部基本安定。
　　见到此情此景，赵清潭有些迷惘：“我只是来买面粉的……我只想好好过个年啊！”
　　“还过个屁的年啊！”苏君宇咬牙切齿：“这是欺负我们基派无人……欺负我们离宗无人啊！”
　　“……不，我觉得歌庭派的支持者，也不是很喜欢基派来着。”
　　“这不重要！”苏君宇挥挥手：“现在，最值得注意的，应该是那个叫做海霆【阿兰德·海廷】的连宗逍遥了。”
　　海霆虽然也是逍遥，但大抵就属于那种声名不显的个体。他是在十数年前证得逍遥的。彼时，正是算主如日中天，在全万法门推行元算之算的之后。海霆这一代连宗修士的光辉，几乎都被算主盖过去了。
　　不，就算没有算主，他也不会太过耀目的。只要算君还在，那么其余所有直觉派连宗修士，都只能算星辰了——而算君就是皓月一般。
　　但是，现在，这位名不见经传的逍遥，居然就与雪国主分别独立完成了相似的内容，甚至重写了算术公理。
　　尽管在不完备与不可判定的基础上，算术公理也存在着隐患，不似画天公理【欧几里得几何公理】那样确定而完备，但这在过去，却是离宗的荣耀。
　　他作为连宗，吸收离宗的逻辑吸收得太成功了，几乎开辟出新路来了。
　　“那你要怎么做？也下场吗？”赵清潭反问：“王崎对这一层论战，应该已经失去兴趣了，发那篇论文也只是恰逢其会而已。基派是不会深入到这一场论战之中去的。”
　　他太清楚王崎的研究思路了。基派，就只是专注于“根基”而已。那一篇论文，是更大部分的组成拼图，而非为论战而抛出。
　　“嗯，我很明白这一点。”苏君宇点了点头，看了看自己的手。
　　尽管只是通过信函与论文交流，但是，这些年里，他也逐渐意识到了一些事情。
　　王崎已经将目光放到了更加高远的区域里。对于他来说，“不周之算”已经是过去式了。他想要超越这些东西，去到更高的境界，去看那算学上更广阔的美景。
　　不只是基础算学，这个物