手机浏览器扫描二维码访问
第一百二十二章 养狼计划（第1页）
王崎要跟冯落衣说的，自然就是内模型计划了。
内模型和可构造类，差不多就是花与果的关系了。可构造类是花，内模型是果。
但是，内模型毕竟是有致命缺陷的。
首先，它是完全建立在良基集合之上的。而算学也确实是存在只有非良基集合才能驾驭的部分。
而且，它也排除了循环，不包含无穷降链。
另外，它也不能容纳包括第一、第二不可达基数在内的大基数。
大基数好处有很多。之前也说过，引入大基数可以直接证明任何可构造的实数集合不会引发分球悖论，并且不需要取消选择函数；引入大基数可以证明二阶算术的完备性，等等。
而筑基学派的理论体系想要发展，也必须要有大基数才行。
但内模型也并非一无是处。
连续统问题，其实可以算是一个三阶问题了。而大基数，恰好不能解决三阶问题。
内模型发可以完美解决。
所以，为了大基数，而抛弃内模型，也是捡了芝麻丢了西瓜的蠢事。
所以，王崎就提出了一个想法。
一个很自然的，“合在一起做撒尿牛丸”的想法。
从内模型开始，使用力迫法，不断添加元素，一步步将数学模型本身扩张，直到它能够容纳大基数为止。
力迫法本身就是通过不断添加元素，使得两个不同集合的联系暴露，最终达到一种“让理论自己证明自己”的效果的。
内模型计划，算是元算之算的最终极了。
王崎说得轻松，但是冯落衣却听得骇然。
“这……你知道自己在说什么吗？”他在房间之中来回踱步。
实际上，在筑基纲领出现的时候，他对良基集合的态度都有些动摇了。
梵巴赫都已经指出了，良基集合不足以容纳筑基学派的算理。
内模型也是建立在良基集合之上的。
如果自己的理论，必然要排除这样伟大的东西……
在筑基纲领面前，他确实是动摇了对自己成果的坚信。
也就是这部分东西刚做出来，还没有被纳入功体之中，所以他才能表现得这样轻松。
但王崎的话，却重新点燃了他对自己成果的信心。
或许，他不是最终正确的那个。但是，他终究是为算学添砖加瓦铺过路的人
冯落衣深吸一口气，说道：“若是我说给歌庭派的那些人听，他们非疯了不可。”
说道这里，冯落衣忍不住再次确认：“你真的知道自己在说什么吗？”
王崎点了点头：“知道，清楚，了解。”
内模型计划，也可以说是另一个希尔伯特计划的升级版本，是一个大计划。
另外，这也是新形式主义者的最后一杆大旗。
或者说，这是给歌庭派续命的。
如果没有这个计划，那么歌庭派在可见的未来，算是半点参与纯粹算学研究的方向都不会有了。
有了这个，却可以多支撑一些时日。
反超筑基学派是做不到。筑基纲领、基本引理，已经注定了未来是筑基学派的。
灵异直播，女主她不想吓人 舌尖天下 建立帝国从骑士次子开始 西游：六岁熊孩子，开局怒怼观世音 我的修真小米三 道化九界 谭笑风声里，灼灼桃之夭 运河之韵 月薪十万，女总裁她果然不只是让我当司机 盛世花都 巫妖生存指南 穿进语文书，从刺猹开始 什么？奥特曼是终身制的？ 先婚后爱：娇妻拒婚101次 万苍天穹 我，地球唯一超能力者 巨树领主 敛财心 网游航海之王 大明：开局剧透崇祯，重振河山
红楼：争锋
关于红楼争锋我叫贾珞，贾政之庶子，我的母亲姓周，人称周姨娘。今天是我十六周岁，被安排出府的日子，这一天恰巧林黛玉，进入了荣国府。...
昭昭天明
本书简介济南府的历城县衙有三大怪。一怪知县是个只知斗鸡走狗的登徒子，天下却没有他破不了的案子。二怪仵作是全家籍没的罪臣之女，刚登基的小皇帝却为她喊冤。三怪捕头是曾经名震江湖的绿林总瓢把子，却偏偏被手无缚鸡之力的知县招了安。用抽丝剥茧的探案技法，用披沙拣金的勘验手段，为生者权，为死者言，搏一个朗朗青天。且看这一文一武一仵作如何齐聚历城县衙，为圣人效死，为百姓立心，始称昭雪衙门。嘉兴妖龙作祟，他们敢查科举路上道士喊冤，他们敢查白莲教的弥勒疑云，他们敢查连海瑞海青天的小妾枉死，他们还敢查！一方惊堂木，镇一寸山河。一柄清风剑，定三尺乾坤。一丸苏合香，洗一方沉冤。昭雪衙门，自当为这朱明天下，讨一个说法。昭昭天明全文免费阅读，如果您喜欢昭昭天明梦驴子最新章节，请分享给您的好友一起来免费阅读。魔蝎小说...
公主，用你开了光的嘴咒他
...
欲之果
关于欲之果一个农村小伙，一群各色女人。一个无罪的罪犯，一个特殊的机缘。从此开启逆袭之路，一步步走向人生巅峰，成就一方超级大佬。权掌天下，阅尽芳华。这就是苏明...
镜像多元宇宙
一日梦醒，成为了一个变种人，还是实验室之中，即将进行实验的变种人。等到罗门逃离实验室之后，发现这个有着超级英雄，超级罪犯的世界，却没有变种人任何的立足之地。这个时代，没有承载变种人的船，那我就开辟新的时代。镜像维度魔神，多元宇宙旅行者，变种人至仁至善，至高至强的至尊之王，罗门。...
快穿生子，钓系美人多子多福
快穿生子万人迷女主宫斗宅斗甜虐禁忌恋都有带娃钓男人日常虞芝芝因猝死穿越快穿主系统位面打工很多年，还差十个任务就能获得自由。绑定了生子系统后，只要她不断地生生生，任务就结束得越快。有了系统的加持，她想要变多美就能有多美。面对这些绝嗣的攻略对象冷酷霸道王爷，偏执深情暴君，心狠手辣九千岁，禁欲高冷家主她媚眼放电，手指一勾，这些男人还不是手到擒来？！小世界预告提示1绝嗣好色太子x无情妖媚侍妾宅斗里的女人要好好地团结起来一起对付死渣男。2绝嗣偏执深情帝王x娇媚柔弱臣妻就算你是别人的老婆，朕也要想办法和你在一起。3绝嗣冷酷大将军兄长x娇媚受气包领养小妹乖乖小妹别哭，大哥愿意为了你对抗整个世界。4绝嗣心狠手辣九千岁x女扮男装甜美小太监梨涡小丫头别对旁人这么笑，公公要吃醋了。5绝嗣冷情杀手护卫x深宫寂寞绝美贵妃本宫只爱荣华富贵，你要是男人就该狠狠造反！6绝嗣禁欲沉稳鳏夫家主x娇美暴力小辣椒通房眼看貌美小辣椒带球嫁他人，家主他终于坐不住了！后续在奋力更新中，宝子们快来追！...