当然,也有很多人被叶非的才华所震撼,惊喜,特别是夏国人。
毕竟,叶非是夏国人,叶非的成就让他们与有荣焉。
此时,StackExchange上集合论板块!
很多帖子都是关于叶非证明出极小塔问题。
“算算时间,叶非一共用了两個月证明出极小塔问题。”
“不能这样算,这两个月他并不是全部做研究,听说在这期间,他还去夏国魔都复旦大学进行演讲,并在复旦大学逗留了三天。”
“不管怎么说,叶非的科研速度也太快了,我从未见过这么快的男人。”
“什么这么快的男人,女人也没这么快啊!”
“你们说话能别搞擦边球吗,请别开车,我们现在说的是科研。”
“他的速度比研究奇异基数时快多了,他研究奇异基数应该花了四个月时间,现在研究极小塔问题,只花了奇异基数一半的时间。”
“我从未见过这样的人,奇异基数和极小塔是同样难度的问题,他研究反而越来越快了。”
“……”
傍晚,叶非在操场散步,同时思考接下来的研究。
他一共要写两篇论文,一篇是p=t,另一片是ZFC下p=t。
他只发表了一篇,是ZFC下p=t。
另一篇,他会在半个月内写好。
之所以先发表ZFC下p=t,是因为他之前将p=t的证明过程挂在Arxiv,他怕有人先他一步证明出极小塔问题。
所以才先发表ZFC下p=t。
当然,现在写的ZFC下p=t,只是初稿挂在Arxiv上,还要花几天时间,对论文多次修改,之后再发给期刊。
“既然选择集合论,那么我下面的研究还是应该继续集合论。”
“拓扑奥特猜想?超紧基数典型内模型问题?高层有限波雷尔等价关系中的两个问题?连续统势确定问题?图灵等价问题?还是带指数函数的实数理论的可判定性问题?”
这几个问题,是集合论中除了连续统假设外,剩下的所有问题。
叶非之后的研究,还是从这几个问题出发。
至于连续统假设问题,是最难的终极问题。
最起码这几个问题没解决,他不会对连续统假设下手。
这时,叶非的手机响起!
“喂,导师!”
“叶非,伱来我办公室,告诉你一个好消息。”
“好的!”