尽管宇历四年才刚刚🇫开🕅始,但绝大多数人都坚信,力迫法就是🕦这一年里最有价值的发现了。
所有研究算理⛣🜊逻辑的万法门修士都开始自愿🁃🃋🖎或非自愿的学🍮习了力迫法。
当你要证明某个存在满足条件甲的集合,而条件甲比较复杂,从而你把它分解为甲一,🌸🜓甲二等等。而一个条件自然也是一个集族,然后证明集族甲子们的交非空。
连续统假设以外♣还有强连续统、选择公理、非🟇🚿标准🗖分析的无穷公理,都可以通过力迫法完成证明。
这简直就是天大的福音了。
对于处于一片绝望气息的万法门来说,这⛯⛯就是最重大的成果🍞。
离宗修士不吝赞美。
他们认为,恰如其分的说,苏君宇所完成的力迫法,就是集合论公理😅⚤化以来,最重要的成果。
这句话刚出来的时候,苏君🆭💮🕏宇对此一无所知。他还在家里睡大觉呢😳🅝。
力迫法的证明,着实消耗了他的精神。
等他⛶🞷知道了这份赞誉之后🗵,他的声望已经完全刷新了一遍。
“这……”苏君宇对此哭笑不得。
在梅歌牧🛑🛪🟊受害者互助协会的小群里,他对其他人哭笑不得的说道:“我很难说明,但是,这真的得是连宗思路🄚♲才能完成的离宗成果。如果没有算君手稿,没有那个🌽不怀好意的连宗前辈指点,还真一不定能够做出来。”
“管他呢。🜽”项琪🍻🍓🇧倒是很得意,仿佛这都是自己完成的一样:“连宗就连宗呗。”
“如果🟃🚚📻这话挑明了,只怕离宗又会骂我叛徒🁃🃋🖎了。”苏君宇如此总结道。
朱🗾♩阁宏【地下版】很罕见的出现并开口道:🁃🃋🖎“我觉得,这应该更能说明🝉🇩,连宗离宗本为一体吧?”
两宗归一的论调,似乎也在再次兴起。
在这一次中,连宗和离宗都分裂得厉害。雪国派过去虽然不怎么听从算君,但是对同属“直觉派🜚🂮”的少黎还算青衿。而这一次,海霆真人则直接分裂了团结一致的少黎。雪国派与新⚐🐟连🎁宗构造派爆发了激烈冲突。
连宗内部,歌庭派、冯落🗵衣一💫系也🖖💧闹得有点僵。
与此同🟃🚚📻时,两宗都出现🕅了“叛徒”。海霆真人吸收了离宗的成就,而离宗包括力迫法在内的一系列成就,又都是在连宗指导下🜟🃖🗵展开。
这似乎更加印证了“算学实体💫”这个形而上的说🕩法。🉤🆊
苏君宇摇头:“不,离宗和连宗从来都没有放弃过两宗归一的做法。只不过,这种归一,永远都是以‘一方吞并另一方的全部’为基础的。看到的东🌔⚜西不同,就真的没法和和气气的坐到一起。”
但不管怎么说,苏君宇是成名了。