手机浏览器扫描二维码访问
大基数的好处,也有很多。
比如说,引入大基数可以直接证明任何可构造的实数集合不会引发分球悖论,并且不需要取消选择函数。
比如说,引入大基数可以证明二阶算术的完备性。
这是当年王崎在证明一阶完备之后就停滞不前的道路。
但唯一的问题是……
“大基数”与构造性公理是相互矛盾的。
“对于贵学派来说,推翻可构造类是必然的。王崎所设想的那个,可以执行所有算学的假想实体,算学的根源,根本就不可能在离宗的天理体系之内实现……”
“但若是引入强不可达基数,扭曲天理体系,便是海阔天空……”
“是以,证明不可达基数谱系的安全性,便是证明基派几轮的安全性……”
苏君宇看着这一封信函,仿佛内里有什么魔力一样。
“这算什么?”苏君宇最终也只是叹息:“借助离宗的手,来清除连宗的异己吗?”
——不,离宗和连宗的界限,在这一瞬间,也模糊了吧?
苏君宇这样想着。
或许“异端比异教徒更可恨”,并不仅仅适用于神道学领域。
对于连宗来说,引入天理体系,引入选择公理,扰乱连宗完美几何宇宙图景的海霆,比大多数连宗修士都要可恨许多倍。
离宗又何尝不是呢?
歌庭派和苍生国手、机老的分歧,王崎和冯落衣的分歧……
——不不不……
苏君宇瞬间甩掉了这样的想法。
至少王崎还没有做出选择哩。
苏君宇这样叹息。
果然是一个烂摊子。
早在数日之前,苏君宇就已经将这封信的部分内容转给了王崎。
他现在还在等待王崎的回复与指点。
“不过,说是这样说,但是,有些事情,可能早就有答案了吧——毕竟算学自有自在。”苏君宇躺下,自嘲的说道。
这一两年,基派就是在专心编写《原算》,构建自己的体系。对于这一场论战,就只是无视,或者装死。
但这一次被人点中根脚之后呢?
哪怕是为了基派算学,他也会研究不可达基数。
梵巴赫的阳谋。
苏君宇甚至可以想象到,一张无形的网,正在结成,这一张网,有离宗的成分,也有连宗的成分。而它的目标,就只有一个——海霆。
它是针对“可构造类”而结成的。
“只是,厌恶‘无限’的连宗修士,来提出这个,是不是太拼了一点?”
苏君宇很想笑。但是一想到海霆真人,他又笑不出来了。
捡到病娇太子之后(重生) 最强除妖师 娱乐超级奶爸 烈火燃情:高冷总裁滚远点 直播和男神同居的日子 天地炼成 大明孤狼 系统之娇宠孕妻 废材重生:邪王独宠悍王妃 天黑请开眼 穿越之弃子国师 时光请善待我的她 一爱到底之顾少毒妻 悍妻[医道] 扛着boss拼下限(末世) 赌妃在上,王爷在下 我是狠人大帝的同乡 神偷长公主 断神 眼镜兄撞上恶魔王子
凤府的嫡女凤奕落患有眼疾,又从来不出府门。人都说她定是个奇丑无比的病秧子,实在难与郡王相匹配,众口悠悠,积毁销骨,人言可畏。二人大婚之日,凤奕落不小心打翻烛台,新房燃起熊熊大火,她挣扎着出不去,最后葬身火海。本以为就这样死去了,没想到竟然重生了。重生之后的凤奕落像是变了一个人一样,不仅眼疾突然好了,还想尽各种办法退婚,这让本不大在意的郡王着实起了兴趣,本想着捉弄她一番,却没想到把自己给搭进去了。如果您喜欢重生后我成了郡王的黑桃花,别忘记分享给朋友...
求你,别这样对我们的孩子,他是你的儿子。杨诗敏对着接近疯狂的上官傲乞求道。上官傲微笑的摸着她的脸颊,似笑非笑的说道除了林惜如,谁的孩子我都不要。鲜红的血液,格外的诡异。让我死吧,我死了,就解决...
时北柠一不小心就拿了受气包剧本。什么?受气小媳妇就得委曲求全?时北柠不干了!反恶婆婆系统安排上,就此开启逆袭之路。位面1恶婆婆我不喜欢你,马上给我净身出户,否则娱乐圈你就别想混了!时北柠我呸!爆红暴富我全行,逆袭之路走的顺!等等,这条跟在屁股后面的小锦鲤是肿么回事?某锦鲤影帝不娶何撩?你逃跑的样子像极了渣男!位面2恶婆婆我儿子就得有一群女人伺候着,纳妾安排上。时北柠懂了。转眼就给自家公公送了个小妾。收拾完恶婆婆小包袱一背,准备爬墙。某狗皇帝一把拉住小包袱,求包养!位面3本以为穿成受气小媳妇,却没想到和上海滩最强恶少互穿了。恶婆婆打死这个儿媳,出了事我兜着!时北柠放开这个小媳妇让我来!如果您喜欢快穿当大佬拿了受气包剧本,别忘记分享给朋友...
星辰破晓,灵魂展翼。追寻宇宙的奥秘,直面未知的挑战。如果您喜欢星际之宝妈威武,别忘记分享给朋友...
关于星云九天揽月(第二部)爽文腹黑穿越仙侠玄幻星云大陆,百朝迭起,万族屹立。望星云内外,惟余莽莽。大陆上下,顿失滔滔。九大域内,千万势力崛起,群雄荟萃。以一宫两峰三教四方阁为首,分外妖娆!大陆如此多娇,引无数英雄竞折腰。惜炎帝武祖,略输文采剑圣墓主,稍逊风骚。天地浩劫,邪族显现抵抗魔域,谁主沉浮?一代天骄,烈阳寒皇只识持剑捅邪魔。俱往矣,数风流人物,千古风流万道争锋,九天揽月一切尽在星云大陆。...
顾家往上八代就是望族,二少顾渊泉年方二十四接掌故源集团。刚高中毕业的孤儿景元姗,傻傻的上门求抱养,转身被送进监狱。没人知道狱中发生了什么,而顾渊泉成了最冷酷无情的霸总。景元姗获得假释,面对的是景妈妈病逝,还得接手另十二个被收养的孤儿。顾渊泉现在,我养你,或者你养我。景元姗一边去,别影响我做影后。如果您喜欢顾先生请原谅,别忘记分享给朋友...