手机浏览器扫描二维码访问
大基数的好处,也有很多。
比如说,引入大基数可以直接证明任何可构造的实数集合不会引发分球悖论,并且不需要取消选择函数。
比如说,引入大基数可以证明二阶算术的完备性。
这是当年王崎在证明一阶完备之后就停滞不前的道路。
但唯一的问题是……
“大基数”与构造性公理是相互矛盾的。
“对于贵学派来说,推翻可构造类是必然的。王崎所设想的那个,可以执行所有算学的假想实体,算学的根源,根本就不可能在离宗的天理体系之内实现……”
“但若是引入强不可达基数,扭曲天理体系,便是海阔天空……”
“是以,证明不可达基数谱系的安全性,便是证明基派几轮的安全性……”
苏君宇看着这一封信函,仿佛内里有什么魔力一样。
“这算什么?”苏君宇最终也只是叹息:“借助离宗的手,来清除连宗的异己吗?”
——不,离宗和连宗的界限,在这一瞬间,也模糊了吧?
苏君宇这样想着。
或许“异端比异教徒更可恨”,并不仅仅适用于神道学领域。
对于连宗来说,引入天理体系,引入选择公理,扰乱连宗完美几何宇宙图景的海霆,比大多数连宗修士都要可恨许多倍。
离宗又何尝不是呢?
歌庭派和苍生国手、机老的分歧,王崎和冯落衣的分歧……
——不不不……
苏君宇瞬间甩掉了这样的想法。
至少王崎还没有做出选择哩。
苏君宇这样叹息。
果然是一个烂摊子。
早在数日之前,苏君宇就已经将这封信的部分内容转给了王崎。
他现在还在等待王崎的回复与指点。
“不过,说是这样说,但是,有些事情,可能早就有答案了吧——毕竟算学自有自在。”苏君宇躺下,自嘲的说道。
这一两年,基派就是在专心编写《原算》,构建自己的体系。对于这一场论战,就只是无视,或者装死。
但这一次被人点中根脚之后呢?
哪怕是为了基派算学,他也会研究不可达基数。
梵巴赫的阳谋。
苏君宇甚至可以想象到,一张无形的网,正在结成,这一张网,有离宗的成分,也有连宗的成分。而它的目标,就只有一个——海霆。
它是针对“可构造类”而结成的。
“只是,厌恶‘无限’的连宗修士,来提出这个,是不是太拼了一点?”
苏君宇很想笑。但是一想到海霆真人,他又笑不出来了。
神偷长公主 天地炼成 大明孤狼 烈火燃情:高冷总裁滚远点 最强除妖师 我是狠人大帝的同乡 废材重生:邪王独宠悍王妃 天黑请开眼 断神 直播和男神同居的日子 捡到病娇太子之后(重生) 扛着boss拼下限(末世) 悍妻[医道] 穿越之弃子国师 赌妃在上,王爷在下 娱乐超级奶爸 眼镜兄撞上恶魔王子 系统之娇宠孕妻 时光请善待我的她 一爱到底之顾少毒妻
穿到星际时代,最想做的事情是什么?开飞船?穿机甲?收小弟?征服星辰大海?身为御厨传人的简言,颠了颠手中特制的大勺,一声冷笑。to样to森破。面对令人烦不胜烦,繁殖力旺盛的虫族,还有风吹生又生,剪不断理又乱的各种动植物。简言一脚踩碎地上的营养液瓶说吧,你们想把它们吃成几级保护?帝国人民连连摇头不不不,太恶心了,打死我们也不会吃的!后来,帝国人民吸溜着口水大喊真香。脸也被打得好疼!围观大型打脸现场的陆瑾修,很好,他家媳妇儿的风采无人能敌!如果您喜欢星际之厨神她可盐可甜,别忘记分享给朋友...
或许每个人都带有执念,当人带着极致的执念在绝望中死去,便可能诞生恐怖的诡异。它们没有灵魂,毫无理智,难以交流,带有严重的偏执倾向,令人心生恐惧。而我养了一屋子执念。如果您喜欢养了一屋执念,别忘记分享给朋友...
叶栗以为只是一场梦,结果梦醒后,身在丧尸横行的末日世界不说,还生了俩爹都不知道是谁的娃。末世太苦,没物资,没关系,反正她祖传是农民,她能自己种农作物!末世人心太坏,斗不过,没关系,反正娃他爹是超级大BOSS,找大BOSS当靠山,谁还敢欺负他们娘三!如果您喜欢末世种田带着萌宝去寻夫,别忘记分享给朋友...
我叫张鹤龄,没错,就是大明朝那个坏事做尽丧尽天良的寿宁侯张鹤龄。以前我没得选,只能以反派的身份出现,这一次,我想做个好人。所以,谁敢拦着我做好人,我就打死他!新人新书,多谢大家支持,本书讨论群925806889,进群暗号看到杨桃就扑上去如果您喜欢大明寿宁侯,别忘记分享给朋友...
主人公夏海当过兵,却得罪了人,落个退役的下场,夏海人很热心,可是却也坏在热心上面。一次偶然的见义勇为却不想成了穿越大军的一员,来到了远古时代,但是,夏海却发现,这里并不原始。这里有着大大小小的部落。这里已经有了大的部落联盟,或者称呼为诸侯国也不错。这里是一个实力为尊的世界,这个世界的个体力量几乎异常的强大。夏海该如...
当繁星归位之时,拉莱耶将从海底升起密大图书馆里,看着入侵学校的外神子嗣,布鲁斯挥手放出了他养的猎犬。发现死灵之书译本,获得完整死灵之书!发现仙砂返魂箓,获得玄君七章!坐镇密大图书馆,迎接群星归位之时的到来!如果您喜欢群星归位,开局签到死灵之书,别忘记分享给朋友...