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

顶点小说(dingdian666.com)更新快，无弹窗！

在自己的“算学宇宙图景”之中。连宗必须祛除选择公理这个怪物。而离宗，则必须吃下梵巴赫抛出的东西。
    所以，不可达基数，首次进入了大众的视野。
    而这一次，基派却终于不再是只有苏君宇，陈由嘉两人出场了。
    戴太冲、赵清潭等基派成员，也先后发表了相关论文。
    无法无视，不能无视。
    算学是客观的，所以不管基派成员情感上如何，都必须参与这一场轰轰烈烈的内斗之中。
    而在宇历四年的时候，战火便烧得更烈了。
    终于，非万法门弟子发现，万法门这一场动乱所带来的影响，已经超过了不周之劫。
    王崎的不周之劫，在一日之内，废了万法门近半的修士。
    但现在，万法门大半修士都已经卷入这一场动乱之中了。
    只不过，不周之劫，是在一日之内爆发，而且，之前还有《银翼刺客》宣传自我指涉的概念，且仙盟早有预料，所以受损得到了控制。
    只不过一日之内损失大量万法门弟子，才使得社会意识之间运转困难。
    而现在，则是钝刀子割肉。
    每时每刻都有万法门弟子走火入魔。
    一开始的时候，大家还能找到人交接那些走火入魔者的工作。
    而现在，到处都是满负荷运转。
    阳神阁青山崖也是人满为患。
    道心崩溃的万法门弟子，越来越多。
    种种不便，使得社会问题逐渐凸显。
    万法门内部，好像燃起了一团大火，熊熊燃烧，无论是逍遥大修，还是入门者，都不由自主的投入了这一场大火之中，成为了火的燃料。
    没有人能够阻止这一切。
    万法门修士走上仙路，就是为了求道，求算学之道。除非杀了他们，否则，他们是不会停止的。
    一股末世之感，莫名的蔓延开来。甚至有人不无悲观的不表示，万法门完了。
    哀鸿之中，万法门的算家们，却在进行最后的交锋。
    基派部分修士们对不可达基数的研究，也逐渐深入。
    而不可达基数，确实与可构造类不可共存。
    雪国派的反击也同样犀利。
    现在，证明可构造类逆论的安全性，成为必须。
    一个理论是否安全，和它是否可证，没有必然的关系。
    一个理论的逆命题是否安全，和它本身，同样没有必然的关系。
    或许可构造类本身是安全的。
    但是，它的逆命题，同样也有可能是安全的。
    围剿之势。
    对此，已经前往征天司前线的海霆真人却显得异常风轻云淡。
    这一场厮杀，是他得到了进步，也对他的道心造成了动摇。他对离宗连宗的分歧，都已经逐渐看淡。
    更重要的是……他立于不败之地。
    就算可构造类逆命题安全，也不代表可以证伪可构造类本身。
    可构造类，是不可证的。
    他或许不会赢，但也不可能败。
    这样“放弃”一般的示弱，当然不可能让其他人停下。
    海霆可以不败，但他们却是要“赢”。
    于是，连宗的修士们，便提出了新的方向。
    所有的矛盾，都是集中在“内模型”与“可构造类”上的。
    可构造性公理在天理体系【ZF公理体系】内不可证否。也就是说，天理体系内，不存在反例可证见不可构造集合。如果假设，在天理体系内，有一个可构造类的扩张——比如说，存在一个不可构造的集合，这个假设就等于是可构造性公理在天理体系下的假设。这样下去，天理体系本身就要不一致了。
    但是，他们可以假设出一个超穷实体，作为内模型的扩张，然后思考应对这个扩张，构造一个不可构造集合。
    只可惜的是，这不是连宗修士能够完成的伙计。
    连宗算理，是不包含“无穷”与“超穷”的。
    他们将问题抛给了离宗修士。
    但是，这个算题，却包含了离宗修士所无法理解的思路。
    于是，便是持续了许久的离宗内战。
    但是……
    苏君宇却喃喃：“妈呀，真的，感谢算君。”
    在这一瞬间，只有看过算君手稿、得过海霆、梵巴赫指点的他意识到了这一点。
    按照直觉派的思路，他们并不需要考量天理体系与其自身加上集合论语句的系统的超穷总体是否一致。
    他们只需要在天理体系内斩出两个有穷集合，分别对应天理体系自身，与天理体系、集合论语句的叠加。
    然后，不断给两个有穷集合添加两个理论更加详细的“元素”，直到理论翻译函数在两个集合之间的关系之中现象出来，让不一致的证明调用翻译函数。
    这简直就像是用某种暴力的途径，不断扩张算学

章节报错（免登陆）

下载APP，无广告、完整阅读

验证码：提交关闭

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

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