三四中文

手机浏览器扫描二维码访问

第25章 现实版的书中自有黄金屋（第2页）

“你的好了？”

周教授惊愕。

“是啊！”

叶非点头。

“你确定你的是对的？”

周教授不得不怀疑，自己连一半都没做好，叶非就做好了。

而且，自己是计算机学院教授，不是那些三脚猫的学生。

自己连一半都没做好，叶非这么快就好了？

“要不您看看？”

叶非道。

“好，那我就看看。”

他还真不信叶非已经做好了，肯定做的很粗心，要是其中有错误，自己也能指责出来。

周教授虽然不精通集合论，但叶非是不是粗心推导出来，他还是能看出来的。

许久后，周教授惊讶，心道：“还真不是粗心推导出来的？”

“但怎么会这么快呢？”

（）;（）　　他看着一旁的叶非，眼神闪烁。

叶非道：“周教授，可以了吗？”

“可以了！”

周教授点头：“我那个还要有半月时间。”

说到这个，周教授就有些羞耻。

亏自己还是计算机教授，速度还没叶非快。

“我不急！”

叶非道：“您先把可计算性理论解决，之后我们再进行下一步骤。”

推导出可计算性理论和集合论，只是图灵等价最基础的东西。

下面还要将可计算性理论和集合论合到一起，套用到可数波雷尔等价关系中。

从可数波雷尔中，寻找到自由群，从自由群中推导出乘积空间，从它们之间的移位寻找到群作用，最后再套用图灵关系，寻找到等价关系。

这一系列下来，每一步都非常难。

最基础部分是最简单的，叶非研究集合论这么久，还证明了两个关于集合论的世界难题。

解决图灵等价最基础部分，自然很轻松。

“好！”

周教授道。

叶非道：“周教授，那我半个月后再来。”

说完，叶非离开实验室，向教务处走去。

今天早上，他的极小塔问题的论文，投给数学新进展的论文通过了。