手机浏览器扫描二维码访问
梵巴赫没有隐藏自己的意图。
但与此同时,他也指出了另外一点。
在一个体系之中,引入的“无穷”越强,那么可以证明的东西就越多。
嗯,这是一个很不“连宗”的说法。
但这就是从内模型的证明过程之中推测出来的。
也就是包括“不可达基数”在内的“大基数”
大基数的好处,也有很多。
比如说,引入大基数可以直接证明任何可构造的实数集合不会引发分球悖论,并且不需要取消选择函数。
比如说,引入大基数可以证明二阶算术的完备性。
这是当年王崎在证明一阶完备之后就停滞不前的道路。
但唯一的问题是……
“大基数”与构造性公理是相互矛盾的。
“对于贵学派来说,推翻可构造类是必然的。王崎所设想的那个,可以执行所有算学的假想实体,算学的根源,根本就不可能在离宗的天理体系之内实现……”
“但若是引入强不可达基数,扭曲天理体系,便是海阔天空……”
“是以,证明不可达基数谱系的安全性,便是证明基派几轮的安全性……”
苏君宇看着这一封信函,仿佛内里有什么魔力一样。
“这算什么?”苏君宇最终也只是叹息:“借助离宗的手,来清除连宗的异己吗?”
——不,离宗和连宗的界限,在这一瞬间,也模糊了吧?
苏君宇这样想着。
或许“异端比异教徒更可恨”,并不仅仅适用于神道学领域。
对于连宗来说,引入天理体系,引入选择公理,扰乱连宗完美几何宇宙图景的海霆,比大多数连宗修士都要可恨许多倍。
离宗又何尝不是呢?
歌庭派和苍生国手、机老的分歧,王崎和冯落衣的分歧……
——不不不……
苏君宇瞬间甩掉了这样的想法。
至少王崎还没有做出选择哩。
苏君宇这样叹息。
果然是一个烂摊子。
早在数日之前,苏君宇就已经将这封信的部分内容转给了王崎。
他现在还在等待王崎的回复与指点。
“不过,说是这样说,但是,有些事情,可能早就有答案了吧——毕竟算学自有自在。”苏君宇躺下,自嘲的说道。
先婚后爱:娇妻拒婚101次 什么?奥特曼是终身制的? 盛世花都 大明:开局剧透崇祯,重振河山 运河之韵 灵异直播,女主她不想吓人 我的修真小米三 敛财心 巫妖生存指南 西游:六岁熊孩子,开局怒怼观世音 巨树领主 建立帝国从骑士次子开始 舌尖天下 万苍天穹 谭笑风声里,灼灼桃之夭 网游航海之王 月薪十万,女总裁她果然不只是让我当司机 穿进语文书,从刺猹开始 道化九界 我,地球唯一超能力者
侠之大者,为国为民。让宵小之辈有所震慑,让权贵之人有所忌惮,为沉冤者得雪,为弱小者仗剑,为天下开太平!微信sanguanyouzai。交流公众号三观犹在。...
无意间得到了一款游戏,里边的剧本精彩纷呈妖魔鬼怪怪异魔神让王昊走上了意想不到的道路。这是跨越维度的旅行,我们探索未知,却得到更多未知我们反抗恐惧,却得到更多恐惧。当人类在黑暗中迷失方向,我将成为他们的先驱,燃烧自己的心骨,照亮前进的道路!...
魔蝎小说...
九阳神功力拼嫁衣神功,究竟孰强孰弱?燎原百击直面天外飞仙,谁可当世称雄?神州大地,山河之内,主宰一切的,只有武功,也只能是武功。段毅来到陌生而又熟悉的...
2120年,人类科技水平再次迈上了新台阶。新种族的诞生,能令意识长生不死的虚拟元宇宙世界,可用时间抗衡绝症的冰冻技术,崭新的资本角斗场眼花缭乱的出现在了地球原住民的眼前。人类与AI如何共...
犯罪权谋政商博弈跨国红商新书上线,主页观看一个被安插在犯罪集团的卧底,心狠手辣,冷酷无情,历尽波折当上了集团老大,亲手枪杀了唯一知道自己身份的上线。凭借过人的能力,得到了诸多大佬的赏识,自古以来,官与商之间藕断丝连,你中有我,我中有你。他究竟是隐藏极深的卧底,还是披着羊皮的恶狼!你所认为的好人,真的是好人吗?你所认为的坏人,便真的是坏人吗?内容纯属虚构。...