手机浏览器扫描二维码访问
冯落衣不置可否。
而就在这一年的冬季,歌庭派不大高兴的宣称,自己似乎完成了希门二十三问第一问的进一步证明。
比苏君宇那个更为深入。
他们提出了“内模型”的概念。
任何包含“所有序数的序数”的传递模型,都是“内模型”。
可构造类,是最小的内模型。
在可构造类之内,无限集的基数一定是二的若干次方的形式的。因此,广义连续统假设是成立的。
而广义连续统假设的任何等价或缩小形式,都不可证否。
在借用新连宗的定义之后,他们终于更进一步了。
这一幕实在是别扭,以至于歌庭内部的喝彩声都是稀稀拉拉的。
他们还顺便完成了选择公理的探索。
而在这个时候,有一个人表现出了明显的不满。
苏君宇叹息:“连续统啊……它的后续不应该是这样的。”
连续统假设的初步证明,是他完成的。他对这个问题,也是有感情的。
对他来说,内模型实在是违反直观感受,违反他作为基派修士所拥有的“美学”。
怎么说呢……
太不爽了。
“循环是宇宙最为不变的现象。在算学之中删除循环,拒绝为循环建模,简直就是……”
他摇了摇头。王崎如今是他上司,而冯落衣是王崎师父。但他依旧不喜欢良基集合的概念……嗯,恐怕王崎也不会太喜欢?
另一方面,海霆真人也是的。
认为集合论总体之中,只存在“可构造集合”,未免太过乐观了。
说到底,整个“内模型”,就是在“相对一致性”的思路上发展而来的。
相对一致性,本身就有“委曲求全”的意思里。
通过舍弃那些不能并存的,从而达到一致。
削足适履,斩趾避虫。
他想要更强的东西……
第一百零六章联合围剿
苏君宇对“下一步”的印象也很模糊。
他确实不是很喜欢内模型,但是若是说提出个理论将之驳倒,似乎也太过遥远了一些。
或者说,他也只是有一些模糊的想法罢了。
内模型违反算家直观感受的地方太过了。诚然,正如王崎所说,算学自有自在,不受人为意志的干涉。但是,算家在无数的探索之中,摸索出的“对数字与图形的感觉”,却绝非毫无意义。
实际上,内模型里,违反人直观感受的东西,实在是太多了。
比如说,删除循环。
废材重生:邪王独宠悍王妃 我是狠人大帝的同乡 直播和男神同居的日子 最强除妖师 时光请善待我的她 扛着boss拼下限(末世) 赌妃在上,王爷在下 娱乐超级奶爸 系统之娇宠孕妻 神偷长公主 一爱到底之顾少毒妻 烈火燃情:高冷总裁滚远点 捡到病娇太子之后(重生) 断神 天黑请开眼 悍妻[医道] 穿越之弃子国师 天地炼成 大明孤狼 眼镜兄撞上恶魔王子
这是一个巫医为尊,医者为卑的世界。这是一个中医大夫穿越异界,想要救死扶伤,证明自我的故事。舒沄以为只要小心谨慎,必然是能好好地活下去的。可是,危险的漩涡其实一直都没有停过,只等着把她吞噬下去。—如果您喜欢医路繁花,别忘记分享给朋友...
在让子弹飞中是穷鬼。在敦刻尔克的海滩上当炮灰,在枪火中是烂仔。在毒枭中是街头巡警。在银翼杀手2049是毫无存在感的复制人。系统,我什么时候才能充当主角或者大佬,哪怕是配角?哪怕只有几句台词的小角色?系统如果您喜欢影视从让子弹飞开始,别忘记分享给朋友...
当你发现自己在睡眠之中被室友套上了女装会怎么想?当你发现自己在女装的时候还得到了一个可以帮助你女装的系统会怎么想?当你发现自己女装的时候还能获得各种各样的技能会怎么想?总之,作为一个健康的大学生,女装什么的绝对是真香定律如果您喜欢常理不存在的轮回,别忘记分享给朋友...
六年后,她事业有成,家庭美满六年后,他终于等来了恋人回归。本来离了婚不该再有交集的两个人,却为了一桩桩隐秘的往事的真相,纠缠相杀。他曾将她带到悬崖的边缘,她随即纵身一跃。所以,他们彼此,是谁心狠呢?不过是一丘之貉罢了!如果您喜欢莫满,别忘记分享给朋友...
转世后,东悠一直在好好读书。人生的目标是法政大,毕业后自己在神奈川开一家律师事务所,除暴安良,建立和谐互助社会。用正义的姿态来养活自己,可以的话,想把资本主义打趴下。1表白初吻等行为能够进行当前少女存感22对象好感降低至0,则清除当前对象已获取存感3对象好感将至负时,将等额扣除存感4存在感将至0时,角色人物将死亡忽然出现的系统提示,如果不去当柴刀男,存感就会归零,死亡接踵而来。「我想如果是雾岛同学的话,不需要任何手段,只需要给我狂风鄹雨般的热吻就好,这是最有效率的办法」「作为青梅的北条惠里在我心中地位不凡,但是对我来说,今天的和香学姐来的更加重要」「如果交往的对象是东悠的话,那我也没有办法,毕竟不管是外形条件还是温柔都是神奈第一吧?说不定是全东瀛最好的男生了吧」「就算我有男朋友了,这么看来喜欢上东悠不也是很正常的事情吗?」××××东悠不断地告诫自己和少女有一定程度上的好感,但不想推进关系,无论是积极还是消极,都需要为双方留有余地,以后不管朝着哪个方向发展都有明显的回头路但自己真的不是渣男。如果您喜欢想活命的我只好走柴刀流了,别忘记分享给朋友...
李林穿越到了瓦罗兰大陆的皮尔特沃夫,原本以为自己这辈子就这么碌碌无为的过去了,直至他成为吉拉曼恩家族的打工仔时,却发现自己竟然拥有机械师系统。在这个战乱纷争的魔法世界,深知符文之地命运的李林并不满足于自行车机械手表发电机等已然给他带来名誉和数不清财富的小发明。为了应对符文之地未来的危机,他很清楚,自己必须做些什么!从简单的外骨骼动力装置开始,到钢铁侠般的全自动源计划装甲从量产型的蒸汽机器人造起,到可以应对世界危机的战地与霸天系列机甲通过研究星界魔法与符文魔法,他甚至发明出魔法与科技结合,足以称霸世界的王国机神!然而拥有了如此力量的李林,在联合各国组建英雄联盟的大会上,面对众多英雄时却表示我自始至终的愿望只有一个,那就是世界和平。如果您喜欢双城之我在皮城造机甲,别忘记分享给朋友...