笔趣阁

手机浏览器扫描二维码访问

第1289章(第3页)

一股末世之感,莫名的蔓延开来。甚至有人不无悲观的不表示,万法门完了。

哀鸿之中,万法门的算家们,却在进行最后的交锋。

基派部分修士们对不可达基数的研究,也逐渐深入。

而不可达基数,确实与可构造类不可共存。

雪国派的反击也同样犀利。

现在,证明可构造类逆论的安全性,成为必须。

一个理论是否安全,和它是否可证,没有必然的关系。

一个理论的逆命题是否安全,和它本身,同样没有必然的关系。

或许可构造类本身是安全的。

但是,它的逆命题,同样也有可能是安全的。

围剿之势。

对此,已经前往征天司前线的海霆真人却显得异常风轻云淡。

这一场厮杀,是他得到了进步,也对他的道心造成了动摇。他对离宗连宗的分歧,都已经逐渐看淡。

更重要的是……他立于不败之地。

就算可构造类逆命题安全,也不代表可以证伪可构造类本身。

可构造类,是不可证的。

他或许不会赢,但也不可能败。

这样“放弃”一般的示弱,当然不可能让其他人停下。

海霆可以不败,但他们却是要“赢”。

于是,连宗的修士们,便提出了新的方向。

所有的矛盾,都是集中在“内模型”与“可构造类”上的。

可构造性公理在天理体系【ZF公理体系】内不可证否。也就是说,天理体系内,不存在反例可证见不可构造集合。如果假设,在天理体系内,有一个可构造类的扩张——比如说,存在一个不可构造的集合,这个假设就等于是可构造性公理在天理体系下的假设。这样下去,天理体系本身就要不一致了。

但是,他们可以假设出一个超穷实体,作为内模型的扩张,然后思考应对这个扩张,构造一个不可构造集合。

只可惜的是,这不是连宗修士能够完成的伙计。

连宗算理,是不包含“无穷”与“超穷”的。

他们将问题抛给了离宗修士。

但是,这个算题,却包含了离宗修士所无法理解的思路。

于是,便是持续了许久的离宗内战。

但是……

苏君宇却喃喃:“妈呀,真的,感谢算君。”

在这一瞬间,只有看过算君手稿、得过海霆、梵巴赫指点的他意识到了这一点。

按照直觉派的思路,他们并不需要考量天理体系与其自身加上集合论语句的系统的超穷总体是否一致。

他们只需要在天理体系内斩出两个有穷集合,分别对应天理体系自身,与天理体系、集合论语句的叠加。

妻调令  [原神]为了磕cp我连天理都能推翻  开局被女土匪看中,我占山为王  夫君热衷于给我捧场  穿越千年,只为遇见你!  七零夜校女教师  我靠拾荒称霸三界  十二鬼月横滨结仇日常  怪厨  重回86:大哥死前托妻给我  风刃之芒  穿成流放文的极品小姑(穿书)  穿成大佬假妹妹  雄虫他只想苟命[虫族]  震惊!这个男人能点化智械  是你攻略不下的女主  富婆的快乐你不懂[神豪]  魂穿七零,这个世界我要做大女主  孤手握三十万重兵,你让孤自裁?  再见,我亲爱的封先生  

热门小说推荐
九龙吞珠

九龙吞珠

一张从始皇帝皇宫流传出的长生不老药地图,解开不死不灭之秘。一代名将,将守,从万人敌,到无人敌的重生之路!九龙吞珠读者交流群721466643)...

大国工程

大国工程

余庆阳一个搬砖二十年的老工程,梦回世纪之交,海河大学毕业,接老爸的班继续搬砖。用两辈子的行动告诉老师,搬砖不是因为我学习不好!是我命中注定要搬砖已有两本百万字完本书超级村主任最强退伍兵,可以放心入坑!大国工程书友群,群聊号码492691021新书重生之大国工匠...

绝色占卜师:爷,你挺住!

绝色占卜师:爷,你挺住!

听说她在占卜,他捧着手眼巴巴的就过来了爱卿,你给本君算算,今晚是本君睡了国师呢?还是国师睡了本君?她哆嗦了一下,一脚就踹了过去谁都不睡!她今晚就阉了你!!重生前,她是惊才绝艳的大占卜师,重生后,她还是上知天文下知地理的一品国师,可是,她算了两世,却没算到自己这一世会犯桃花国师大人,不好了,帝君来了!卧槽!她一下子就从八卦盘里站了起来他来干什么?他不干什么!那就好那就好!她狂抹一把额头上的冷汗。小太监欲哭无泪可他说了,今晚他夜观星象,是个鸾凤和鸣...

每日热搜小说推荐