手机浏览器扫描二维码访问
第一百二十二章 养狼计划（第1页）
王崎要跟冯落衣说的，自然就是内模型计划了。
内模型和可构造类，差不多就是花与果的关系了。可构造类是花，内模型是果。
但是，内模型毕竟是有致命缺陷的。
首先，它是完全建立在良基集合之上的。而算学也确实是存在只有非良基集合才能驾驭的部分。
而且，它也排除了循环，不包含无穷降链。
另外，它也不能容纳包括第一、第二不可达基数在内的大基数。
大基数好处有很多。之前也说过，引入大基数可以直接证明任何可构造的实数集合不会引发分球悖论，并且不需要取消选择函数；引入大基数可以证明二阶算术的完备性，等等。
而筑基学派的理论体系想要发展，也必须要有大基数才行。
但内模型也并非一无是处。
连续统问题，其实可以算是一个三阶问题了。而大基数，恰好不能解决三阶问题。
内模型发可以完美解决。
所以，为了大基数，而抛弃内模型，也是捡了芝麻丢了西瓜的蠢事。
所以，王崎就提出了一个想法。
一个很自然的，“合在一起做撒尿牛丸”的想法。
从内模型开始，使用力迫法，不断添加元素，一步步将数学模型本身扩张，直到它能够容纳大基数为止。
力迫法本身就是通过不断添加元素，使得两个不同集合的联系暴露，最终达到一种“让理论自己证明自己”的效果的。
内模型计划，算是元算之算的最终极了。
王崎说得轻松，但是冯落衣却听得骇然。
“这……你知道自己在说什么吗？”他在房间之中来回踱步。
实际上，在筑基纲领出现的时候，他对良基集合的态度都有些动摇了。
梵巴赫都已经指出了，良基集合不足以容纳筑基学派的算理。
内模型也是建立在良基集合之上的。
如果自己的理论，必然要排除这样伟大的东西……
在筑基纲领面前，他确实是动摇了对自己成果的坚信。
也就是这部分东西刚做出来，还没有被纳入功体之中，所以他才能表现得这样轻松。
但王崎的话，却重新点燃了他对自己成果的信心。
或许，他不是最终正确的那个。但是，他终究是为算学添砖加瓦铺过路的人
冯落衣深吸一口气，说道：“若是我说给歌庭派的那些人听，他们非疯了不可。”
说道这里，冯落衣忍不住再次确认：“你真的知道自己在说什么吗？”
王崎点了点头：“知道，清楚，了解。”
内模型计划，也可以说是另一个希尔伯特计划的升级版本，是一个大计划。
另外，这也是新形式主义者的最后一杆大旗。
或者说，这是给歌庭派续命的。
如果没有这个计划，那么歌庭派在可见的未来，算是半点参与纯粹算学研究的方向都不会有了。
有了这个，却可以多支撑一些时日。
反超筑基学派是做不到。筑基纲领、基本引理，已经注定了未来是筑基学派的。
网游航海之王 穿进语文书，从刺猹开始 巨树领主 运河之韵 月薪十万，女总裁她果然不只是让我当司机 盛世花都 大明：开局剧透崇祯，重振河山 敛财心 我，地球唯一超能力者 谭笑风声里，灼灼桃之夭 我的修真小米三 建立帝国从骑士次子开始 万苍天穹 巫妖生存指南 舌尖天下 先婚后爱：娇妻拒婚101次 什么？奥特曼是终身制的？ 西游：六岁熊孩子，开局怒怼观世音 道化九界 灵异直播，女主她不想吓人
重生之田园大亨
作为一枚被圈禁的富家米虫，夏翎表示，这辈子做梦都没想到，会开启乡下种田模式。幸而，金手指早已绑定，哪怕遇车祸穿越，成了先被谋财再被害命的山村小白花，也能活出生撕极品死踹无赖的霸王花风采！看着镜中人损毁的脸残废的腿，夏翎冷笑欠了我的，早晚连本带利讨回来！种稻米，包果园，挖鱼塘，建工厂，盖酒庄，组集团，玩垄...
穿越之再嫁小狼狗
别人穿越都是姑娘十八一朵花，苏研穿越则是姑娘二十已成家，家里还聚齐了恶婆婆，绿茶表妹，刻薄小姑以及自私薄情丈夫四大天坑。这世道，这家庭，苏研一刻也待不了穿回去，必须穿回去，跳河穿回去结果河跳了，人差点嘎也没成功。好在和前夫离了婚又找了个小狼狗那就在古代好好过吧。苏研的职业规划1首先搞钱2其次搞钱3最后还是搞...
60年代，饥荒年，赶山挖百年参
关于60年代，饥荒年，赶山挖百年参张汉水穿越到60年代的长白山下，在这个缺衣少食，闹饥荒的年代，有钱也难买到粮，但有粮绝对NO1。有粮在手，什么都有，有空间，传承『医经』还懂医术，以物换物，赶山挖野菜，采蘑菇，下河抓鱼摸虾，挖百年人参，打猎，在现代与过去实现财富自由，成为首富。...
文宣至圣，无敌太子诗词镇国
关于文宣至圣，无敌太子诗词镇国夏巽魂穿文心大陆，成了武道不通的废物太子凭借华夏国学经典，重塑大陆文人才气。文心一言，才气化物诗词文章，口诛笔伐。一身文胆征战万族，以才气为锋，唐诗为锷，宋词为脊，乐府为镡，汉赋为夹包诸子百家典籍，铸铮铮傲气长剑大争之世，为人族万世的气运他以身入道，开启了文道复兴的盛世...
重生七零：甜妻的田园军婚
关于重生七零甜妻的田园军婚梁梅重生回到七零年代，决心改变自己和家人的命运。前世的她因任性和无知，错失诸多机遇，导致生活凄惨。重生后，她努力让家人过上幸福生活。梁梅的家庭温馨，有梁父梁建梁母敖琴梁大哥梁子智和梁爷爷梁卓等亲人。她提出多种地养鸡猪来增加收入的想法，得到了家人支持。面对缺少种子肥料和养殖技术等困难，她向梁五叔梁德梁大姑梁贞晶等人求助。凭借前世记忆尝试新种植方法后，生活迎来转机。在镇上卖鸡蛋时，梁梅与男主许浪相遇，他身穿军装英姿飒爽。许浪觉得梁梅朴实可爱，梁梅也发现他心地善良有担当，两人逐渐产生感情。然而，他们的交往遭到梁二堂叔梁进梁二婶梁霞的反对，梁五叔的儿子们也跟着起哄，暗恋许浪的梁二堂叔大女儿梁莹莹更是心怀怨恨，但小表弟陈洋熙和大表哥梁军一直支持梁梅。许浪的父母许父许良许母叶兰起初有些担心，但被梁梅的真诚打动，许大姐许珠姚和许二姐许珠银也认可她。最终，两人在大家祝福下走进婚姻殿堂。婚后他们共同努力，日子越过越好，不仅梁梅家盖了新房购置新家具，他们的爱情故事也成为小乡村的美丽传说。在这个过程中，他们还经历了怀孕生子孩子成长教育创业发展应对各种家庭和事业的挑战...
全民诸天：我教盘古开天辟地
诸天时代，人人都可觉醒诸天万界的能力。萧然绑定最强诸天辅助系统，开局就送至高洪荒世界，暴击抽奖，直接抽取通天圣人的诛仙剑阵。九转玄功，抽！七十二变，抽！九转金丹，抽！多年以后，盘古看着手持开天神斧的萧然，一脸懵逼！p...