手机浏览器扫描二维码访问
王崎要跟冯落衣说的,自然就是内模型计划了。
内模型和可构造类,差不多就是花与果的关系了。可构造类是花,内模型是果。
但是,内模型毕竟是有致命缺陷的。
首先,它是完全建立在良基集合之上的。而算学也确实是存在只有非良基集合才能驾驭的部分。
而且,它也排除了循环,不包含无穷降链。
另外,它也不能容纳包括第一、第二不可达基数在内的大基数。
大基数好处有很多。之前也说过,引入大基数可以直接证明任何可构造的实数集合不会引发分球悖论,并且不需要取消选择函数;引入大基数可以证明二阶算术的完备性,等等。
而筑基学派的理论体系想要发展,也必须要有大基数才行。
但内模型也并非一无是处。
连续统问题,其实可以算是一个三阶问题了。而大基数,恰好不能解决三阶问题。
内模型发可以完美解决。
所以,为了大基数,而抛弃内模型,也是捡了芝麻丢了西瓜的蠢事。
所以,王崎就提出了一个想法。
一个很自然的,“合在一起做撒尿牛丸”的想法。
从内模型开始,使用力迫法,不断添加元素,一步步将数学模型本身扩张,直到它能够容纳大基数为止。
力迫法本身就是通过不断添加元素,使得两个不同集合的联系暴露,最终达到一种“让理论自己证明自己”的效果的。
内模型计划,算是元算之算的最终极了。
王崎说得轻松,但是冯落衣却听得骇然。
“这……你知道自己在说什么吗?”他在房间之中来回踱步。
实际上,在筑基纲领出现的时候,他对良基集合的态度都有些动摇了。
梵巴赫都已经指出了,良基集合不足以容纳筑基学派的算理。
内模型也是建立在良基集合之上的。
如果自己的理论,必然要排除这样伟大的东西……
在筑基纲领面前,他确实是动摇了对自己成果的坚信。
也就是这部分东西刚做出来,还没有被纳入功体之中,所以他才能表现得这样轻松。
但王崎的话,却重新点燃了他对自己成果的信心。
或许,他不是最终正确的那个。但是,他终究是为算学添砖加瓦铺过路的人
冯落衣深吸一口气,说道:“若是我说给歌庭派的那些人听,他们非疯了不可。”
说道这里,冯落衣忍不住再次确认:“你真的知道自己在说什么吗?”
王崎点了点头:“知道,清楚,了解。”
内模型计划,也可以说是另一个希尔伯特计划的升级版本,是一个大计划。
另外,这也是新形式主义者的最后一杆大旗。
或者说,这是给歌庭派续命的。
如果没有这个计划,那么歌庭派在可见的未来,算是半点参与纯粹算学研究的方向都不会有了。
有了这个,却可以多支撑一些时日。
反超筑基学派是做不到。筑基纲领、基本引理,已经注定了未来是筑基学派的。
黑夜之眼 重生乐神 反派:黑化女主们,跪求我当坏人 流浪仙人 我真的只想做角色球员 枫灵大陆 为师实在是太弱了 毕业就结婚吧 神雕战神 顾辰神武霸帝 我是来种地的 虐仙记 未来之树 清穿后我绑定了强国系统 穿越之我不想做驸马 换嫁后发现质子夫君他爱我 冷血老公太温柔 跃马西凉 我在游戏世界搞基建 赘婿当道全文免费 阅读小说最新
养父母待她如珠如宝,她却心心念念的想要回到抛弃她待她如糠如草的亲生父母身边儿,犯蠢的后果就是养母死不瞑目,养父断绝来往,她,最终惨死车轮下重来一次,她要待养父母如珠如宝,待亲生父母如糠如草!至于抢她一切的那个亲姐姐,呵,你以为还有机会吗?哎哎哎,那个兵哥哥,我已经定亲了,你咋能硬抢?!哎哎哎...
前世黑莲花白蓁被人在车上动了手脚车祸去世,穿越成了合欢宗女修白千羽,开启了和前世开后宫没什么不同的修仙之路。这篇算是某某宗女修炼手札的同人,但是是否玩游戏对看文没啥影响,文不会收费,大家放心追,女主是自设的无心海王型号。挂是挂了修真的名头,其实本文没有着重写女主初期修炼,主要还是着重她成为女王之后的故事。全文分三部分,第一二部分女主一边双修一边把以前给她使绊子的人给除了,手段稍微有点粗暴残忍,结果奇奇怪怪自称系统的东西出现了,告诉她,她已成为了这条世界线的主人,同时她设计把自己也拱成了修真大陆的无冕之王。第三部分开幕,无冕之王并不是这么好当的,一边要均衡各大势力,挑对自己有用的掌握在手里,一边要处理情人们的修罗场。。。。偶尔,系统还会给她出难题,让她暴打外来入侵者。然而白蓁(千羽)对此表示,挺好玩的,再来点。本文可能微微有点女尊倾向,女主床上小淫娃,床下真女王,没心没肺,快乐加倍。有疑似正宫,但是基本不会出现1v1的情况,女主这么强,配一个男的太亏了(啥?)。预警,女主从目前的伦理道德来讲,确实是渣女,而且吸溜子也没想洗。...
身世坎坷历经沧桑人间情意究竟为何物?妈妈是什么?奶奶是什么?姑姑婶婶又是什么?也许,都是女人罢了。你们给了我们生活的必须,但是她们没有给我们家庭的温暖,因此从理智上我们应该感激你们的,可是感情上很多时候是会出现偏差的。我喜欢熟女喜欢年龄稍大的女人当然是女人我都会喜欢当然是那种好女人...
穿越成为火影中的奈良鹿丸!因穿越加上‘星’的能力,精神力强大到惊粟!觉醒血继限界‘影瞳’!ltBRgt先是小小的复制一套影忍法!再觉醒万花筒,剥夺影子!强者尾兽的影子一个也不放过,佐助更是憋屈的挂掉!大小美女更是一个也不放过…...
高手从来都是寂寞的,可是我却想做一个逍遥高手京城世家子弟楚修为了逃避家族逼婚,远走他乡,哪里想到却因此卷入了更多的桃花之中各色美女与他纠缠不清,就连那霸道的未婚妻也是不远千里追来面对这等桃色劫难,楚修只有一个念头我想回家!各位书友要是觉得校园逍遥高手还不错的话请不要忘记向您...
当秦奋手机微信摇出了天庭朋友圈,他发现自己的人生变了,但天庭的变化更惊悚。想要金点子,行,拿东西来换,我不挑食。超市,串串香,等一系列熟悉的东西对原有的天庭造成了冲击。秦奋看着天庭的物产,发现自己似乎要发了。种田,数钱,好多事要做。我是先吃蟠桃呢,还是九转金丹。签已过,人品嘛,我很有节操可以吗?求点求收求票票,求包...