手机浏览器扫描二维码访问
大基数的好处,也有很多。
比如说,引入大基数可以直接证明任何可构造的实数集合不会引发分球悖论,并且不需要取消选择函数。
比如说,引入大基数可以证明二阶算术的完备性。
这是当年王崎在证明一阶完备之后就停滞不前的道路。
但唯一的问题是……
“大基数”与构造性公理是相互矛盾的。
“对于贵学派来说,推翻可构造类是必然的。王崎所设想的那个,可以执行所有算学的假想实体,算学的根源,根本就不可能在离宗的天理体系之内实现……”
“但若是引入强不可达基数,扭曲天理体系,便是海阔天空……”
“是以,证明不可达基数谱系的安全性,便是证明基派几轮的安全性……”
苏君宇看着这一封信函,仿佛内里有什么魔力一样。
“这算什么?”苏君宇最终也只是叹息:“借助离宗的手,来清除连宗的异己吗?”
——不,离宗和连宗的界限,在这一瞬间,也模糊了吧?
苏君宇这样想着。
或许“异端比异教徒更可恨”,并不仅仅适用于神道学领域。
对于连宗来说,引入天理体系,引入选择公理,扰乱连宗完美几何宇宙图景的海霆,比大多数连宗修士都要可恨许多倍。
离宗又何尝不是呢?
歌庭派和苍生国手、机老的分歧,王崎和冯落衣的分歧……
——不不不……
苏君宇瞬间甩掉了这样的想法。
至少王崎还没有做出选择哩。
苏君宇这样叹息。
果然是一个烂摊子。
早在数日之前,苏君宇就已经将这封信的部分内容转给了王崎。
他现在还在等待王崎的回复与指点。
“不过,说是这样说,但是,有些事情,可能早就有答案了吧——毕竟算学自有自在。”苏君宇躺下,自嘲的说道。
这一两年,基派就是在专心编写《原算》,构建自己的体系。对于这一场论战,就只是无视,或者装死。
但这一次被人点中根脚之后呢?
哪怕是为了基派算学,他也会研究不可达基数。
梵巴赫的阳谋。
苏君宇甚至可以想象到,一张无形的网,正在结成,这一张网,有离宗的成分,也有连宗的成分。而它的目标,就只有一个——海霆。
它是针对“可构造类”而结成的。
“只是,厌恶‘无限’的连宗修士,来提出这个,是不是太拼了一点?”
苏君宇很想笑。但是一想到海霆真人,他又笑不出来了。
请勿开启浏览器阅读模式,否则将导致章节内容缺失及无法阅读下一章。
穿越之弃子国师 一爱到底之顾少毒妻 天黑请开眼 天地炼成 神偷长公主 最强除妖师 娱乐超级奶爸 废材重生:邪王独宠悍王妃 扛着boss拼下限(末世) 大明孤狼 时光请善待我的她 赌妃在上,王爷在下 直播和男神同居的日子 断神 悍妻[医道] 系统之娇宠孕妻 烈火燃情:高冷总裁滚远点 眼镜兄撞上恶魔王子 我是狠人大帝的同乡 捡到病娇太子之后(重生)
重生过去畅想未来梦幻现实,再塑传奇人生!如果您喜欢捡个系统当明星,别忘记分享给朋友...
叮,抽奖系统绑定成功,您有大礼包一份。打开。关平激动道。叮,恭喜宿主获得霸王之勇,李广神射,空间农场一座。...
前世被渣男渣爹害死。重生后却是父疼母爱,全家将她宠。有天,莫麟看她掰着手指头算,不由好奇问玥儿,你在算什么?云玥嘻嘻一笑我在算,你想娶我需要打败多少人?我哥,爸,妈,堂兄弟姐妹还有还有老天爷!老天爷想拐走我闺女?不可能,给我变成狗。莫麟求婚行动不顺利的真相!在线急问全世界都是情敌,怎么破?如果您喜欢团宠娇妻超难娶,别忘记分享给朋友...
带智爽文,一本行文风格骚气注重剧情且不那么正经的仙侠轻剧贞歌三年,对大齐而言是个核平的好年头。太白门的三千剑仙恣肆风流,国子监的儒生放浪形骸。白马寺的僧人志在普度众生,捉妖殿的术师护佑太安。钦天监的法士探寻世界真理,大理寺的疯狗到处咬人。山野精怪,魍魉鬼魅,大妖蠢蠢欲动。纷乱糅杂的大齐京都就像一张蛛网。作为一个精致的腹黑主义者,余乾选择在蛛丝上骚浪,在刀尖游走,左右横跳。他始终保持一个信条要想在这吃人的世界里混的开,靠的就是脑子和胆色以及骚操作。六月初四,余乾入大理寺。着飞鹰服,戴乌纱帽,腰佩朴刀,亦成疯狗。开了亿点小挂的余乾觉得自己未来可期。直到他发现自己认识的女子一个比一个诡异强悍且变态Ps剧情就像精致丝绸,一环编一环,环环相扣,保证质量和剧情的精彩性!Ps小后宫,非无脑种马,非脸谱化的角色。保证每个女主都将塑造的血肉分明。如果您喜欢我娘子一个比一个诡异,别忘记分享给朋友...
秦二世元年,王不饿低调的吹了个牛,但他万万没想到的是,有人相信了。牛皮越吹越大,信众越来越多,王不饿坐在龙椅上满脸的忧愁,我真不想吹牛啊如果您喜欢大汉从吹牛开始,别忘记分享给朋友...
道裂为百,儒教救之,谶纬祸世。道与世两相丧,圣人不仅不能平天下,连存身都难,于是隐居帝乡,不再现世。这时,一座神秘的学宫降世,一个普通的少年崛起,携惊世道法,重振道门,教化天下众生,但愿人人如龙。如果您喜欢至道学宫,别忘记分享给朋友...