<!--go-->

夜，叶非躺在床上，打开系统。

【任务：无

体能：150

智商：129

功能：融会贯通：Lv0(0/100)

等级：0

积分：105】

叶非已经完成两个任务，第一个任务获得5积分，第二个任务获得100积分。

但他一直都没加点，因为体能和智商一点需要一百积分，功能一点需要十积分。

他现在获得的积分，加一点体能或智商对他帮助可以忽略，功能又无法升级，不能升级提升等同于无。

所以他一直都将积分攒着。

“奇异基数已经证明成功，可以开始下一個任务了。”

“导师一直催促我和他合作极小塔问题。”

“现在我没事做了，那就研究极小塔问题吧！”

极小塔问题出现于1940年，是集合论核心问题之一。

问的是两个连续统基数不变量p与t是否在ZFC下可证明是相等的。

这个问题是基数不变量理论中的历史最悠久的公开问题。

如果证明成功将对力迫理论的发展起到巨大的推动作用。

ZFC，全称叫做ZFC公理系统。

是由策梅洛和弗伦克尔提出的ZF系统，在此基础上再加上选择公理，构成ZFC公理系统。

它是第一个公理集合论系统，在集合论中有非常广泛的应用。

力迫理论，又叫做力迫法，是公理集合论研究中构造扩充模型的一种重要方法，它是科恩在1963年证明连续统假设的独立性而创立的。

说白了，不管是奇异基数问题，还是极小塔问题，对证明连续统假设都有很大帮助。

叶非说着建立任务。

【任务：证明极小塔问题

详情：两个连续统基数不变量p与t是否在ZFC下可证明是相等

Loading...

未加载完，尝试【刷新】or【退出阅读模式】or【关闭广告屏蔽】。

尝试更换【Firefox浏览器】or【Edge浏览器】打开多多收藏！

移动流量偶尔打不开，可以切换电信、联通、Wifi。

收藏网址：www.dd123.cc

(＞人＜；)