两人都是说干就干的类型,在和周教授商定后,叶非就入驻计算机算力实验室。</p>
“周教授,你手下的研究生呢?”第二天,叶非来到算力实验室,看到整个实验室只有周教授一人,没有其他人。</p>
周教授道:“这实验室就我一人。”</p>
“你一人?”叶非惊愕:“你手下研究生不在这实验室?”</p>
“我手下没研究生。”</p>
“没研究生?”叶非惊讶,还有教授手下没研究生的?</p>
“本来有的,但走了。”</p>
“申请调走了?”叶非问道。</p>
读研或读博,如果发现导师不行,想换导师,可以有两种选择。</p>
一、退学重考,重新选学校,重新选导师。</p>
二、向学校申请换导师。</p>
两种选择都比较困难。</p>
如果重考,那又要经历一次考研经历。</p>
参加过考研的人都懂,考研非常的痛苦,不亚于高考。</p>
第二种,必须有正当理由,还要与现任导师沟通好,然后才能向学校申请换导师。</p>
但换导师比较困难,因为这涉及到很多事情。</p>
如果导师手下研究生减少,会减少导师手下课题经费,还有很多其他问题。</p>
所以,非不得已,学校不会为学生换导师。</p>
“嗯!”周教授点头:“我们开始吧!”</p>
“行!”叶非虽然对这事很疑惑,但也没多问。</p>
“我们分工合作!”周教授道:“我研究计算性理论方面,你研究集合论方面。”</p>
图灵等价问题,是关于可计算性理论和集合论两大领域边界上的问题。</p>
可计算性理论属于计算机数学领域,又叫做算法理论。</p>
“可以!”叶非点头。</p>
一周后!</p>
叶非道:“周教授,我集合论的模型已经做好了,你什么时候能好?”</p>
“你的好了?”周教授惊愕。</p>
“是啊!”叶非点头。</p>
“你确定你的是对的?”</p>
周教授不得不怀疑,自己连一半都没做好,叶非就做好了。</p>
而且,自己是计算机学院教授,不是那些三脚猫的学生。</p>
自己连一半都没做好,叶非这么快就好了?</p>
“要不您看看?”叶非道。</p>
“好,那我就看看。”</p>
他还真不信叶非已经做好了,肯定做的很粗心,要是其中有错误,自己也能指责出来。</p>
周教授虽然不精通集合论,但叶非是不是粗心推导出来,他还是能看出来的。</p>
许久后,周教授惊讶,心道:“还真不是粗心推导出来的?”</p>
“但怎么会这么快呢?”</p>
他看着一旁的叶非,眼神闪烁。</p>
叶非道:“周教授,可以了吗?”</p>
“可以了!”周教授点头:“我那个还要有半月时间。”</p>
说到这个,周教授就有些羞耻。</p>
亏自己还是计算机教授,速度还没叶非快。</p>
“我不急!”叶非道:“您先把可计算性理论解决,之后我们再进行下一步骤。”</p>
推导出可计算性理论和集合论,只是图灵等价最基础的东西。</p>
下面还要将可计算性理论和集合论合到一起,套用到可数波雷尔等价关系中。</p>
从可数波雷尔中,寻找到自由群,从自由群中推导出乘积空间,从它们之间的移位寻找到群作用,最后再套用图灵关系,寻找到等价关系。</p>
这一系列下来,每一步都非常难。</p>
最基础部分是最简单的,叶非研究集合论这么久,还证明了两个关于集合论的世界难题。</p>
解决图灵等价最基础部分,自然很轻松。</p>
“好!”周教授道。</p>
叶非道:“周教授,那我半个月后再来。”</p>
说完,叶非离开实验室,向教务处走去。</p>
今天早上,他的极小塔问题的论文,投给数学新进展的论文通过了。</p>
现在他是去领钱。</p>
最终,叶非通过刘义生教授,说服导师,成为通讯作者,但论文通过后,钱他不会拿了,全部给叶非。</p>try{ggauto();} catch(ex){}
按照常规,论文所获得的所有奖励,通讯作者和第一作者一人一半。</p>