回到学校后,叶非去导师办公室。
“回来了!”看到叶非进来,鲁一山笑道。
“导师!”叶非坐下后道:“我已经将p=t证明出来了,这事您知道吗?”
鲁一山表情一滞,我知道吗?我当然知道。
因为你,我没了奋斗目标。
鲁一山点头道:“我知道。”
“我这几天到复旦大学数学学院讲座,后来进入他们的小图书馆,看到很多不对外公布的文献,其中就有集合论知识,这让我找到极小塔问题剩下的证明思路。”
鲁一山惊讶的看着叶非,道:“你就这几天就找到ZFC下p=t的思路了?”
“是啊!”叶非点头,笑道:“但我还没验证,如果验证成功的话,咱们的极小塔问题就证明出来了。”
鲁一山心中叹息,从研究开始,不到两月,你就解决了极小塔问题。
那我这么多年的研究算什么?
鲁一山颇感来自天才的浓浓恶意。
鲁一山道:“你准备什么时候写论文?”
“马上就写,我来就是和导师说一声的。”
鲁一山心中吐槽,是来打击我的吗!
鲁一山点了点头。
离开导师办公室后,叶非就开始验算他所思考的在ZFC下p=t。
三天后,图书馆!
叶非惊喜的道:“我的想法果然是对的。”
“下面开始写论文吧!”
此时,叶非不知道的是,全球很多人听了他对p=t的证明讲解后,都知道p=t的证明思路。
而极小塔问题中,最难的就是p=t。
ZFC下的p=t反而并不是太难。
毕竟,p=t都证明出来了,剩下的就是将p=t转换一下,套到ZFC下。
面对世界难题的诱惑,很多人都想第一个证明出极小塔问题。
也许,这是他们这辈子,唯一一次能证明出世界难题的机会。
必须要赶在叶非之前证明出极小塔问题,否则他们就没机会了。
他们这么做,有点厚脸皮的意思。
毕竟最难的都被叶非解决了,他们只要再证明出简单的部分,就能证明出极小塔问题。
然后完成论文,发表到Arxiv,他们就能成为证明极小塔问题的作者。
当然,事后肯定有人指责他们厚脸皮。
但面对世界难题诱惑和数学界出名的诱惑,厚脸皮就厚脸皮吧!
京都大学,图书馆!
罗洛是数学系在读硕士研究生,今天周末,他上午九点左右才来图书馆。
但图书馆人满为患,过许久才找到一个位置坐下。
坐下后他就打开Arxiv查看,这是数学专业学生经常逛的网站。
突然,他瞪大眼睛惊呼道:“叶非证明出极小塔问题了。”
声音很大,很多人都听到。
许多人被打扰学习,烦躁的看他一眼。
但罗洛好似没察觉,他激动的点开叶非新发表的论文。
“这也太快了吧,才半个月啊!”
“不愧是叶非,这么短时间就证明出ZFC下的p=t。”
图书馆中很多人都听到罗洛的话,一些知道叶非的人都上网查看。
很快,他们也发现叶非新发表的论文。
英格兰,剑桥大学!
“叶非竟然已经证明出极小塔问题了。”库玛斯看着叶非新发表的论文,再看看这几日自己的努力,心中很痛。
自从看到叶非讲解p=t后,他就在努力的证明ZFC下p=t。
想在叶非之前证明出来,但现在他的证明还没到一半,叶非已经证明出来了。
“他怎么会这么快?”
北丽国,普林斯顿!
“这么快就证明出来了。”佩里绝望的道:“没机会了,叶非的证明肯定是对的,毕竟他都已经证明出极小塔问题中最难的部分,容易的部分对他来说也应该没难度。”
“哎……”佩里看着桌子上自己连日来的努力,他一把将桌子上所有的稿纸推到地上,散落满地。
东瀛国,东京大学!
“巴嘎……”吉川太郎愤怒的看着电脑屏幕:“为什么,我已经这么拼命了,还是没赶上,你为什么这么快?”
“我真是太慢了,这么好的机会就这样没了。”他自责的握紧拳头。
当叶非证明极小塔问题的论文发表到Arxiv上。
很多正在研究ZFC下p=t问题的人,都满脸绝望。
没人会认为叶非的证明是错的。
毕竟,最难的部分都被叶非解决,容易的部分对叶非来说也应该没难度。
这一日,全球无数人都被叶非的才华所打败。
当然,也有很多人被叶非的才华所震撼,惊喜,特别是夏国人。
毕竟,叶非是夏国人,叶非的成就让他们与有荣焉。
此时,Stack Exchange上集合论板块!
很多帖子都是关于叶非证明出极小塔问题。
“算算时间,叶非一共用了两個月证明出极小塔问题。”
“不能这样算,这两个月他并不是全部做研究,听说在这期间,他还去夏国魔都复旦大学进行演讲,并在复旦大学逗留了三天。”
“不管怎么说,叶非的科研速度也太快了,我从未见过这么快的男人。”
“什么这么快的男人,女人也没这么快啊!”
“你们说话能别搞擦边球吗,请别开车,我们现在说的是科研。”
“他的速度比研究奇异基数时快多了,他研究奇异基数应该花了四个月时间,现在研究极小塔问题,只花了奇异基数一半的时间。”
“我从未见过这样的人,奇异基数和极小塔是同样难度的问题,他研究反而越来越快了。”
“……”
傍晚,叶非在操场散步,同时思考接下来的研究。
他一共要写两篇论文,一篇是p=t,另一片是ZFC下p=t。
他只发表了一篇,是ZFC下p=t。
另一篇,他会在半个月内写好。
之所以先发表ZFC下p=t,是因为他之前将p=t的证明过程挂在Arxiv,他怕有人先他一步证明出极小塔问题。
所以才先发表ZFC下p=t。
当然,现在写的ZFC下p=t,只是初稿挂在Arxiv上,还要花几天时间,对论文多次修改,之后再发给期刊。
“既然选择集合论,那么我下面的研究还是应该继续集合论。”
“拓扑奥特猜想?超紧基数典型内模型问题?高层有限波雷尔等价关系中的两个问题?连续统势确定问题?图灵等价问题?还是带指数函数的实数理论的可判定性问题?”
这几个问题,是集合论中除了连续统假设外,剩下的所有问题。
叶非之后的研究,还是从这几个问题出发。
至于连续统假设问题,是最难的终极问题。
最起码这几个问题没解决,他不会对连续统假设下手。
这时,叶非的手机响起!
“喂,导师!”
“叶非,伱来我办公室,告诉你一个好消息。”
“好的!”