77书库

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

第一百二十二章 养狼计划（第1页）

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

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

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

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

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

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

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

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

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

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

内模型发可以完美解决。

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

道这里，冯落衣忍不住再次确认：“你真的知道自己在什么吗？”

王崎点零头：“知道，清楚，了解。”

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

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

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

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

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

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

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

唐老太的种田生活  一觉醒来怀了崽  替嫁给病弱佛修太子后他破戒了姜南枝容司璟后续  武裂苍穹秦天青儿百度云  九子登云的作品武裂苍穹  穿书之末世娇宠  玄学大佬在现代  封先生的宠爱  就想和你在一起  周一见  贵门妾  替嫁给病弱佛修太子后他破戒了姜南枝容司璟番外  武裂苍穹秦天青儿全集免费阅读  天才高手  神道丹帝叶尘苏傲雪全本免费阅读  人人都爱马文才  替嫁给病弱佛修太子后他破戒了姜南枝容司璟更新  穿成大佬假妹妹  替嫁给病弱佛修太子后他破戒了姜南枝容司璟全文免费完结版  七零空间小娇女