;;;;中湖大学，食堂中！
;;;;叶非和贺兴相对而坐，一边吃一边聊天。
;;;;“叶先生，各大公司已经开始出价了，出价最高的是一千万。”
;;;;“但是，有家互联网巨头公司，也想买你的算法。”
;;;;“嗯？”叶非惊奇的道：“哪家巨头公司？”
;;;;贺兴道：“百度！”
;;;;“百度？”叶非诧异的道：“百度应该不需要我的算法吧！”
;;;;图计算法浮点运算次数只有五万亿次，像百度这样的互联网巨头公司，早就应该研发出浮点运算次数达到百万亿次的算法。
;;;;而且，百度有超算，他们的超算算法浮点运算次数可能已经达到亿亿次数。
;;;;对于图计算法这点浮点运算次数肯定是不需要的。
;;;;贺兴道：“我也问过百度的人，他们对你算法的创造方式非常感兴趣，想买来研究一下。”
;;;;“他们出价多少？”叶非问道。
;;;;“一千万！”
;;;;叶非倒吸一口凉气，财大气粗啊，就为了想研究图计算法的创造方法，就出价一千万。
;;;;当然，他也能理解。
;;;;互联网巨头公司，最不缺钱。
;;;;可能对于百度来说，一千万就相当于十块钱一样。
;;;;研究图计算法创造方法，出价十块钱，非常值。
;;;;贺兴道：“但我的建议是先不要卖，这才刚开始，我相信能将图计算法卖到更高的价。”
;;;;他非常兴奋，没想到能吸引来百度。
;;;;百度对图计算法感兴趣，看到别的公司出更高价后，肯定会加价的。
;;;;所以，他预估，图计算法最终价值可能会超出自己的预估。
;;;;叶非道：“行，我不管你怎么卖，反正越高越好。”
;;;;吃完饭后，叶非去算力研究室。
;;;;算力研究室！
;;;;叶非正在和周康教授研究图灵等价问题。
;;;;可数计算性理论和集合论已经结合到一起，下面是将它们套到可数波雷尔等价关系中。
;;;;叶非他们现在就是做这一步。
;;;;叶非道：“周教授，我觉得如果将非形式的能行可计算性加入进去，好像更适合当前研究。”
;;;;“你是说丘奇-图灵？”周教授道。
;;;;这里说的丘奇是阿隆佐·邱奇，北丽国数学家，他1936年发表可计算函数的第一份精确定义，1967年发明了著名的λ演算。
;;;;而他的学生正是艾伦·图灵，计算机之父。
;;;;但丘奇-图灵，这里的图灵，不是计算机之父艾伦·图灵，而是英格兰数学家阿兰·图灵。
;;;;邱奇在阿兰.图灵的论文基础上，建立了基本几何问题的算法不可解性和一阶逻辑中真命题全集的解法问题是不可解。
;;;;其中就包括非形式的能行可计算性，被称为丘奇-图灵。
;;;;“是的！”叶非点头。
;;;;“但是这样，就将研究复杂化了。”
;;;;这就好似本来是单独的研究，再参杂其余的东西，将需要研究的内容扩大。
;;;;“您忘记哥德尔理论了？”叶非道。
;;;;哥德尔理论，全称为哥德尔不完全性定理，有利于图灵机的研究。
;;;;周教授眼前一亮，兴奋的道：“是的，只要用哥德尔理论，就能将这两个结合，让两个问题成一个问题。”
;;;;周教授心中感叹，自己就从未体验过这么轻松的研究。
;;;;每次有问题，叶非都能很快找到思路。
;;;;没问题，叶非还是能提出思路。
;;;;和叶非做研究，一個字，爽，两个字，很爽，三个字，非常爽。
;;;;反正就是爽歪歪。
;;;;科研最怕的是有问题，但和叶非做科研，他从不怕有问题。