手机浏览器扫描二维码访问
万法门修士走上仙路,就是为了求道,求算学之道。除非杀了他们,否则,他们是不会停止的。
一股末世之感,莫名的蔓延开来。甚至有人不无悲观的不表示,万法门完了。
哀鸿之中,万法门的算家们,却在进行最后的交锋。
基派部分修士们对不可达基数的研究,也逐渐深入。
而不可达基数,确实与可构造类不可共存。
雪国派的反击也同样犀利。
现在,证明可构造类逆论的安全『性』,成为必须。
一个理论是否安全,和它是否可证,没有必然的关系。
一个理论的逆命题是否安全,和它本身,同样没有必然的关系。
或许可构造类本身是安全的。
但是,它的逆命题,同样也有可能是安全的。
围剿之势。
对此,已经前往征司前线的海霆真人却显得异常风轻云淡。
这一场厮杀,是他得到了进步,也对他的道心造成了动摇。他对离宗连宗的分歧,都已经逐渐看淡。
更重要的是……他立于不败之地。
就算可构造类逆命题安全,也不代表可以证伪可构造类本身。
可构造类,是不可证的。
他或许不会赢,但也不可能败。
这样“放弃”一般的示弱,当然不可能让其他人停下。
海霆可以不败,但他们却是要“赢”。
于是,连宗的修士们,便提出了新的方向。
所有的矛盾,都是集中在“内模型”与“可构造类”上的。
可构造『性』公理在理体系【zf公理体系】内不可证否。也就是,理体系内,不存在反例可证见不可构造集合。如果假设,在理体系内,有一个可构造类的扩张——比如,存在一个不可构造的集合,这个假设就等于是可构造『性』公理在理体系下的假设。这样下去,理体系本身就要不一致了。
但是,他们可以假设出一个超穷实体,作为内模型的扩张,然后思考应对这个扩张,构造一个不可构造集合。
只可惜的是,这不是连宗修士能够完成的伙计。
连宗算理,是不包含“无穷”与“超穷”的。
他们将问题抛给了离宗修士。
但是,这个算题,却包含了离宗修士所无法理解的思路。
于是,便是持续了许久的离宗内战。
但是……
苏君宇却喃喃:“妈呀,真的,感谢算君。”
在这一瞬间,只有看过算君手稿、得过海霆、梵巴赫指点的他意识到了这一点。
按照直觉派的思路,他们并不需要考量理体系与其自身加上集合论语句的系统的超穷总体是否一致。
他们只需要在理体系内斩出两个有穷集合,分别对应理体系自身,与理体系、集合论语句的叠加。
然后,不断给两个有穷集合添加两个理论更加详细的“元素”,直到理论翻译函数在两个集合之间的关系之中现象出来,让不一致的证明调用翻译函数。
这简直就像是用某种暴力的途径,不断扩张算学,让算学自己证明自己。
这就是,力迫法。
完成论文的这一瞬,苏君宇气势如虹,再次晋升。
喜欢走进修仙请大家收藏:()走进修仙
开局被女土匪看中,我占山为王 魂穿七零,这个世界我要做大女主 是你攻略不下的女主 再见,我亲爱的封先生 妻调令 雄虫他只想苟命[虫族] 怪厨 穿成大佬假妹妹 [原神]为了磕cp我连天理都能推翻 风刃之芒 七零夜校女教师 十二鬼月横滨结仇日常 富婆的快乐你不懂[神豪] 夫君热衷于给我捧场 穿越千年,只为遇见你! 我靠拾荒称霸三界 震惊!这个男人能点化智械 穿成流放文的极品小姑(穿书) 孤手握三十万重兵,你让孤自裁? 重回86:大哥死前托妻给我
...
一朝重生,亲爹从军阵亡,亲娘病死,留下体弱的弟弟和青砖瓦房几间。无奈家有极品亲戚,占了我家房还想害我姐弟性命!幸得好心夫妻垂帘,才有这安稳日子过。偶然山中救得老道一位,得其倾囊相授修得一身好武艺。骤闻亲爹消息,变身潇洒少年郎,入了天下闻名的孟家军,立军功当将军,可是那个总阴魂不散的小王爷是要搞哪样?虾米?威胁我?...
王虎穿越了,而且悲催的成了五指山下的一只老虎。我去,这是要做猴哥虎皮裙的节奏?王虎表示不服。作为一只21世纪穿越来的新时代老虎,怎么着也要和猴哥拜把子,做兄弟啊!此时此刻齐天大圣孙悟空被压五行山马上就满五百年,再有十年,波澜壮阔,影响三界格局的西天取经之旅就要开始,看王虎如何在其中搅动三界风云,与猴哥一起再掀万...
最强系统,我就是最强!还有谁?叶风看着众多的天骄,脸色淡定无比!获得最强系统,经验可复制对方的功法神通,可升级功法神通品阶无所不能,唯有最强!碾压苍穹,打爆世间一切不服者!...
甜宠无虐+日更+萌宝+智脑一个大佬和重生来的小媳妇甜蜜日常!一个娱乐小透明凭借智脑逆袭成超级影后的故事~...
玄幻爽文九天大陆,天穹之上有九条星河,亿万星辰,皆为武命星辰,武道之人,可沟通星辰,觉醒星魂,成武命修士。传说,九天大陆最为厉害的武修,每突破一个境界,便能开辟一扇星门,从而沟通一颗星辰,直至,让九重天上,都有自己的武命星辰,化身通天彻地的太古神王。亿万生灵诸天万界,秦问天笑看苍天,他要做天空,最亮的那颗星辰...