手机浏览器扫描二维码访问
然后,不断给两个有穷集合添加两个理论更加详细的“元素”,直到理论翻译函数在两个集合之间的关系之中现象出来,让不一致的证明调用翻译函数。
这简直就像是用某种暴力的途径,不断扩张算学,让算学自己证明自己。
这就是,力迫法。
完成论文的这一瞬,苏君宇气势如虹,再次晋升。
第一百零八章进步
尽管宇历四年才刚刚开始,但绝大多数人都坚信,力迫法就是这一年里最有价值的发现了。
所有研究算理逻辑的万法门修士都开始自愿或非自愿的学习了力迫法。
当你要证明某个存在满足条件甲的集合,而条件甲比较复杂,从而你把它分解为甲一,甲二等等。而一个条件自然也是一个集族,然后证明集族甲子们的交非空。
连续统假设以外还有强连续统、选择公理、非标准分析的无穷公理,都可以通过力迫法完成证明。
这简直就是天大的福音了。
对于处于一片绝望气息的万法门来说,这就是最重大的成果。
离宗修士不吝赞美。
他们认为,恰如其分的说,苏君宇所完成的力迫法,就是集合论公理化以来,最重要的成果。
这句话刚出来的时候,苏君宇对此一无所知。他还在家里睡大觉呢。
力迫法的证明,着实消耗了他的精神。
等他知道了这份赞誉之后,他的声望已经完全刷新了一遍。
“这……”苏君宇对此哭笑不得。
在梅歌牧受害者互助协会的小群里,他对其他人哭笑不得的说道:“我很难说明,但是,这真的得是连宗思路才能完成的离宗成果。如果没有算君手稿,没有那个不怀好意的连宗前辈指点,还真一不定能够做出来。”
“管他呢。”项琪倒是很得意,仿佛这都是自己完成的一样:“连宗就连宗呗。”
“如果这话挑明了,只怕离宗又会骂我叛徒了。”苏君宇如此总结道。
朱阁宏【地下版】很罕见的出现并开口道:“我觉得,这应该更能说明,连宗离宗本为一体吧?”
两宗归一的论调,似乎也在再次兴起。
在这一次中,连宗和离宗都分裂得厉害。雪国派过去虽然不怎么听从算君,但是对同属“直觉派”的少黎还算青衿。而这一次,海霆真人则直接分裂了团结一致的少黎。雪国派与新连宗构造派爆发了激烈冲突。
连宗内部,歌庭派、冯落衣一系也闹得有点僵。
与此同时,两宗都出现了“叛徒”。海霆真人吸收了离宗的成就,而离宗包括力迫法在内的一系列成就,又都是在连宗指导下展开。
这似乎更加印证了“算学实体”这个形而上的说法。
苏君宇摇头:“不,离宗和连宗从来都没有放弃过两宗归一的做法。只不过,这种归一,永远都是以‘一方吞并另一方的全部’为基础的。看到的东西不同,就真的没法和和气气的坐到一起。”
但不管怎么说,苏君宇是成名了。
新晋的炼虚期大宗师,未来的逍遥修士。
人们就像当年谈论王崎一样,在谈论苏君宇。
所有人都觉得,他已经是这一个时代的顶峰之一了。
但苏君宇却是不敢居功。且不说王崎在这一段时间给了他多少启发,单说算君那一本技术手册之中蕴含的思想,对他的帮助就是极为巨大的。
风刃之芒 是你攻略不下的女主 穿成流放文的极品小姑(穿书) 孤手握三十万重兵,你让孤自裁? 雄虫他只想苟命[虫族] 穿成大佬假妹妹 重回86:大哥死前托妻给我 妻调令 七零夜校女教师 开局被女土匪看中,我占山为王 十二鬼月横滨结仇日常 怪厨 我靠拾荒称霸三界 震惊!这个男人能点化智械 再见,我亲爱的封先生 富婆的快乐你不懂[神豪] 魂穿七零,这个世界我要做大女主 [原神]为了磕cp我连天理都能推翻 穿越千年,只为遇见你! 夫君热衷于给我捧场
江湖日报讯肯麦郎连锁客栈享誉大明各府,其总部却是京城一家名为来福的小客栈。来福客栈在江湖上大名鼎鼎,即便费用高昂,上到各派掌门下到江湖游侠,都挤破脑袋想去来福客栈吃顿饭。记者有幸请到武林盟主,揭开来福客栈的秘密!来福客栈日常一幕少林方丈,你怎么吃饭不给钱啊?偶弥陀佛,出家人身无分文,这顿饭可否算作化缘?不行!武当掌门没钱吃饭,还在后院洗碗呢!你若不给钱,就去洗茅房!来福客栈日常二幕丐帮长老,瞧你样子就没钱吃饭,你来客栈干啥?听闻来福客栈可以拿东西抵押,我这里有本上乘的秘...
余庆阳一个搬砖二十年的老工程,梦回世纪之交,海河大学毕业,接老爸的班继续搬砖。用两辈子的行动告诉老师,搬砖不是因为我学习不好!是我命中注定要搬砖已有两本百万字完本书超级村主任最强退伍兵,可以放心入坑!大国工程书友群,群聊号码492691021新书重生之大国工匠...
...
一个浑浑噩噩的少年,在阳台吹风不小心掉了下去,死过一次的他,决定开始改变,故事从这里开始,他就是林浩...
男人一辈子最值得骄傲的事里包括服一次役,当一回特种兵,和世界上最强的军人交手。还有,为自己的祖国奉献一次青春,为这片热土上的人民拼一次命。这些,庄严都做到了。(此书致敬每一位曾为国家奉献过青春,流过血洒过汗的共和国军人!读者群号764555748)...
...