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