手机浏览器扫描二维码访问
大基数的好处,也有很多。
比如说,引入大基数可以直接证明任何可构造的实数集合不会引发分球悖论,并且不需要取消选择函数。
比如说,引入大基数可以证明二阶算术的完备性。
这是当年王崎在证明一阶完备之后就停滞不前的道路。
但唯一的问题是……
“大基数”与构造性公理是相互矛盾的。
“对于贵学派来说,推翻可构造类是必然的。王崎所设想的那个,可以执行所有算学的假想实体,算学的根源,根本就不可能在离宗的天理体系之内实现……”
“但若是引入强不可达基数,扭曲天理体系,便是海阔天空……”
“是以,证明不可达基数谱系的安全性,便是证明基派几轮的安全性……”
苏君宇看着这一封信函,仿佛内里有什么魔力一样。
“这算什么?”苏君宇最终也只是叹息:“借助离宗的手,来清除连宗的异己吗?”
——不,离宗和连宗的界限,在这一瞬间,也模糊了吧?
苏君宇这样想着。
或许“异端比异教徒更可恨”,并不仅仅适用于神道学领域。
对于连宗来说,引入天理体系,引入选择公理,扰乱连宗完美几何宇宙图景的海霆,比大多数连宗修士都要可恨许多倍。
离宗又何尝不是呢?
歌庭派和苍生国手、机老的分歧,王崎和冯落衣的分歧……
——不不不……
苏君宇瞬间甩掉了这样的想法。
至少王崎还没有做出选择哩。
苏君宇这样叹息。
果然是一个烂摊子。
早在数日之前,苏君宇就已经将这封信的部分内容转给了王崎。
他现在还在等待王崎的回复与指点。
“不过,说是这样说,但是,有些事情,可能早就有答案了吧——毕竟算学自有自在。”苏君宇躺下,自嘲的说道。
这一两年,基派就是在专心编写《原算》,构建自己的体系。对于这一场论战,就只是无视,或者装死。
但这一次被人点中根脚之后呢?
哪怕是为了基派算学,他也会研究不可达基数。
梵巴赫的阳谋。
苏君宇甚至可以想象到,一张无形的网,正在结成,这一张网,有离宗的成分,也有连宗的成分。而它的目标,就只有一个——海霆。
它是针对“可构造类”而结成的。
“只是,厌恶‘无限’的连宗修士,来提出这个,是不是太拼了一点?”
苏君宇很想笑。但是一想到海霆真人,他又笑不出来了。
神偷长公主 系统之娇宠孕妻 扛着boss拼下限(末世) 赌妃在上,王爷在下 悍妻[医道] 断神 捡到病娇太子之后(重生) 天黑请开眼 大明孤狼 娱乐超级奶爸 我是狠人大帝的同乡 直播和男神同居的日子 烈火燃情:高冷总裁滚远点 穿越之弃子国师 最强除妖师 一爱到底之顾少毒妻 废材重生:邪王独宠悍王妃 眼镜兄撞上恶魔王子 天地炼成 时光请善待我的她
异世大陆,身世的扑朔迷离,想要挣扎活下去的决心,到底什么才是真正的自己,揭开真相的那一刻,是向命运屈服,还是努力走向更高处无邪我记得我是谁,唯一的目标只是想活着,上天不公,那我便冲破这天,大地不仁,那我便创造我自己的大地。容墨这世界上我想要守护的唯她一人而已,若她不在,这万里江山又有什么意义,就算是堕魔毁了它又何妨。卫颜初次相见她便镌刻在我心上,那时却不觉,站在正邪对立面时,我又该何去何从。男女绝对1v1宠文,欢迎大家收藏哦如果您喜欢神医倾城魔帝大人轻点撩,别忘记分享给朋友...
主人公夏海当过兵,却得罪了人,落个退役的下场,夏海人很热心,可是却也坏在热心上面。一次偶然的见义勇为却不想成了穿越大军的一员,来到了远古时代,但是,夏海却发现,这里并不原始。这里有着大大小小的部落。这里已经有了大的部落联盟,或者称呼为诸侯国也不错。这里是一个实力为尊的世界,这个世界的个体力量几乎异常的强大。夏海该如...
梅,如果我死了,请把我的骨灰洒在大海里里。为什么?因为我就算是死了,也要接着浪。这是一个注入了正能量的故事。如果您喜欢旅行青蛙在漫威世界混日子,别忘记分享给朋友...
关于大话水浒之武大郎传奇历史不是镜子,历史是精子,牺牲亿万,才有一个活到今天人生不是故事,人生是事故,摸爬滚打,才不辜负功名尘土。作为一名宅男,穿越,是我一直以来梦寐以求的事情,可穿越到武大...
自幼被家族遗弃的林凡,大学期间偶得奇遇,拥有了纯阳脉和至阴脉并存的阴阳双脉体质,得以修炼天级功法乾坤阴阳诀,此后奇遇不断,武修路上精彩纷呈,各色美女接踵而至,林凡的身世也渐渐揭晓,曾经的弃儿竟藏着惊天秘密...
你再也不是那个掌上明珠了,醒醒吧!这段话在杨纯晴里不断浮现,被闺蜜所害,就连姐姐和父母都离她而去。她后悔,伤害的都是自己本应该珍惜的人。不行,这不是她想要的!重来一世,她要擦亮眼睛,手撕渣男贱女,好好对待真心为自己付出的家人,伤害她的那些人,她一个也不会放过!当然,最重要的是,她要把自己伤过的那颗心,再重新追回来,小心珍藏。只是这追夫之路,漫漫无期啊~如果您喜欢祁少宠妻甜腻腻,别忘记分享给朋友...