第(1/3)页 夜,叶非躺在床上,打开系统。 【任务:无 体能:150 智商:129 功能:融会贯通:lv0(0/100) 等级:0 积分:105】 叶非已经完成两个任务,第一个任务获得5积分,第二个任务获得100积分。 但他一直都没加点,因为体能和智商一点需要一百积分,功能一点需要十积分。 他现在获得的积分,加一点体能或智商对他帮助可以忽略,功能又无法升级,不能升级提升等同于无。 所以他一直都将积分攒着。 “奇异基数已经证明成功,可以开始下一個任务了。” “导师一直催促我和他合作极小塔问题。” “现在我没事做了,那就研究极小塔问题吧!” 极小塔问题出现于1940年,是集合论核心问题之一。 问的是两个连续统基数不变量p与t是否在zfc下可证明是相等的。 这个问题是基数不变量理论中的历史最悠久的公开问题。 如果证明成功将对力迫理论的发展起到巨大的推动作用。 zfc,全称叫做zfc公理系统。 是由策梅洛和弗伦克尔提出的zf系统,在此基础上再加上选择公理,构成zfc公理系统。 它是第一个公理集合论系统,在集合论中有非常广泛的应用。 力迫理论,又叫做力迫法,是公理集合论研究中构造扩充模型的一种重要方法,它是科恩在1963年证明连续统假设的独立性而创立的。 说白了,不管是奇异基数问题,还是极小塔问题,对证明连续统假设都有很大帮助。 叶非说着建立任务。 【任务:证明极小塔问题 详情:两个连续统基数不变量p与t是否在zfc下可证明是相等 奖励:100积分】 “又是100积分?看样子难度和奇异基数是一样的。” 从第二日开始,叶非就和鲁一山一起研究极小塔问题。 叶非在充分学习鲁一山教授之前的研究后,又进行了一些补充,两人的合作,研究速度非常的快。 叶非都感慨:“单打独斗果然没有两人合作快。” 如果说之前自己一个人研究奇异基数要两个月时间,但如果是两人合作,会将速度提高许多。 第(1/3)页