手机浏览器扫描二维码访问
冯落衣不置可否。
而就在这一年的冬季,歌庭派不大高兴的宣称,自己似乎完成了希门二十三问第一问的进一步证明。
比苏君宇那个更为深入。
他们提出了“内模型”的概念。
任何包含“所有序数的序数”的传递模型,都是“内模型”。
可构造类,是最小的内模型。
在可构造类之内,无限集的基数一定是二的若干次方的形式的。因此,广义连续统假设是成立的。
而广义连续统假设的任何等价或缩小形式,都不可证否。
在借用新连宗的定义之后,他们终于更进一步了。
这一幕实在是别扭,以至于歌庭内部的喝彩声都是稀稀拉拉的。
他们还顺便完成了选择公理的探索。
而在这个时候,有一个人表现出了明显的不满。
苏君宇叹息:“连续统啊……它的后续不应该是这样的。”
连续统假设的初步证明,是他完成的。他对这个问题,也是有感情的。
对他来说,内模型实在是违反直观感受,违反他作为基派修士所拥有的“美学”。
怎么说呢……
太不爽了。
“循环是宇宙最为不变的现象。在算学之中删除循环,拒绝为循环建模,简直就是……”
他摇了摇头。王崎如今是他上司,而冯落衣是王崎师父。但他依旧不喜欢良基集合的概念……嗯,恐怕王崎也不会太喜欢?
另一方面,海霆真人也是的。
认为集合论总体之中,只存在“可构造集合”,未免太过乐观了。
说到底,整个“内模型”,就是在“相对一致性”的思路上发展而来的。
相对一致性,本身就有“委曲求全”的意思里。
通过舍弃那些不能并存的,从而达到一致。
削足适履,斩趾避虫。
他想要更强的东西……
第一百零六章联合围剿
苏君宇对“下一步”的印象也很模糊。
他确实不是很喜欢内模型,但是若是说提出个理论将之驳倒,似乎也太过遥远了一些。
或者说,他也只是有一些模糊的想法罢了。
内模型违反算家直观感受的地方太过了。诚然,正如王崎所说,算学自有自在,不受人为意志的干涉。但是,算家在无数的探索之中,摸索出的“对数字与图形的感觉”,却绝非毫无意义。
实际上,内模型里,违反人直观感受的东西,实在是太多了。
比如说,删除循环。
直播和男神同居的日子 最强除妖师 一爱到底之顾少毒妻 赌妃在上,王爷在下 废材重生:邪王独宠悍王妃 大明孤狼 断神 神偷长公主 娱乐超级奶爸 时光请善待我的她 我是狠人大帝的同乡 悍妻[医道] 烈火燃情:高冷总裁滚远点 眼镜兄撞上恶魔王子 天地炼成 捡到病娇太子之后(重生) 天黑请开眼 穿越之弃子国师 扛着boss拼下限(末世) 系统之娇宠孕妻
苏晨重生到了平行世界的S7赛季,开局觉醒系统,用青钢影单杀主播余小C,意外火遍全网!江科大医学精准与否,就是屠宰与手术的区别江科大心理学谎言不会伤人真相才是快刀。江科大哲学世界既不黑也不白,而是一道精致的灰。玩梗文,路人王主播职业。如果您喜欢联盟我的青钢影让母校出名了,别忘记分享给朋友...
国之将亡,遍地魔法,唯有科学,兴国安邦。我不信邪,我信科学!提示,这并不是一本为美好的世界献上祝福的同人,因为本书原名在魔法的世界坚持科学的我一定哪里有问题名字太长不过审,所以仅仅是一本普通的魔法与科学交织的日常流小说...
乔苓在生命最后一刻自愿无偿捐献所有器官,功德无量感动上天,获得重生还附赠一个药田空间。然而,辛辛苦苦兢兢业业升级空间之后傻眼了。失传的古医书,不传秘方,针灸之术,这都是些啥。。。专业不对口啊!我不想学医啊!我只想种田啊!乔苓摸着下巴看向身姿笔挺坐在桌前低头写字的少年。公子,我看你骨骼精奇,是万中无一的医学奇才,拯救万民于水火的重任就靠你了,我这有几本医书…少年抬起头,目光沉静,你有病吧。乔苓重重点头,没错!我不仅有病,我还有药!如果您喜欢夫君,我才是你最大的金手指,别忘记分享给朋友...
关于庶女转正指南一朝穿越,吃货夏禾成了私奔途中落水淹死的封都城夏家三小姐,名誉受损,即将被送到田庄等死?她绝不答应!然而父亲冷漠,祖母偏心,嫡母不管事,眼看着就要被一个丫鬟欺负死,夏禾不得不撸...
血腥密室,内脏全无的尸体,疯狂的杀人游戏,神秘的死亡预言,可怕的食人魔。诡异的鲜血八卦,吓破胆的剧情,猜不到的凶手。尽在两个胖子历险的经历当中,警队之耻能否逆袭,身患绝症能撑多久?本文没有一个愚...
穿越到海贼世界,罗德得到可以抽取天赋能力的神器知识之书。剑斩天地,掌控雷霆,行走空间,信仰之力铸造地上神国!神恩如海,神威如狱。来到这个世界,就注定无敌于世。如果您喜欢海贼之超神天赋,别忘记分享给朋友...