趣读吧

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

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

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

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

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

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

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

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

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

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

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

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

内模型发可以完美解决。

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

七零年代炮灰吃瓜日常  九天纹线  嫁给疯批太子冲喜后  穿越荒年，我靠做二道贩子发家致富  趁雪下  让你透视鉴宝，你特么一直乱看  乱臣  橘子汽水  重生之做个好军嫂  往生之摘星之旅  修仙：我真没想当舔狗！  地狱诱宠：闪婚老公是冥王  修仙从神秘小鼎开始  离婚后诈死，傅总拿着孕检单疯了  斩气界  神魂颠倒  神敌  万春街  凶奶奶是年代文真千金  重回八零：我靠练摊暴富了