走进修仙 作者:吾道长不孤

    第一百零七章 力迫法【第四更】

    薄笑风道：“他最近几年的表现，可很是厉害。或许，他可以给你指一个新的思路啊！”

    末了，他又说了一句：“我和他真的很铁！”

    “哈哈……”薄筱雅笑了：“就当你说的是吧。可苍生国手，终归是王崎的老师。得多铁的交情，才会帮你做这种事情啊？”

    薄笑风叹息：“这一点也不好笑了……或许我应该再去联络联络……”

    薄家一门十余位逍遥，在整个今法仙道都是罕有。而且，他们活跃的年代，都比较早，多于元力上人接近。薄家这么多年来屹立不倒，人脉自然是极广的。

    薄笑风觉得，自己应当能够找到名师……或者盟友。

    薄筱雅一怔：“是啊……现在什么妖怪都蹦出来了呢？”

    “妹子？”

    “哥哥啊，我觉得你最近最好不要这样走动了。”薄筱雅说道：“最近活动的，也未必都是苏君宇、王崎那样的人。现在真的太乱了。”

    尽管由于仙盟约束，万法门始终没有动刀见血，甚至黎京城的那一场冲突都只能算“孤例”。

    但是，因为理论冲突而修为倒退甚至身死道消的，却真的不少。

    “现在正是算学根基重新成型的时候。数年之前，王崎的‘不周之算’便已经将离宗根基粉碎了。而现在，离宗背水一战，也粉碎了连宗的根基。现在双方混战，要么涅槃，要么一起死绝。”

    “而更多的老家伙，也希望能够干涉这一过程，希望让未来几十年里，万法门算学的发展，更接近自己的设想，让自己看得更舒服……不，几乎每一个人，每一个团体，都有这样的诉求。”

    “但他们当中的大多数，都只是徒劳而已吧。”

    说着，薄筱雅沉重叹息：“与这些老古董接触，受到他们设想的感染，说不定反而不利于你算学的进步啊。”

    薄笑风沉默不语。

    他又何尝不知道这一点？

    实际上，对比无灵气宇宙的地球，神州人族之中的“老不死”，是真的可以“老而不死”。

    薄家、艾家这样的庞然大物，可以始终占据着今法仙道的一个位置，并持续性的释放自己的干涉。

    或许，他们已经跟不上第一线的天才人物们了。

    但是，他们却可以按照自己的“美学倾向”来支持或反对某一方，用这种方式，继续塑造理论体系。

    和新一代修士本身相比，这种力量当然不是决定性的。

    但也绝不会被忽略就是了。

    现在，正是万法门内的历史性时刻。

    无数代修士的诉求，都在这一瞬间被点燃，被集中。

    哪怕是站在风暴的边缘，都会胆战心惊。

    就在这时，薄笑风的算器震颤。

    薄笑风一怔：“苏君宇回函？”

    他找了不少人，却没想到，苏君宇这么快就有回函了。

    然后，他点看一看。

    “卧槽……我们真的有那么铁？”

    “什么？”薄筱雅拉过信函，也愣住了。

    “这是……非良基集合的研究？”

    良基集合，是“断自指”这一条思路之上的伟大成果之一。

    不管是“无穷公理”、“传递模型”还是“可构造类”，都与良基集合有关。

    按理来说，苏君宇自身也是“良基集合”研究的受益者。

    但是，他现在却抛出了……

    “非良基集合的研究……”薄笑风喃喃自语：“这是在干什么啊……”

    冯落衣的“良基集合”，实际上就是将“不是良基集合的集合”，从集合论中“开除出去”，也就是“开除集合籍”的意思。

    这些都是不被承认的东西。

    薄筱雅也惊了：“基派这是要……内讧？”

    陈由嘉和苏君宇都属于基派。

    但陈由嘉完成的型论，可是与冯落衣的“无限公理”平行的，也算是受益于“良基集合”吧。

    而苏君宇这是……

    “关系铁……是这样吗？”薄笑风热泪盈眶：“老苏，承你人情！”

    薄筱雅瞬间拉到地步。

    在那里，苏君宇给出了新的提示。

    “注意雪国派的研究。”

    ……………………………………………………………………………………

    宇历三年的年末，一个围剿网发动了。

    最先发作的，是雪国派。

    实际上，良基集合伤害的不只有模糊逻辑集合，还有概率逻辑集合。

    概率逻辑集合，同样不可能在良基集合上实现。

    不同于模糊算学，只有薄筱雅等少数人在做研究。概率论，可是雪国派的主打方向之一。

    所以，反倒是与基派最为友好的雪国派，开始发动这一场反击。

    而下一波攻击，却是不分离宗连宗了。

    谁都不希望分球悖论出现在自己的“算学宇宙图景”之中。连宗必须祛除选择公理这个怪物。而离宗，则必须吃下梵巴赫抛出的东西。

    所以，不可达基数，首次进入了大众的视野。

    而这一次，基派却终于不再是只有苏君宇，陈由嘉两人出场了。

    戴太冲、赵清潭等基派成员，也先后发表了相关论文。

    无法无视，不能无视。

    算学是客观的，所以不管基派成员情感上如何，都必须参与这一场轰轰烈烈的内斗之中。

    而在宇历四年的时候，战火便烧得更烈了。

    终于，非万法门弟子发现，万法门这一场动乱所带来的影响，已经超过了不周之劫。

    王崎的不周之劫，在一日之内，废了万法门近半的修士。

    但现在，万法门大半修士都已经卷入这一场动乱之中了。

    只不过，不周之劫，是在一日之内爆发，而且，之前还有《银翼刺客》宣传自我指涉的概念，且仙盟早有预料，所以受损得到了控制。

    只不过一日之内损失大量万法门弟子，才使得社会意识之间运转困难。

    而现在，则是钝刀子割肉。

    每时每刻都有万法门弟子走火入魔。

    一开始的时候，大家还能找到人交接那些走火入魔者的工作。

    而现在，到处都是满负荷运转。

    阳神阁青山崖也是人满为患。

    道心崩溃的万法门弟子，越来越多。

    种种不便，使得社会问题逐渐凸显。

    万法门内部，好像燃起了一团大火，熊熊燃烧，无论是逍遥大修，还是入门者，都不由自主的投入了这一场大火之中，成为了火的燃料。

    没有人能够阻止这一切。

    万法门修士走上仙路，就是为了求道，求算学之道。除非杀了他们，否则，他们是不会停止的。

    一股末世之感，莫名的蔓延开来。甚至有人不无悲观的不表示，万法门完了。

    哀鸿之中，万法门的算家们，却在进行最后的交锋。

    基派部分修士们对不可达基数的研究，也逐渐深入。

    而不可达基数，确实与可构造类不可共存。

    雪国派的反击也同样犀利。

    现在，证明可构造类逆论的安全性，成为必须。

    一个理论是否安全，和它是否可证，没有必然的关系。

    一个理论的逆命题是否安全，和它本身，同样没有必然的关系。

    或许可构造类本身是安全的。

    但是，它的逆命题，同样也有可能是安全的。

    围剿之势。

    对此，已经前往征天司前线的海霆真人却显得异常风轻云淡。

    这一场厮杀，是他得到了进步，也对他的道心造成了动摇。他对离宗连宗的分歧，都已经逐渐看淡。

    更重要的是……他立于不败之地。

    就算可构造类逆命题安全，也不代表可以证伪可构造类本身。

    可构造类，是不可证的。

    他或许不会赢，但也不可能败。

    这样“放弃”一般的示弱，当然不可能让其他人停下。

    海霆可以不败，但他们却是要“赢”。

    于是，连宗的修士们，便提出了新的方向。

    所有的矛盾，都是集中在“内模型”与“可构造类”上的。

    可构造性公理在天理体系【zf公理体系】内不可证否。也就是说，天理体系内，不存在反例可证见不可构造集合。如果假设，在天理体系内，有一个可构造类的扩张——比如说，存在一个不可构造的集合，这个假设就等于是可构造性公理在天理体系下的假设。这样下去，天理体系本身就要不一致了。

    但是，他们可以假设出一个超穷实体，作为内模型的扩张，然后思考应对这个扩张，构造一个不可构造集合。

    只可惜的是，这不是连宗修士能够完成的伙计。

    连宗算理，是不包含“无穷”与“超穷”的。

    他们将问题抛给了离宗修士。

    但是，这个算题，却包含了离宗修士所无法理解的思路。

    于是，便是持续了许久的离宗内战。

    但是……

    苏君宇却喃喃：“妈呀，真的，感谢算君。”

    在这一瞬间，只有看过算君手稿、得过海霆、梵巴赫指点的他意识到了这一点。

    按照直觉派的思路，他们并不需要考量天理体系与其自身加上集合论语句的系统的超穷总体是否一致。

    他们只需要在天理体系内斩出两个有穷集合，分别对应天理体系自身，与天理体系、集合论语句的叠加。

    然后，不断给两个有穷集合添加两个理论更加详细的“元素”，直到理论翻译函数在两个集合之间的关系之中现象出来，让不一致的证明调用翻译函数。

    这简直就像是用某种暴力的途径，不断扩张算学，让算学自己证明自己。

    这就是，力迫法。

    完成论文的这一瞬，苏君宇气势如虹，再次晋升。

    第一百零七章 力迫法【第四更】

    -