三藏中文网

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

第一百零七章 力迫法(第3页)

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

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

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

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

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

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

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

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

围剿之势。

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

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

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

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

可构造类,是不可证的。

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

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

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

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

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

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

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

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

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

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

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

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

但是……

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

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

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

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

然后,不断给两个有穷集合添加两个理论更加详细的“元素”,直到理论翻译函数在两个集合之间的关系之中现象出来,让不一致的证明调用翻译函数。

这简直就像是用某种暴力的途径,不断扩张算学,让算学自己证明自己。

这就是,力迫法。

完成论文的这一瞬,苏君宇气势如虹,再次晋升。

老铁!还在找"大神网文"免费更新?

百度直接搜索:"tv"看免费小说,没毛病!

(=tv)

热门小说推荐
腹黑老公,别撩我!

腹黑老公,别撩我!

婚后,他的小妻子竟然公开在舞会上盯着别的男人!看来是家教不严,直接领回家好好教育一顿!婚后,说好一辈子不碰她的老公才第二天就强吻了她!看来是地位不稳,直接一巴掌呼过去示威!你干什么亲我!告诉你谁才是你的丈夫!...

余生为期

余生为期

8岁时,林羡遇见萧菀青,被美色迷了眼,一句童言被人调笑多年阿姨你好美,我想嫁给你。后来,自以为早已忘怀的林羡再遇萧菀青,她的心跳又开始不停提醒她我好喜欢她。多年后,萧菀青被吃干抹净了才知道,原来软萌的小白兔长大了不是大白兔,而是狡猾的大灰狼。如果你说年少的爱恋像风一样捉摸不定,那我愿,余生以为期,长逝入...

重生娱乐圈:盛宠隐婚影后

重生娱乐圈:盛宠隐婚影后

萌宝来袭,宠文爽文,身心干净1v1这是一部娱乐圈双重生文,男女主重归于好,抱着萌娃秀尽恩爱撒尽狗粮的故事。粉丝眼里的靳绍煜性子清冷不善交流无欲无求这年头,怎么能连个微博都没有?一众迷妹实在为他的终身大事而发愁。后来,她们抓狂了,靳影帝不仅不是孤身一人,媳妇还是国民女神?纳尼?还怀孕了?高冷的靳影帝...

透视神医在校园

透视神医在校园

他武艺高强,使彪悍的警花为之倾倒。他医术绝代,让妩媚多情的女院长投怀送抱。他书画无双,令娇俏柔弱的校花朝思暮想。他仙法绝伦,被妩媚多情的女明星狂热倒追。当他的双眼开启透视功能之后,他总是会对身边的美女作出友好的提醒和我说话前,请先穿好衣服。他是林成飞,一个获得仙人传承的普通学生...

大富翁

大富翁

忙碌与悠闲,贫困与富裕,你的选择是什么?...

盛世权宠

盛世权宠

世人皆道,凉国丞相爱极了一人。为了她,他竟夺了自己君王之妻。世人皆言,昭国太子宠极了一人。为了她,他竟颠覆了凉聿二国。可最后,他眼睁睁看着她死在自己面前,而她对他说的最后一句话却是若有来世,愿永不相见。她爱极了他,亦恨极了他。宋清欢觉得自己的人生像开了挂。执行任务身亡,睁开眼却发现自己穿越成了一国帝姬。...