手机浏览器扫描二维码访问
见王崎如此,冯落衣也严肃了起来:“你是有什么要紧事要说吗?”
王崎点了点头,道:“最进一些时日,我倒是对元算之算有点想法。不过,这些东西,工作量很大,有与基派的研究方向不符合,我没兴趣去做,所以,希望将这个思路告诉别人,让别人来帮忙做。”
冯落衣瞪大了眼睛:“你这是发什么疯?”
思路,可是算家最宝贵的资源。一个人,光是找出自己要研究的东西就得拼尽全力了,找思路更是如淘金一般。
谁会将金子白送给别人?
但王崎真会。
“我要说的东西,跟内模型有一些关系……”
第一百二十二章养狼计划
王崎要跟冯落衣说的,自然就是内模型计划了。
内模型和可构造类,差不多就是花与果的关系了。可构造类是花,内模型是果。
但是,内模型毕竟是有致命缺陷的。
首先,它是完全建立在良基集合之上的。而算学也确实是存在只有非良基集合才能驾驭的部分。
而且,它也排除了循环,不包含无穷降链。
另外,它也不能容纳包括第一、第二不可达基数在内的大基数。
大基数好处有很多。之前也说过,引入大基数可以直接证明任何可构造的实数集合不会引发分球悖论,并且不需要取消选择函数;引入大基数可以证明二阶算术的完备性,等等。
而筑基学派的理论体系想要发展,也必须要有大基数才行。
但内模型也并非一无是处。
连续统问题,其实可以算是一个三阶问题了。而大基数,恰好不能解决三阶问题。
内模型发可以完美解决。
所以,为了大基数,而抛弃内模型,也是捡了芝麻丢了西瓜的蠢事。
所以,王崎就提出了一个想法。
一个很自然的,“合在一起做撒尿牛丸”的想法。
从内模型开始,使用力迫法,不断添加元素,一步步将数学模型本身扩张,直到它能够容纳大基数为止。
力迫法本身就是通过不断添加元素,使得两个不同集合的联系暴露,最终达到一种“让理论自己证明自己”的效果的。
内模型计划,算是元算之算的最终极了。
王崎说得轻松,但是冯落衣却听得骇然。
“这……你知道自己在说什么吗?”他在房间之中来回踱步。
实际上,在筑基纲领出现的时候,他对良基集合的态度都有些动摇了。
梵巴赫都已经指出了,良基集合不足以容纳筑基学派的算理。
内模型也是建立在良基集合之上的。
如果自己的理论,必然要排除这样伟大的东西……
在筑基纲领面前,他确实是动摇了对自己成果的坚信。
也就是这部分东西刚做出来,还没有被纳入功体之中,所以他才能表现得这样轻松。
一爱到底之顾少毒妻 天地炼成 烈火燃情:高冷总裁滚远点 大明孤狼 赌妃在上,王爷在下 捡到病娇太子之后(重生) 悍妻[医道] 废材重生:邪王独宠悍王妃 断神 神偷长公主 穿越之弃子国师 最强除妖师 系统之娇宠孕妻 眼镜兄撞上恶魔王子 时光请善待我的她 直播和男神同居的日子 天黑请开眼 扛着boss拼下限(末世) 娱乐超级奶爸 我是狠人大帝的同乡
这是一个巫医为尊,医者为卑的世界。这是一个中医大夫穿越异界,想要救死扶伤,证明自我的故事。舒沄以为只要小心谨慎,必然是能好好地活下去的。可是,危险的漩涡其实一直都没有停过,只等着把她吞噬下去。—如果您喜欢医路繁花,别忘记分享给朋友...
在让子弹飞中是穷鬼。在敦刻尔克的海滩上当炮灰,在枪火中是烂仔。在毒枭中是街头巡警。在银翼杀手2049是毫无存在感的复制人。系统,我什么时候才能充当主角或者大佬,哪怕是配角?哪怕只有几句台词的小角色?系统如果您喜欢影视从让子弹飞开始,别忘记分享给朋友...
当你发现自己在睡眠之中被室友套上了女装会怎么想?当你发现自己在女装的时候还得到了一个可以帮助你女装的系统会怎么想?当你发现自己女装的时候还能获得各种各样的技能会怎么想?总之,作为一个健康的大学生,女装什么的绝对是真香定律如果您喜欢常理不存在的轮回,别忘记分享给朋友...
六年后,她事业有成,家庭美满六年后,他终于等来了恋人回归。本来离了婚不该再有交集的两个人,却为了一桩桩隐秘的往事的真相,纠缠相杀。他曾将她带到悬崖的边缘,她随即纵身一跃。所以,他们彼此,是谁心狠呢?不过是一丘之貉罢了!如果您喜欢莫满,别忘记分享给朋友...
转世后,东悠一直在好好读书。人生的目标是法政大,毕业后自己在神奈川开一家律师事务所,除暴安良,建立和谐互助社会。用正义的姿态来养活自己,可以的话,想把资本主义打趴下。1表白初吻等行为能够进行当前少女存感22对象好感降低至0,则清除当前对象已获取存感3对象好感将至负时,将等额扣除存感4存在感将至0时,角色人物将死亡忽然出现的系统提示,如果不去当柴刀男,存感就会归零,死亡接踵而来。「我想如果是雾岛同学的话,不需要任何手段,只需要给我狂风鄹雨般的热吻就好,这是最有效率的办法」「作为青梅的北条惠里在我心中地位不凡,但是对我来说,今天的和香学姐来的更加重要」「如果交往的对象是东悠的话,那我也没有办法,毕竟不管是外形条件还是温柔都是神奈第一吧?说不定是全东瀛最好的男生了吧」「就算我有男朋友了,这么看来喜欢上东悠不也是很正常的事情吗?」××××东悠不断地告诫自己和少女有一定程度上的好感,但不想推进关系,无论是积极还是消极,都需要为双方留有余地,以后不管朝着哪个方向发展都有明显的回头路但自己真的不是渣男。如果您喜欢想活命的我只好走柴刀流了,别忘记分享给朋友...
李林穿越到了瓦罗兰大陆的皮尔特沃夫,原本以为自己这辈子就这么碌碌无为的过去了,直至他成为吉拉曼恩家族的打工仔时,却发现自己竟然拥有机械师系统。在这个战乱纷争的魔法世界,深知符文之地命运的李林并不满足于自行车机械手表发电机等已然给他带来名誉和数不清财富的小发明。为了应对符文之地未来的危机,他很清楚,自己必须做些什么!从简单的外骨骼动力装置开始,到钢铁侠般的全自动源计划装甲从量产型的蒸汽机器人造起,到可以应对世界危机的战地与霸天系列机甲通过研究星界魔法与符文魔法,他甚至发明出魔法与科技结合,足以称霸世界的王国机神!然而拥有了如此力量的李林,在联合各国组建英雄联盟的大会上,面对众多英雄时却表示我自始至终的愿望只有一个,那就是世界和平。如果您喜欢双城之我在皮城造机甲,别忘记分享给朋友...