手机浏览器扫描二维码访问
但很可惜的是……十年,不,不对,不到七年的时间之内,这个“希望之星”也有陨落的风险。
有很多人都觉得,王崎的算理也有可能存在巨大漏洞。
——这简直就是万法门自灭满门的调子。
这种绝望的想法,不止一次的出现了。
冯落衣不置可否。
而就在这一年的冬季,歌庭派不大高兴的宣称,自己似乎完成了希门二十三问第一问的进一步证明。
比苏君宇那个更为深入。
他们提出了“内模型”的概念。
任何包含“所有序数的序数”的传递模型,都是“内模型”。
可构造类,是最小的内模型。
在可构造类之内,无限集的基数一定是二的若干次方的形式的。因此,广义连续统假设是成立的。
而广义连续统假设的任何等价或缩小形式,都不可证否。
在借用新连宗的定义之后,他们终于更进一步了。
这一幕实在是别扭,以至于歌庭内部的喝彩声都是稀稀拉拉的。
他们还顺便完成了选择公理的探索。
而在这个时候,有一个人表现出了明显的不满。
苏君宇叹息:“连续统啊……它的后续不应该是这样的。”
连续统假设的初步证明,是他完成的。他对这个问题,也是有感情的。
对他来说,内模型实在是违反直观感受,违反他作为基派修士所拥有的“美学”。
怎么说呢……
太不爽了。
“循环是宇宙最为不变的现象。在算学之中删除循环,拒绝为循环建模,简直就是……”
他摇了摇头。王崎如今是他上司,而冯落衣是王崎师父。但他依旧不喜欢良基集合的概念……嗯,恐怕王崎也不会太喜欢?
另一方面,海霆真人也是的。
认为集合论总体之中,只存在“可构造集合”,未免太过乐观了。
说到底,整个“内模型”,就是在“相对一致性”的思路上发展而来的。
相对一致性,本身就有“委曲求全”的意思里。
通过舍弃那些不能并存的,从而达到一致。
削足适履,斩趾避虫。
他想要更强的东西……
老铁!还在找"大神网文"免费更新?
百度直接搜索:"tv"看免费小说,没毛病!
(=tv)
与世无争,与人无忧,碧天海阔的海岛,广阔无边的牧场,历史沉淀的庄园,没事考考古,发掘发掘史前文明,没事修修仙,畅游天地之间...
有多少人还记得那个id,那个让无数职业选手闻风丧胆的id,若风叫他呆哥,草莓被他带到国服第一,笑笑,厂长,pdd看到他在对面直接就挂机。他却因为一次任性被封号三年。他制造了英雄联盟在线人数最少的纪录。他是国服最早的两大路人王之一他被称为传奇。如今,传奇回来了,在这个传奇正盛的年代,他回来了!他的id叫做发呆!...
皇家法术学院。导师问如果敌人跑进地形未知的山洞,该怎么应对?学生A派出精锐斥候,为他加持影遁术,让他进入山洞探查地形。学生B使用动物之眼,...
本书简介亲,你看小说时,曾经为里面的某个阴险狠毒却可怜可悲的女人而遗憾吗?你看电视时,曾经为某个痴情无悔却最终独身的女人而心疼吗?如果有,那么请你不要走开,本文中,作者为这些痴情女子在二十一世纪精挑细选了多位精英男士,保证让这些痴情女子脱离曾经的苦恋,有个幸福美满的结局。本文不虐人(可能吧),不黑人(看我喜不喜欢),喜欢此类型的快到我的碗里来吧。不要客气的收藏一下吧O∩∩O。亲爱的们,刚刚编编下达通知,说周日入V入望大家能一如既往的支持我,谢谢!O∩∩O伯研的文。...
滴答滴答杂乱不堪的酒桌上,残留的酒水顺着光滑的桌面落在酒桌下横躺着的身体上。感受着喉咙处传来的干涩,陈慕猛地睁开双眼,忍着头痛欲裂的感觉,迷茫的看着周围这个极为陌生的破旧屋子。这是哪讨论群657895679...
十二平行宇宙,九十六颗源缘珠,跨越时间与空间的情感,最强主角却被屡屡惨遭封号,主角团八人在宇宙的路程中到底会遇到些什么?全神者,那凯游移凹凼,四大圣兽,四大神兽,四大凶兽,四大灵兽,这些都与主角们有什么联系呢?明明只想让身边的人开心的男一号,为了让大家幸福,选择了牺牲自己!所谓的转世,只不过是感情的延续罢了!展开收起...