“你的好了?”
周教授惊愕。
“是啊!”
叶非点头。
“你确定你的是对的?”
周教授不得不怀疑,自己连一半都没做好,叶非就做好了。
而且,自己是计算机学院教授,不是那些三脚猫的学生。
自己连一半都没做好,叶非这么快就好了?
“要不您看看?”
叶非道。
“好,那我就看看。”
他还真不信叶非已经做好了,肯定做的很粗心,要是其中有错误,自己也能指责出来。
周教授虽然不精通集合论,但叶非是不是粗心推导出来,他还是能看出来的。
许久后,周教授惊讶,心道:“还真不是粗心推导出来的?”
“但怎么会这么快呢?”
();() 他看着一旁的叶非,眼神闪烁。
叶非道:“周教授,可以了吗?”
“可以了!”
周教授点头:“我那个还要有半月时间。”
说到这个,周教授就有些羞耻。
亏自己还是计算机教授,速度还没叶非快。
“我不急!”
叶非道:“您先把可计算性理论解决,之后我们再进行下一步骤。”
推导出可计算性理论和集合论,只是图灵等价最基础的东西。
下面还要将可计算性理论和集合论合到一起,套用到可数波雷尔等价关系中。
从可数波雷尔中,寻找到自由群,从自由群中推导出乘积空间,从它们之间的移位寻找到群作用,最后再套用图灵关系,寻找到等价关系。
这一系列下来,每一步都非常难。
最基础部分是最简单的,叶非研究集合论这么久,还证明了两个关于集合论的世界难题。
解决图灵等价最基础部分,自然很轻松。
“好!”
周教授道。
叶非道:“周教授,那我半个月后再来。”
说完,叶非离开实验室,向教务处走去。
今天早上,他的极小塔问题的论文,投给数学新进展的论文通过了。
请关闭浏览器阅读模式后查看本章节,否则将出现无法翻页或章节内容丢失等现象。