手机浏览器扫描二维码访问
大基数的好处,也有很多。
比如说,引入大基数可以直接证明任何可构造的实数集合不会引发分球悖论,并且不需要取消选择函数。
比如说,引入大基数可以证明二阶算术的完备性。
这是当年王崎在证明一阶完备之后就停滞不前的道路。
但唯一的问题是……
“大基数”与构造性公理是相互矛盾的。
“对于贵学派来说,推翻可构造类是必然的。王崎所设想的那个,可以执行所有算学的假想实体,算学的根源,根本就不可能在离宗的天理体系之内实现……”
“但若是引入强不可达基数,扭曲天理体系,便是海阔天空……”
“是以,证明不可达基数谱系的安全性,便是证明基派几轮的安全性……”
苏君宇看着这一封信函,仿佛内里有什么魔力一样。
“这算什么?”苏君宇最终也只是叹息:“借助离宗的手,来清除连宗的异己吗?”
——不,离宗和连宗的界限,在这一瞬间,也模糊了吧?
苏君宇这样想着。
或许“异端比异教徒更可恨”,并不仅仅适用于神道学领域。
对于连宗来说,引入天理体系,引入选择公理,扰乱连宗完美几何宇宙图景的海霆,比大多数连宗修士都要可恨许多倍。
离宗又何尝不是呢?
歌庭派和苍生国手、机老的分歧,王崎和冯落衣的分歧……
——不不不……
苏君宇瞬间甩掉了这样的想法。
至少王崎还没有做出选择哩。
苏君宇这样叹息。
果然是一个烂摊子。
早在数日之前,苏君宇就已经将这封信的部分内容转给了王崎。
他现在还在等待王崎的回复与指点。
“不过,说是这样说,但是,有些事情,可能早就有答案了吧——毕竟算学自有自在。”苏君宇躺下,自嘲的说道。
这一两年,基派就是在专心编写《原算》,构建自己的体系。对于这一场论战,就只是无视,或者装死。
但这一次被人点中根脚之后呢?
哪怕是为了基派算学,他也会研究不可达基数。
梵巴赫的阳谋。
苏君宇甚至可以想象到,一张无形的网,正在结成,这一张网,有离宗的成分,也有连宗的成分。而它的目标,就只有一个——海霆。
它是针对“可构造类”而结成的。
“只是,厌恶‘无限’的连宗修士,来提出这个,是不是太拼了一点?”
苏君宇很想笑。但是一想到海霆真人,他又笑不出来了。
穿成大佬假妹妹 替嫁给病弱佛修太子后他破戒了姜南枝容司璟更新 替嫁给病弱佛修太子后他破戒了姜南枝容司璟后续 唐老太的种田生活 武裂苍穹秦天青儿百度云 一觉醒来怀了崽 天才高手 武裂苍穹秦天青儿全集免费阅读 神道丹帝叶尘苏傲雪全本免费阅读 贵门妾 替嫁给病弱佛修太子后他破戒了姜南枝容司璟番外 周一见 玄学大佬在现代 封先生的宠爱 人人都爱马文才 九子登云的作品武裂苍穹 替嫁给病弱佛修太子后他破戒了姜南枝容司璟全文免费完结版 穿书之末世娇宠 七零空间小娇女 就想和你在一起
VS顾婉穿书了,穿到一个缺衣少食的年代就算,竟然还是一个手不能提肩不能扛,还没钱结果饿死的知青身上?等等,没钱?没钱饿死的,那这是什么?在疫区做志愿者的顾菀穿书了,前世父母在疫区感染不幸离世后,义无反顾加入了志愿者的行列当中。只是最后却还是不幸感染,弥留之际还在想,那些存放捐赠物质仓库的钥匙还在自己家里呢,也不...
废土世界,年满十八岁的人类都会获得城市种子,从而成为城主,只要种下,就可选择陆上海上,或空中城市之一。城市因城主而生,也因城主之死而死。一旦城市毁灭,城主将成为无城之民。城市可以移动可以战斗可以不断的升级,既是一个超级战力,也是一个人类在废土之上的生存之所。项杨重生归来,打开隐藏选项进击城市。废土之上,没有异能,没有血脉,唯有被称为城市的钢铁巨兽,才是人类文明得以延续的希望。这是个带着自己的城市,驰骋在末日废土之上的故事。如果您喜欢进击的城市,别忘记分享给朋友...
我能追踪万物简介emspemsp穿越仙侠世界,陈沉得到最强追踪系统,从此能追踪万物。陈沉系统,我缺钱了。两米之外,床底下藏着你爹的私房钱,五米之外,地下半米有一枚生锈的铜钱。前方草丛里有掉落的碎银子。陈沉系统,我缺点机缘。猪圈前那坨屎其实并不普通。今夜子时前往二十里外的黑锋崖跳崖。某处地方隐藏着仙人洞府。万载之后,已经成为仙帝的陈沉有些无聊。系统,你告诉我,这世间有多少女修暗恋本帝?...
星海漫游,时空穿梭,机械科技,目标是未知的星辰大海!如果您喜欢幻想娱乐帝国,别忘记分享给朋友...
师兄师妹,一个穿越开挂,一个大帝重生。师兄只想苟着求长生,却狠辣又腹黑。师妹却想逆行伐九天,横推一切敌。叮恭喜宿主在山上日常生活百年,奖励十万年修为。如果您喜欢仙门万年开局获得大道法,别忘记分享给朋友...
疯批女追男囚爱后,疯批男火葬场追妻。最倒霉的,是这个天下呗!主角版美强惨摄政长公主,因上辈子是个病秧子,性情孤僻一身反骨,重生成了恶人头子。很好很适合她。就爱拉天下一起发疯。夺权抢人,就爱看你们狠不过我的样子。什么?爱上的是死对头?替身女配还倒反天罡?想骑在她头上拉臭...