盘龙小说网

手机浏览器扫描二维码访问

第一百二十二章 养狼计划(第1页)

王崎要跟冯落衣说的,自然就是内模型计划了。

内模型和可构造类,差不多就是花与果的关系了。可构造类是花,内模型是果。

但是,内模型毕竟是有致命缺陷的。

首先,它是完全建立在良基集合之上的。而算学也确实是存在只有非良基集合才能驾驭的部分。

而且,它也排除了循环,不包含无穷降链。

另外,它也不能容纳包括第一、第二不可达基数在内的大基数。

大基数好处有很多。之前也说过,引入大基数可以直接证明任何可构造的实数集合不会引发分球悖论,并且不需要取消选择函数;引入大基数可以证明二阶算术的完备性,等等。

而筑基学派的理论体系想要发展,也必须要有大基数才行。

但内模型也并非一无是处。

连续统问题,其实可以算是一个三阶问题了。而大基数,恰好不能解决三阶问题。

内模型发可以完美解决。

所以,为了大基数,而抛弃内模型,也是捡了芝麻丢了西瓜的蠢事。

所以,王崎就提出了一个想法。

一个很自然的,“合在一起做撒尿牛丸”的想法。

从内模型开始,使用力迫法,不断添加元素,一步步将数学模型本身扩张,直到它能够容纳大基数为止。

力迫法本身就是通过不断添加元素,使得两个不同集合的联系暴露,最终达到一种“让理论自己证明自己”的效果的。

内模型计划,算是元算之算的最终极了。

王崎说得轻松,但是冯落衣却听得骇然。

“这……你知道自己在说什么吗?”他在房间之中来回踱步。

实际上,在筑基纲领出现的时候,他对良基集合的态度都有些动摇了。

梵巴赫都已经指出了,良基集合不足以容纳筑基学派的算理。

内模型也是建立在良基集合之上的。

如果自己的理论,必然要排除这样伟大的东西……

在筑基纲领面前,他确实是动摇了对自己成果的坚信。

也就是这部分东西刚做出来,还没有被纳入功体之中,所以他才能表现得这样轻松。

但王崎的话,却重新点燃了他对自己成果的信心。

或许,他不是最终正确的那个。但是,他终究是为算学添砖加瓦铺过路的人

冯落衣深吸一口气,说道:“若是我说给歌庭派的那些人听,他们非疯了不可。”

说道这里,冯落衣忍不住再次确认:“你真的知道自己在说什么吗?”

王崎点了点头:“知道,清楚,了解。”

内模型计划,也可以说是另一个希尔伯特计划的升级版本,是一个大计划。

另外,这也是新形式主义者的最后一杆大旗。

或者说,这是给歌庭派续命的。

如果没有这个计划,那么歌庭派在可见的未来,算是半点参与纯粹算学研究的方向都不会有了。

有了这个,却可以多支撑一些时日。

反超筑基学派是做不到。筑基纲领、基本引理,已经注定了未来是筑基学派的。

万法门的未来,每一个算学家,都会使用基派的思路,基派的命名,基派的方法。

热门小说推荐
我的云养女友

我的云养女友

云养,是一种新兴的娱乐方式。一般是指因为条件限制,没办法自己养猫,养狗,养宠物的人,通过网络等方式,远程养这些宠物,借此获得心理的愉悦感。而在养的过程,这些人也会投喂,或者打赏,参与到养的过程中。像是真的拥有这个宠物一样。而职业玩家陈言,却无意中玩了个云养女友的游戏。只要给云养女友投喂食物或者买买买,就可以...

锦乡里

锦乡里

皇孙陆瞻前世与乡野出身的妻子奉旨成婚,一辈子貌合神离,至死相敬如冰。重生回来他松了口气,并决意从根源上斩断这段孽缘。不想等到一切如愿,他却忽然发现他前妻不,他妻子,他媳妇儿,孩他娘!不但也在一直像避瘟神似的避着他,而且还在他处心积虑揭破敌人阴谋且累得像条狗的时候,却把她小日子过得滋滋润润,在村里遛着狗,赏...

快穿:反派独宠小可爱

快穿:反派独宠小可爱

快穿1v1甜宠自从神魔大战以后,天宫上的人都知道小仙女阿司养了一条小黑龙。那条小黑龙可娇气了,不仅吃饭要喂,就连睡觉也要抱着。直到,小黑龙长成了大黑龙。他把阿司推下了轮回台,自己也跟着跳了下去。阿司,你不要我了吗?阿司,你抱抱我后来的后来,阿司轮回归来。魔尊上渊马不停蹄的杀上了天宫。阿司你出来,我...

最强天赋树

最强天赋树

如果宇宙是款游戏的话浩瀚宇宙,亿万世界,地球只是游荡在域外星空的孤独星球。而域内星域魔师纵横,他们探索基因深处的奥秘,追寻生命进化的最终形态,在无尽的岁月长河中前仆后继,踏出一条通往神坛之路。游戏高手风浩意外涉足这片星域,以逆天种族天赋张狂崛起,撼动整片星空!且看一棵来自地球的小树苗如何成长为参天大树。数据流玄...

医统花都

医统花都

医圣传人回归都市!他武功卓绝,崇尚暴力,拳头是解决问题的最佳途径。他医术超群,针灸无双,小小银针足以起死回生。他算命卜卦,无所不能,成为无数绝色美女的梦中...

财阀小娇妻:谢少宠上瘾!

财阀小娇妻:谢少宠上瘾!

记者采访富豪榜首谢闵行,谢总,请问你老婆是你什么?谢闵行心尖儿宝贝。记者不满足,又问可以说的详细一点么?谢闵行心尖子命肝子,宝贝疙瘩小妮子。这够详细了吧?记者们被塞狗粮,欲哭无泪,准备去采访某小妮子,谢少夫人,请问你丈夫是你什么?...