手机浏览器扫描二维码访问
大基数的好处,也有很多。
比如说,引入大基数可以直接证明任何可构造的实数集合不会引发分球悖论,并且不需要取消选择函数。
比如说,引入大基数可以证明二阶算术的完备性。
这是当年王崎在证明一阶完备之后就停滞不前的道路。
但唯一的问题是……
“大基数”与构造性公理是相互矛盾的。
“对于贵学派来说,推翻可构造类是必然的。王崎所设想的那个,可以执行所有算学的假想实体,算学的根源,根本就不可能在离宗的天理体系之内实现……”
“但若是引入强不可达基数,扭曲天理体系,便是海阔天空……”
“是以,证明不可达基数谱系的安全性,便是证明基派几轮的安全性……”
苏君宇看着这一封信函,仿佛内里有什么魔力一样。
“这算什么?”苏君宇最终也只是叹息:“借助离宗的手,来清除连宗的异己吗?”
——不,离宗和连宗的界限,在这一瞬间,也模糊了吧?
苏君宇这样想着。
或许“异端比异教徒更可恨”,并不仅仅适用于神道学领域。
对于连宗来说,引入天理体系,引入选择公理,扰乱连宗完美几何宇宙图景的海霆,比大多数连宗修士都要可恨许多倍。
离宗又何尝不是呢?
歌庭派和苍生国手、机老的分歧,王崎和冯落衣的分歧……
——不不不……
苏君宇瞬间甩掉了这样的想法。
至少王崎还没有做出选择哩。
苏君宇这样叹息。
果然是一个烂摊子。
早在数日之前,苏君宇就已经将这封信的部分内容转给了王崎。
他现在还在等待王崎的回复与指点。
“不过,说是这样说,但是,有些事情,可能早就有答案了吧——毕竟算学自有自在。”苏君宇躺下,自嘲的说道。
这一两年,基派就是在专心编写《原算》,构建自己的体系。对于这一场论战,就只是无视,或者装死。
但这一次被人点中根脚之后呢?
哪怕是为了基派算学,他也会研究不可达基数。
梵巴赫的阳谋。
苏君宇甚至可以想象到,一张无形的网,正在结成,这一张网,有离宗的成分,也有连宗的成分。而它的目标,就只有一个——海霆。
它是针对“可构造类”而结成的。
“只是,厌恶‘无限’的连宗修士,来提出这个,是不是太拼了一点?”
苏君宇很想笑。但是一想到海霆真人,他又笑不出来了。
时光请善待我的她 大明孤狼 我是狠人大帝的同乡 一爱到底之顾少毒妻 穿越之弃子国师 天地炼成 悍妻[医道] 最强除妖师 断神 废材重生:邪王独宠悍王妃 直播和男神同居的日子 捡到病娇太子之后(重生) 眼镜兄撞上恶魔王子 天黑请开眼 系统之娇宠孕妻 神偷长公主 扛着boss拼下限(末世) 娱乐超级奶爸 烈火燃情:高冷总裁滚远点 赌妃在上,王爷在下
冰寒末世混迹十数年,简宁回到四季分明的年代,睁眼一地贫瘠,还接到一通知,恰软饭的未婚夫发迹要退婚。简宁哦,可以的,人滚粮留下。那啥,这位窄腰肩宽腿长二米八坚毅俊朗的男人是你未来丈夫,麻烦你签收一下。友情附赠一句良言,上一世你活活把他作死了,他可能不咋待见你。建议你洗心革面,静影沉壁丹心映皓月。简宁捧脸惊悚不是我,搞错了!亲亲,这边建议你顺应天命。就不!我是不一样的烟火,我要开拓地图,发展农业囤粮,爱谁谁!简宁身上最明显的优点,挣钱屯粮史上第一。他猜,她上辈子肯定是一只小松鼠。如果您喜欢隐形大佬你崩人设了,别忘记分享给朋友...
暧昧季节出品一个极其普通的小人物,经历了不普通的事件。从以游戏为娱乐,变成了以游戏为生存。苍茫到底是一个什么样的游戏,里面又充满了什么样的秘密。无...
关于一夜欢恋霸上恶首席这男人到底啥背景?挖地三尺竟没能把他给找出来。好在被男友求婚的幸福冲淡了心里的阴霾。生活总是要回归主题的不是?嫁给青梅竹马的男友是她从小就知道的事儿。但是为毛上天总要和她过不去?约个小会晕了,吃个西点吐了,订好的婚纱瘦了!,孕纸一测怀上了。看着男友那痛楚绝然的背影!想着母亲暴跳如雷的样子我了个去!整不了你爸还整不了你这个小恶魔?不把这小东西生出来揍一顿,怎么对的住你搞出来的恶作剧?...
有男主,偏种田文游戏系统突然来临,全球人民在线苟活意外死亡的莫可可,重生回到游戏之初这一世,莫可可发誓,自己一定要发愤图强,努力游戏,走上人生巅峰,做上农场主,包养小白脸。嘿嘿,不好意思,有点飘了。不过,那个大神,你真的要和在下一起玩吗?你真的叫程世嘉嘛?要知道,在莫可可的记忆里,谁要是能和大神程世嘉有那么一点半点的交情,那可都是说一不二,富得流油!看来重生一次,老天爷还真是对我莫可可不薄啊!!如果您喜欢末日游戏之全民种田,别忘记分享给朋友...
关于田园如画骄阳入我怀穿越种田甜文杨初夏,江湖人称杨怼怼,曾舌战清大无敌手,有天一觉醒来成了个古代小农女。气煞人也,我拿作乱的老天爷没办法,还怼不赢你这渣叔恶奶嘛,她的名号可不是吹出来...
年轻是深圳最大的资本。本书主要讲述以尤勇为主线的几个年轻人,从美好青葱校园步入职场奋斗,经历成长的洗礼与蜕变,扎根深圳的人生故事。如果您喜欢年轻的魅力,别忘记分享给朋友...