走进修仙(校对)第1697部分在线阅读

字体大小: | | 上一章 / 章节目录 / 下一章 / 返回书籍页面 / 当前阅读进度1697/1955

  这样“放弃”一般的示弱,当然不可能让其他人停下。
  海霆可以不败,但他们却是要“赢”。
  于是,连宗的修士们,便提出了新的方向。
  所有的矛盾,都是集中在“内模型”与“可构造类”上的。
  可构造性公理在天理体系【ZF公理体系】内不可证否。也就是说,天理体系内,不存在反例可证见不可构造集合。如果假设,在天理体系内,有一个可构造类的扩张——比如说,存在一个不可构造的集合,这个假设就等于是可构造性公理在天理体系下的假设。这样下去,天理体系本身就要不一致了。
  但是,他们可以假设出一个超穷实体,作为内模型的扩张,然后思考应对这个扩张,构造一个不可构造集合。
  只可惜的是,这不是连宗修士能够完成的伙计。
  连宗算理,是不包含“无穷”与“超穷”的。
  他们将问题抛给了离宗修士。
  但是,这个算题,却包含了离宗修士所无法理解的思路。
  于是,便是持续了许久的离宗内战。
  但是……
  苏君宇却喃喃:“妈呀,真的,感谢算君。”
  在这一瞬间,只有看过算君手稿、得过海霆、梵巴赫指点的他意识到了这一点。
  按照直觉派的思路,他们并不需要考量天理体系与其自身加上集合论语句的系统的超穷总体是否一致。
  他们只需要在天理体系内斩出两个有穷集合,分别对应天理体系自身,与天理体系、集合论语句的叠加。
  然后,不断给两个有穷集合添加两个理论更加详细的“元素”,直到理论翻译函数在两个集合之间的关系之中现象出来,让不一致的证明调用翻译函数。
  这简直就像是用某种暴力的途径,不断扩张算学,让算学自己证明自己。
  这就是,力迫法。
  完成论文的这一瞬,苏君宇气势如虹,再次晋升。
第一百零八章
进步
  尽管宇历四年才刚刚开始,但绝大多数人都坚信,力迫法就是这一年里最有价值的发现了。
  所有研究算理逻辑的万法门修士都开始自愿或非自愿的学习了力迫法。
  当你要证明某个存在满足条件甲的集合,而条件甲比较复杂,从而你把它分解为甲一,甲二等等。而一个条件自然也是一个集族,然后证明集族甲子们的交非空。
  连续统假设以外还有强连续统、选择公理、非标准分析的无穷公理,都可以通过力迫法完成证明。
  这简直就是天大的福音了。
  对于处于一片绝望气息的万法门来说,这就是最重大的成果。
  离宗修士不吝赞美。
  他们认为,恰如其分的说,苏君宇所完成的力迫法,就是集合论公理化以来,最重要的成果。
  这句话刚出来的时候,苏君宇对此一无所知。他还在家里睡大觉呢。
  力迫法的证明,着实消耗了他的精神。
  等他知道了这份赞誉之后,他的声望已经完全刷新了一遍。
  “这……”苏君宇对此哭笑不得。
  在梅歌牧受害者互助协会的小群里,他对其他人哭笑不得地说道:“我很难说明,但是,这真的得是连宗思路才能完成的离宗成果。如果没有算君手稿,没有那个不怀好意的连宗前辈指点,还真一不定能够做出来。”
  “管他呢。”项琪倒是很得意,仿佛这都是自己完成的一样:“连宗就连宗呗。”
  “如果这话挑明了,只怕离宗又会骂我叛徒了。”苏君宇如此总结道。
  朱阁宏【地下版】很罕见的出现并开口道:“我觉得,这应该更能说明,连宗离宗本为一体吧?”
  两宗归一的论调,似乎也在再次兴起。
  在这一次中,连宗和离宗都分裂得厉害。雪国派过去虽然不怎么听从算君,但是对同属“直觉派”的少黎还算青衿。而这一次,海霆真人则直接分裂了团结一致的少黎。雪国派与新连宗构造派爆发了激烈冲突。
  连宗内部,歌庭派、冯落衣一系也闹得有点僵。
  与此同时,两宗都出现了“叛徒”。海霆真人吸收了离宗的成就,而离宗包括力迫法在内的一系列成就,又都是在连宗指导下展开。
  这似乎更加印证了“算学实体”这个形而上的说法。
  苏君宇摇头:“不,离宗和连宗从来都没有放弃过两宗归一的做法。只不过,这种归一,永远都是以‘一方吞并另一方的全部’为基础的。看到的东西不同,就真的没法和和气气的坐到一起。”
  但不管怎么说,苏君宇是成名了。
  新晋的炼虚期大宗师,未来的逍遥修士。
  人们就像当年谈论王崎一样,在谈论苏君宇。
  所有人都觉得,他已经是这一个时代的顶峰之一了。
  但苏君宇却是不敢居功。且不说王崎在这一段时间给了他多少启发,单说算君那一本技术手册之中蕴含的思想,对他的帮助就是极为巨大的。
  “也不知道算君知不知道,他的小册子帮助了两个离宗修士,在算学基础领域大放异彩……”
  苏君宇的脑海之中闪过了这样的念头。
  力迫法的出现,无疑是晨曦的一道曙光。
  很多人相信,天快要亮了。
  但越是黎明将近,就越是不能放松。
  由于力迫法的出现,众多问题得到了解决,所遇原本混战的离宗连宗,骤然失去了大片战场,只能偃旗息鼓。
  但是,这一场战斗,可还没有结束。
  能都定鼎算学领域的人还没出来。现在,万法门弟子都知道什么是算学了——至少在元算学的领域上,认识得比过去更深。
  但是,他们不知道未来会走向何方。
  还有一场决定万法门命运的大战。
  他们是这样想的。
  在这样的氛围之下,所有修士的注意力,都集中在万法门上。
  以至于焚金谷内连续两位修士晋升逍遥,都没有引发太大的关注。
  虽然在很多焚金谷修士眼中,凝聚态代表着未来的方向。但是,它还没有发展到足以盖过万法门风头的地步。
  不过,这一个新生领域,却是代表着许多证道逍遥的机会。
  经过五年的打磨之后,弥天昭终于走出了那一步。
  而他的第一个任务,就是去他乡一趟。
  毕竟,原本绝佳的闭关地天央疆域,现在已经去不了了不是?
  弥天昭不过是初晋升的逍遥,自然不用他去冒险。但是,由于万法门内战的关系,大量万法门逍遥回归神州,导致神州逍遥力量过剩。让他到他乡来,也算是加强一下他乡的守备吧。
  在拜见他他乡的最高负责人柯兰荫之后,弥天昭又来找王崎一趟。
  他和王崎也算是有过短暂合作。这些年,基派开发出的算学工具,如“层”之类的概念,在凝聚之道中,也得到了广泛的应用。
  这一次,他还带来了包括霍桐青在内,其他受过王崎帮助的焚金谷修士的论文集以及研究成果。
  都是凝聚态的。
  凝聚态物理,算是王崎这五年来除了算学之外研究得最多的领域了。
  如果说,算君的混沌拓扑网络算法是兽机关集群的根本修法、算法是其灵魂的话,那么,凝聚态,就是兽机关集群最强的“应用”。
  不管是兽机关结构耦合法力,还是以兽机关凝结功能性的法器,都离不开凝聚态。
  得了这些精心整理过的论文集与实验数据之后,他也顾不得寒暄,直接宣布短时间闭关,调整自己的功体。
  赵清潭对此很是头疼:“真是,王师弟这家伙,从来就不怎么讲礼……弥道友不要见怪才好。”
  哪里哪里。
  弥天昭掩口而笑:“哪里,哪里。王道友也只是比较率性罢了。也只有这种人,才能成为最纯粹的求道者吧?”

< 章节目录 >   < 上一章 >   当前阅读进度1697/1955   < 下一章 >   < 返回书籍页面 >