哈哈电子书

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

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

万法门修士走上仙路,就是为了求道,求算学之道。除非杀了他们,否则,他们是不会停止的。

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

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

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

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

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

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

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

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

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

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

围剿之势。

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

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

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

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

可构造类,是不可证的。

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

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

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

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

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

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

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

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

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

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

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

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

但是……

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

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

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

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

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

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

这就是,力迫法。

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

喜欢走进修仙请大家收藏:()走进修仙

封先生的宠爱  天才高手  九子登云的作品武裂苍穹  玄学大佬在现代  替嫁给病弱佛修太子后他破戒了姜南枝容司璟后续  替嫁给病弱佛修太子后他破戒了姜南枝容司璟全文免费完结版  替嫁给病弱佛修太子后他破戒了姜南枝容司璟番外  唐老太的种田生活  穿成大佬假妹妹  穿书之末世娇宠  神道丹帝叶尘苏傲雪全本免费阅读  七零空间小娇女  就想和你在一起  一觉醒来怀了崽  贵门妾  替嫁给病弱佛修太子后他破戒了姜南枝容司璟更新  武裂苍穹秦天青儿百度云  武裂苍穹秦天青儿全集免费阅读  人人都爱马文才  周一见  

热门小说推荐
超能心理医生

超能心理医生

超能心理医生简介emspemsp签约了,比较兴奋!量子壁垒被打破,壁垒碎片化身空间初钥,落在港城中学夏一凡的身上,让他成为首批掌握量子心理学的人之一,从此开启了他跌宕起伏的开挂人生。同是心理医生,有人用量子密钥救人,也有人...

我的外挂太狠了

我的外挂太狠了

大王,这是上好的宝物,可以觉醒天赋!大王,这是天地奇物,可以觉醒天赋神通!大王,这是龙血!张远张口吞下,然后长叹一口气,耳边适时传来声音。叮!灵力值+10000叮!灵力值+1000000叮!灵力值+10000000我的外挂太狠了!张远看着水中长得平平无奇的自己,内心里感慨万千。实力强大又如何?统领万里疆域又如何?震慑群雄又如何?称王称霸又如何?麾下拥有无数走狗又如何?自己终究还是平平无奇啊五米高的身材,在这灵气复苏的巨兽时代,微不足道。张远退下了数十米高的走狗,无神地看着湛蓝色天空。叮!灵力值+10该死!!张远心中古井无波的骂了一句,然后昏昏然睡了下去。如果您喜欢我的外挂太狠了,别忘记分享给朋友...

从刀剑开始的次元旅程

从刀剑开始的次元旅程

从刀剑开始的次元旅程简介emspemsp关于从刀剑开始的次元旅程一切,从2017年10月4日中秋节落下的那颗陨石开始目前已开启世界刀剑神域犬夜叉死神,灼眼的夏娜。首发po18citycompo1⒏υip...

我踢的养生足球

我踢的养生足球

教练,我估计我下半场会拉肚子,要不我只踢上半场?教练,你放心,只要二十分钟保证解决战斗。教练,我估计明天的比赛上半场我会感冒,我只踢下半场吧。看着眼前的方圆,拉斯泰利背在背后的双手紧握双拳,然后几乎是咬着后槽牙,脸上堆着笑容。好的,没关系,方,身体不舒服我让队医帮你瞧瞧。不用了,教练,您太好了,您...

戒不掉情深

戒不掉情深

戒不掉情深简介emspemsp关于戒不掉情深四年前,为了钱傅明嫣把自己送给了靳澍言,后来靳澍言咬牙切齿的让她滚。四年后,靳澍言埋头在傅明嫣的颈窝,他说,傅明嫣,我们结婚吧。傅明嫣却勾起唇,不好意思靳少,我已婚了。...

重回九四好种田

重回九四好种田

红袖读书首届全球征文大赛参赛作品如果您喜欢重回九四好种田,别忘记分享给朋友...

每日热搜小说推荐