手机浏览器扫描二维码访问
大基数的好处,也有很多。
比如说,引入大基数可以直接证明任何可构造的实数集合不会引发分球悖论,并且不需要取消选择函数。
比如说,引入大基数可以证明二阶算术的完备性。
这是当年王崎在证明一阶完备之后就停滞不前的道路。
但唯一的问题是……
“大基数”与构造性公理是相互矛盾的。
“对于贵学派来说,推翻可构造类是必然的。王崎所设想的那个,可以执行所有算学的假想实体,算学的根源,根本就不可能在离宗的天理体系之内实现……”
“但若是引入强不可达基数,扭曲天理体系,便是海阔天空……”
“是以,证明不可达基数谱系的安全性,便是证明基派几轮的安全性……”
苏君宇看着这一封信函,仿佛内里有什么魔力一样。
“这算什么?”苏君宇最终也只是叹息:“借助离宗的手,来清除连宗的异己吗?”
——不,离宗和连宗的界限,在这一瞬间,也模糊了吧?
苏君宇这样想着。
或许“异端比异教徒更可恨”,并不仅仅适用于神道学领域。
对于连宗来说,引入天理体系,引入选择公理,扰乱连宗完美几何宇宙图景的海霆,比大多数连宗修士都要可恨许多倍。
离宗又何尝不是呢?
歌庭派和苍生国手、机老的分歧,王崎和冯落衣的分歧……
——不不不……
苏君宇瞬间甩掉了这样的想法。
至少王崎还没有做出选择哩。
苏君宇这样叹息。
果然是一个烂摊子。
早在数日之前,苏君宇就已经将这封信的部分内容转给了王崎。
他现在还在等待王崎的回复与指点。
“不过,说是这样说,但是,有些事情,可能早就有答案了吧——毕竟算学自有自在。”苏君宇躺下,自嘲的说道。
这一两年,基派就是在专心编写《原算》,构建自己的体系。对于这一场论战,就只是无视,或者装死。
但这一次被人点中根脚之后呢?
哪怕是为了基派算学,他也会研究不可达基数。
梵巴赫的阳谋。
苏君宇甚至可以想象到,一张无形的网,正在结成,这一张网,有离宗的成分,也有连宗的成分。而它的目标,就只有一个——海霆。
它是针对“可构造类”而结成的。
“只是,厌恶‘无限’的连宗修士,来提出这个,是不是太拼了一点?”
苏君宇很想笑。但是一想到海霆真人,他又笑不出来了。
富婆的快乐你不懂[神豪] 七零夜校女教师 怪厨 穿成大佬假妹妹 是你攻略不下的女主 十二鬼月横滨结仇日常 [原神]为了磕cp我连天理都能推翻 孤手握三十万重兵,你让孤自裁? 重回86:大哥死前托妻给我 再见,我亲爱的封先生 妻调令 震惊!这个男人能点化智械 开局被女土匪看中,我占山为王 夫君热衷于给我捧场 我靠拾荒称霸三界 风刃之芒 穿成流放文的极品小姑(穿书) 雄虫他只想苟命[虫族] 穿越千年,只为遇见你! 魂穿七零,这个世界我要做大女主
一张从始皇帝皇宫流传出的长生不老药地图,解开不死不灭之秘。一代名将,将守,从万人敌,到无人敌的重生之路!九龙吞珠读者交流群721466643)...
一个浑浑噩噩的少年,在阳台吹风不小心掉了下去,死过一次的他,决定开始改变,故事从这里开始,他就是林浩...
嫁给我,我可以替你报仇。陆白,亚洲第一跨国集团帝晟集团总裁,商业界最可怕的男人。传闻他身后有着最庞大的金融帝国,身边从未有过什么女人,传说他是夏儿想,管他呢,安心地做她的总裁夫人虐虐渣最好不过了。只是婚后生活渐渐地不一样了,看着报纸上帝晟总裁的采访,安夏儿方了你你你什么意思,不是说好我们隐婚的么老...
余庆阳一个搬砖二十年的老工程,梦回世纪之交,海河大学毕业,接老爸的班继续搬砖。用两辈子的行动告诉老师,搬砖不是因为我学习不好!是我命中注定要搬砖已有两本百万字完本书超级村主任最强退伍兵,可以放心入坑!大国工程书友群,群聊号码492691021新书重生之大国工匠...
苍茫大地,未来变革,混乱之中,龙蛇并起,谁是真龙,谁又是蟒蛇?或是天地众生,皆可成龙?朝廷,江湖门派,世外仙道,千年世家,蛮族,魔神,妖族,上古巫道,千百势力,相互纠缠,因缘际会。...
...