思路客小说网

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

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

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

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

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

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

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

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

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

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

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

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

内模型发可以完美解决。

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

我真的只想做角色球员  重生乐神  枫灵大陆  冷血老公太温柔  顾辰神武霸帝  换嫁后发现质子夫君他爱我  穿越之我不想做驸马  赘婿当道全文免费 阅读小说最新  毕业就结婚吧  我在游戏世界搞基建  我是来种地的  虐仙记  跃马西凉  流浪仙人  为师实在是太弱了  神雕战神  黑夜之眼  清穿后我绑定了强国系统  未来之树  反派:黑化女主们，跪求我当坏人