手机浏览器扫描二维码访问
大基数的好处,也有很多。
比如说,引入大基数可以直接证明任何可构造的实数集合不会引发分球悖论,并且不需要取消选择函数。
比如说,引入大基数可以证明二阶算术的完备性。
这是当年王崎在证明一阶完备之后就停滞不前的道路。
但唯一的问题是……
“大基数”与构造性公理是相互矛盾的。
“对于贵学派来说,推翻可构造类是必然的。王崎所设想的那个,可以执行所有算学的假想实体,算学的根源,根本就不可能在离宗的天理体系之内实现……”
“但若是引入强不可达基数,扭曲天理体系,便是海阔天空……”
“是以,证明不可达基数谱系的安全性,便是证明基派几轮的安全性……”
苏君宇看着这一封信函,仿佛内里有什么魔力一样。
“这算什么?”苏君宇最终也只是叹息:“借助离宗的手,来清除连宗的异己吗?”
——不,离宗和连宗的界限,在这一瞬间,也模糊了吧?
苏君宇这样想着。
或许“异端比异教徒更可恨”,并不仅仅适用于神道学领域。
对于连宗来说,引入天理体系,引入选择公理,扰乱连宗完美几何宇宙图景的海霆,比大多数连宗修士都要可恨许多倍。
离宗又何尝不是呢?
歌庭派和苍生国手、机老的分歧,王崎和冯落衣的分歧……
——不不不……
苏君宇瞬间甩掉了这样的想法。
至少王崎还没有做出选择哩。
苏君宇这样叹息。
果然是一个烂摊子。
早在数日之前,苏君宇就已经将这封信的部分内容转给了王崎。
他现在还在等待王崎的回复与指点。
“不过,说是这样说,但是,有些事情,可能早就有答案了吧——毕竟算学自有自在。”苏君宇躺下,自嘲的说道。
这一两年,基派就是在专心编写《原算》,构建自己的体系。对于这一场论战,就只是无视,或者装死。
但这一次被人点中根脚之后呢?
哪怕是为了基派算学,他也会研究不可达基数。
梵巴赫的阳谋。
苏君宇甚至可以想象到,一张无形的网,正在结成,这一张网,有离宗的成分,也有连宗的成分。而它的目标,就只有一个——海霆。
它是针对“可构造类”而结成的。
“只是,厌恶‘无限’的连宗修士,来提出这个,是不是太拼了一点?”
苏君宇很想笑。但是一想到海霆真人,他又笑不出来了。
捡到病娇太子之后(重生) 大明孤狼 扛着boss拼下限(末世) 时光请善待我的她 天黑请开眼 一爱到底之顾少毒妻 穿越之弃子国师 烈火燃情:高冷总裁滚远点 赌妃在上,王爷在下 最强除妖师 我是狠人大帝的同乡 直播和男神同居的日子 神偷长公主 系统之娇宠孕妻 悍妻[医道] 眼镜兄撞上恶魔王子 断神 娱乐超级奶爸 废材重生:邪王独宠悍王妃 天地炼成
沈子曦(咬牙切齿)穿越之后才发现男神丈夫是女主的忠犬,为女主生,为女主死,为女主干掉炮灰原配,顺利爬墙尼玛,这个男人竟然敢给老娘戴绿帽,看咱不整死这对狗男狗女!谢逸棠(嘴角抽搐)小曦,别闹,咱们回家吃药野心勃勃的白秀丽重生了,上一世虽然享受众多优质男神给予...
我穿越的世界遍布玩家,生存本就不易,而我更是被系统缠身,成了NPC中最耀眼的那个土著看我不顺眼,玩家视我为眼中钉。为了在异世界美好的生活,为了不被玩家欺辱,我只能竭尽全力,把所经历的苦厄变成别人...
关于废材小姐异界纵横林家的女子生的这么漂亮,生来就是给人做侍妾的。回忆起这具身体最后存有的意识,林皓雪恨,就算他何家是乌桓帝国帝都的第一大家族又如何?此生若不灭你何家,我林皓雪誓不为人。于是...
简介社畜云章穿越修真界后又穿进一本真假千金文,成了假千金的亲妹妹。真假千金有一个共同的白月光卫王。卫王是皇太后嫡出,清隽绝俗,如天上月,在云隐寺出家。当云章穿书而来,拉着一家子跑路,路遇一少年,甚合胃口。卫王如月光清冷你意欲何为?云章别误会,就是看上你封地穿书成为假千金的亲妹妹后推荐地址...
躺平小仙女薛染香一朝穿越到古代,吃不饱穿不暖住牛棚还人畜共生,还好穿越附赠了一个系统,签到就能采集食物,只是这狗系统为什么一天只管一顿饭?不管了,好歹能吊住一条命了。再看看周围,一众奇葩亲戚如群狼环伺躺平是不可能躺平的了,撸起袖子向前冲吧!诶?这个神仙似的小道士怎么这么眼熟?小道士你娘一个人照顾你们姊妹二人,还要操劳生计,极为不易,我想薛染香你想做我爹?小道士这么许久以来,你对我助益良多,其实我薛染香别客气,我向来为兄弟两肋插刀!小道士太重了,我来搬吧。薛染香就这?瞧不起谁呢?真香后。薛染香月老啊,我看那个小道士是真不错,你什么时候给我俩牵红线啊?月老三连尽力了,等死吧,告辞了!如果您喜欢小神仙,请留步,别忘记分享给朋友...
一纸离婚协议后,她落魄成大妈!没钱,没房,还没颜。一朝逆袭,夏星河变身顶级黑客高手,坐拥万贯家财。所有笑我欺我,辱我的都赶紧来排好队,让你们见识一下什么叫做分分钟打脸!不过那谁,和她没有一毛钱感情的前夫,你靠后,别插队。什么,你要帮我打脸?对,还帮你打我自己的脸!这个坐拥千亿资产的邪魅男人,抬手毫不含糊地给了...