手机浏览器扫描二维码访问
第一百二十二章 养狼计划（第1页）
王崎要跟冯落衣说的，自然就是内模型计划了。
内模型和可构造类，差不多就是花与果的关系了。可构造类是花，内模型是果。
但是，内模型毕竟是有致命缺陷的。
首先，它是完全建立在良基集合之上的。而算学也确实是存在只有非良基集合才能驾驭的部分。
而且，它也排除了循环，不包含无穷降链。
另外，它也不能容纳包括第一、第二不可达基数在内的大基数。
大基数好处有很多。之前也说过，引入大基数可以直接证明任何可构造的实数集合不会引发分球悖论，并且不需要取消选择函数；引入大基数可以证明二阶算术的完备性，等等。
而筑基学派的理论体系想要发展，也必须要有大基数才行。
但内模型也并非一无是处。
连续统问题，其实可以算是一个三阶问题了。而大基数，恰好不能解决三阶问题。
内模型发可以完美解决。
所以，为了大基数，而抛弃内模型，也是捡了芝麻丢了西瓜的蠢事。
所以，王崎就提出了一个想法。
一个很自然的，“合在一起做撒尿牛丸”的想法。
从内模型开始，使用力迫法，不断添加元素，一步步将数学模型本身扩张，直到它能够容纳大基数为止。
力迫法本身就是通过不断添加元素，使得两个不同集合的联系暴露，最终达到一种“让理论自己证明自己”的效果的。
内模型计划，算是元算之算的最终极了。
王崎说得轻松，但是冯落衣却听得骇然。
“这……你知道自己在说什么吗？”他在房间之中来回踱步。
实际上，在筑基纲领出现的时候，他对良基集合的态度都有些动摇了。
梵巴赫都已经指出了，良基集合不足以容纳筑基学派的算理。
内模型也是建立在良基集合之上的。
如果自己的理论，必然要排除这样伟大的东西……
在筑基纲领面前，他确实是动摇了对自己成果的坚信。
也就是这部分东西刚做出来，还没有被纳入功体之中，所以他才能表现得这样轻松。
但王崎的话，却重新点燃了他对自己成果的信心。
或许，他不是最终正确的那个。但是，他终究是为算学添砖加瓦铺过路的人
冯落衣深吸一口气，说道：“若是我说给歌庭派的那些人听，他们非疯了不可。”
说道这里，冯落衣忍不住再次确认：“你真的知道自己在说什么吗？”
王崎点了点头：“知道，清楚，了解。”
内模型计划，也可以说是另一个希尔伯特计划的升级版本，是一个大计划。
另外，这也是新形式主义者的最后一杆大旗。
或者说，这是给歌庭派续命的。
如果没有这个计划，那么歌庭派在可见的未来，算是半点参与纯粹算学研究的方向都不会有了。
有了这个，却可以多支撑一些时日。
反超筑基学派是做不到。筑基纲领、基本引理，已经注定了未来是筑基学派的。
我的修真小米三 盛世花都 建立帝国从骑士次子开始 运河之韵 谭笑风声里，灼灼桃之夭 万苍天穹 灵异直播，女主她不想吓人 什么？奥特曼是终身制的？ 网游航海之王 道化九界 巫妖生存指南 先婚后爱：娇妻拒婚101次 舌尖天下 穿进语文书，从刺猹开始 巨树领主 月薪十万，女总裁她果然不只是让我当司机 敛财心 西游：六岁熊孩子，开局怒怼观世音 大明：开局剧透崇祯，重振河山 我，地球唯一超能力者
四合院：阎解旷的潇洒人生
关于四合院阎解旷的潇洒人生阎有矿无意中开启了空间穿越到了四合院世界，成为了三大爷阎埠贵的三儿子阎解旷。阎解旷到了四合院，先打断盗圣棒梗的腿，收了些利息。接着又给四合院的养老团添了一些堵。只要你不让我好过，我就不让你舒服。我不舒服了，你们也别想开心。在这四合院世界里，我阎解旷想怎么样就怎么样！...
她自淤泥而来
出了车祸后她才彻底死心了，这个家原来真的不爱她，十万！为了区区十万他们放弃了她。真是太可笑了。可她都打算放弃自己了，为何又被救了回来，既然这都死不了，那么，她是不是也可以拼一次呢！重来一次后赚钱反而成为了最简单的事情。什么？觉醒的超能力是家族遗传？亲生父母另有其人？她的人生从她出生起老天爷就跟她开了一场玩笑。重来一...
东北金渐层把我家当月子中心了
轻松日常动物互动赶山沈星从大城市辞职回村，自从救下一头被捕兽夹子夹住的金渐层幼崽后，他在村里就过上了顿顿吃肉，家门口捡山珍的美滋滋小日子不是，到底是谁在传村里有个两脚兽会帮忙带娃啊？我家真不是月子中心！虎妈，你看你还客气上了，这麂子肉我真不能收。随着沈星开启直播，网友们看到他家里堆积如山的野山参灵芝松茸网友主播，这些都是你赶山捡到的？沈星啊，赶山？我真没赶山啊，我对灵芝人参啥的一点儿都不感兴趣这时，直播间正好录到一头五百斤重的金渐层叼着人参来找沈星啊，虎妈你别往我家里塞娃了，真带不了什么，你带了1o根野山参？还是一百年份的！欢迎欢迎，请进请进。网友们全都看傻眼了东北虎送礼？那长白山不成了主播家菜园吗这主播真6，躺平让他玩明白了！央妈采访沈星请问你一个失业人士，怎么做到在魔都买下一套房的？...
我只想躺平，你休想让我继承皇位
关于我只想躺平，你休想让我继承皇位全能杀手云曦，跳伞时不幸卷入风暴之中，死后带着空间魂穿到了异世大熙王朝。再睁眼，就是鸡飞狗跳的场景。大伯母要卖掉原身给小儿子看病，大伯袖手旁观，瘦骨嶙峋的弟弟被大堂哥一脚踹飞，面黄肌瘦的母亲被大伯母拽倒在地云曦一看，这能忍？先打回去，然后分家！这个家有她，必须得分！可分个家也不太平，弄得吵闹不休，烦不胜烦。云曦快刀斩乱麻，东西不要了，直接断亲，反正那点东西她也看不上！断亲后，云曦家逐渐富裕起来，且她还带着村子里的人共同富裕。不仅如此，她的弟弟，考上了状元！她的母亲，成了一品诰命！她路边救的人，是个王爷！她的合作伙伴，是全国首富！她的徒弟，有神医，有神厨，有墨家巨子她的发明创造，让大熙至少进步了一千年！有一天，皇帝指着远方突然问她看，这都是你给朕打下的江山，所以你想不想当女帝？云曦满脸惊恐泥奏凯啊！女帝那么累人的差事，狗都不干！操了一辈子心，不该让她享受享受吗？...
大妖精
...
学霸女友也太宠了吧
轻松，日常，搞笑，单女主，狗粮文重生回高中时代就是来弥补遗憾的。这次我要当全能学霸，考第一当高考状元，以最高分进入名牌大学走上人生巅峰。在这段时间，我竟然发现了一个关于暗恋的秘密。她会在放学的时候小心翼翼的跟在我身后，在校运会举办期间时刻寻找我的踪影，在体育课自由活动时假装从我面前路过在车站故意多等一趟车就为了...