手机浏览器扫描二维码访问
大基数的好处,也有很多。
比如说,引入大基数可以直接证明任何可构造的实数集合不会引发分球悖论,并且不需要取消选择函数。
比如说,引入大基数可以证明二阶算术的完备性。
这是当年王崎在证明一阶完备之后就停滞不前的道路。
但唯一的问题是……
“大基数”与构造性公理是相互矛盾的。
“对于贵学派来说,推翻可构造类是必然的。王崎所设想的那个,可以执行所有算学的假想实体,算学的根源,根本就不可能在离宗的天理体系之内实现……”
“但若是引入强不可达基数,扭曲天理体系,便是海阔天空……”
“是以,证明不可达基数谱系的安全性,便是证明基派几轮的安全性……”
苏君宇看着这一封信函,仿佛内里有什么魔力一样。
“这算什么?”苏君宇最终也只是叹息:“借助离宗的手,来清除连宗的异己吗?”
——不,离宗和连宗的界限,在这一瞬间,也模糊了吧?
苏君宇这样想着。
或许“异端比异教徒更可恨”,并不仅仅适用于神道学领域。
对于连宗来说,引入天理体系,引入选择公理,扰乱连宗完美几何宇宙图景的海霆,比大多数连宗修士都要可恨许多倍。
离宗又何尝不是呢?
歌庭派和苍生国手、机老的分歧,王崎和冯落衣的分歧……
——不不不……
苏君宇瞬间甩掉了这样的想法。
至少王崎还没有做出选择哩。
苏君宇这样叹息。
果然是一个烂摊子。
早在数日之前,苏君宇就已经将这封信的部分内容转给了王崎。
他现在还在等待王崎的回复与指点。
“不过,说是这样说,但是,有些事情,可能早就有答案了吧——毕竟算学自有自在。”苏君宇躺下,自嘲的说道。
这一两年,基派就是在专心编写《原算》,构建自己的体系。对于这一场论战,就只是无视,或者装死。
但这一次被人点中根脚之后呢?
哪怕是为了基派算学,他也会研究不可达基数。
梵巴赫的阳谋。
苏君宇甚至可以想象到,一张无形的网,正在结成,这一张网,有离宗的成分,也有连宗的成分。而它的目标,就只有一个——海霆。
它是针对“可构造类”而结成的。
“只是,厌恶‘无限’的连宗修士,来提出这个,是不是太拼了一点?”
苏君宇很想笑。但是一想到海霆真人,他又笑不出来了。
系统之娇宠孕妻 断神 我是狠人大帝的同乡 时光请善待我的她 赌妃在上,王爷在下 大明孤狼 烈火燃情:高冷总裁滚远点 最强除妖师 捡到病娇太子之后(重生) 一爱到底之顾少毒妻 直播和男神同居的日子 穿越之弃子国师 天地炼成 娱乐超级奶爸 眼镜兄撞上恶魔王子 废材重生:邪王独宠悍王妃 扛着boss拼下限(末世) 天黑请开眼 神偷长公主 悍妻[医道]
没有虎躯没有王八之气更没有弱智光环道具。如何称王制霸解民于倒悬?知识才是古代乱世安身立命乃至树立权威的常见依靠。...
三年前的这一天,潜伏在黑暗中的魔鬼摩拳擦掌,终于忍不住探出一只手,将虞星念拽入无尽的黑暗。妹妹陷害,母亲离世,家族亲手把她送进离城监狱。裴凉城。未婚夫是吧,你越是渴望的东西,我就越是要摧毁。虞依依,我也要让你感受到,什么叫绝望。如果您喜欢金主大人,请矜持,别忘记分享给朋友...
武侠大世界中,重生为阳顶天义子,谋九阳,炼乾坤,登临教主宝座!一统西域,争霸中原,一世称尊!无敌天下!如果您喜欢明教教主,别忘记分享给朋友...
一碗堕胎药,一碗毒燕窝,了结了平王妃苏锦桐又蠢又可笑的一生,她死的那一天,平王携手她的亲妹妹登基为帝后。有幸回到豆蔻之龄,她誓要活出另一番精彩,护至亲,诛仇人,虐渣渣,日子过得不要太忙,世子爷你就不要过来凑热闹了。某男抱紧怀中温软,上天下地,饿了三世,总算如愿以偿,良宵苦短,咱们继续造人大业望着屁股后面跟着的五个小奶包,某女如果您喜欢长嫡风华,别忘记分享给朋友...
当地球从千百年的封印之中解放出来,修炼重新成为了生活的主题这是一个陆羽在不经意之间成为了世界的主角的故事!如果您喜欢新修真大时代,别忘记分享给朋友...
他是京都城最尊贵最神秘的男人,ZMI机关特工首脑。一个权倾天下的大人物。有多大?!他说,试过才知道!她是外地来京的犯罪心理学硕士,管教所心理辅导员。一个饥荒不饱的小人物。有多小?!她说,关你什么事?占色想不明白,为什么就上个厕所的工夫,也会被这样一个冷魅尊贵邪戾,霸道,牛逼…但凡小言男主身上的贴金词儿都能用...