夜,叶非躺在床上,打开系统。
【任务:无
体能:150
智商:129
功能:融会贯通:Lv0(0/100)
等级:0
积分:105】
叶非已经完成两个任务,第一个任务获得5积分,第二个任务获得100积分。
但他一直都没加点,因为体能和智商一点需要一百积分,功能一点需要十积分。
他现在获得的积分,加一点体能或智商对他帮助可以忽略,功能又无法升级,不能升级提升等同于无。
所以他一直都将积分攒着。
“奇异基数已经证明成功,可以开始下一个任务了。”
“导师一直催促我和他合作极小塔问题。”
“现在我没事做了,那就研究极小塔问题吧!”
极小塔问题出现于1940年,是集合论核心问题之一。
问的是两个连续统基数不变量p与t是否在ZFC下可证明是相等的。
这個问题是基数不变量理论中的历史最悠久的公开问题。
如果证明成功将对力迫理论的发展起到巨大的推动作用。
ZFC,全称叫做ZFC公理系统。
是由策梅洛和弗伦克尔提出的ZF系统,在此基础上再加上选择公理,构成ZFC公理系统。
它是第一个公理集合论系统,在集合论中有非常广泛的应用。
力迫理论,又叫做力迫法,是公理集合论研究中构造扩充模型的一种重要方法,它是科恩在1963年证明连续统假设的独立性而创立的。
说白了,不管是奇异基数问题,还是极小塔问题,对证明连续统假设都有很大帮助。
叶非说着建立任务。
【任务:证明极小塔问题
详情:两个连续统基数不变量p与t是否在ZFC下可证明是相等
奖励:100积分】
“又是100积分?看样子难度和奇异基数是一样的。”
从第二日开始,叶非就和鲁一山一起研究极小塔问题。
叶非在充分学习鲁一山教授之前的研究后,又进行了一些补充,两人的合作,研究速度非常的快。
叶非都感慨:“单打独斗果然没有两人合作快。”
如果说之前自己一个人研究奇异基数要两个月时间,但如果是两人合作,会将速度提高许多。
叶非心道:“以这样的速度,最多两个月,就能证明出来。”
鲁教授非常惊讶,这不合作不知道,一合作吓一跳。
“这到底是导师带学生?还是学生带导师?”
叶非的许多想法都很新颖,要不是多年研究极小塔问题,底蕴深厚,他都差点跟不上叶非的节奏。
鲁教授是痛并快乐着。
快乐的是研究速度非常快,痛苦的是他快跟不上叶非节奏了,需要补充知识。
“不行,一天不能工作十二个小时,就工作六个小时吧,还有六个小时,我要去学习。”
鲁教授这是被逼没办法,不然他真的快跟不上叶非的节奏了。
本来是他要拉着叶非加入自己的课题,让叶非跟着自己的节奏。
现在倒好,是自己要跟着叶非的节奏。
但节奏好像快跟不上了,他必须要将节奏放慢,每天都有时间学习,尽量跟上叶非节奏。
“以前怎么不知道他这么变态?”鲁教授心中吐槽:“要是让叶非知道我的能力,会不会看轻我?”
“不行,绝对不能被看出能力。”
叶非是没有看出来鲁教授的能力。
一是经验少。