第30章 计算机学院来抢人了
中湖大学，食堂中！
叶非和贺兴相对而坐，一边吃一边聊天。
“叶先生，各大公司已经开始出价了，出价最高的是一千万。”
“但是，有家互联网巨头公司，也想买你的算法。”
“嗯？”叶非惊奇的道：“哪家巨头公司？”
贺兴道：“百度！”
“百度？”叶非诧异的道：“百度应该不需要我的算法吧！”
图计算法浮点运算次数只有五万亿次，像百度这样的互联网巨头公司，早就应该研发出浮点运算次数达到百万亿次的算法。
而且，百度有超算，他们的超算算法浮点运算次数可能已经达到亿亿次数。
对于图计算法这点浮点运算次数肯定是不需要的。
贺兴道：“我也问过百度的人，他们对你算法的创造方式非常感兴趣，想买来研究一下。”
“他们出价多少？”叶非问道。
“一千万！”
叶非倒吸一口凉气，财大气粗啊，就为了想研究图计算法的创造方法，就出价一千万。
当然，他也能理解。
互联网巨头公司，最不缺钱。
可能对于百度来说，一千万就相当于十块钱一样。
研究图计算法创造方法，出价十块钱，非常值。
贺兴道：“但我的建议是先不要卖，这才刚开始，我相信能将图计算法卖到更高的价。”
他非常兴奋，没想到能吸引来百度。
百度对图计算法感兴趣，看到别的公司出更高价后，肯定会加价的。
所以，他预估，图计算法最终价值可能会超出自己的预估。
叶非道：“行，我不管你怎么卖，反正越高越好。”
吃完饭后，叶非去算力研究室。
算力研究室！
叶非正在和周康教授研究图灵等价问题。
可数计算性理论和集合论已经结合到一起，下面是将它们套到可数波雷尔等价关系中。
叶非他们现在就是做这一步。
叶非道：“周教授，我觉得如果将非形式的能行可计算性加入进去，好像更适合当前研究。”
“你是说丘奇-图灵？”周教授道。
这里说的丘奇是阿隆佐·邱奇，北丽国数学家，他1936年发表可计算函数的第一份精确定义，1967年发明了著名的λ演算。
而他的学生正是艾伦·图灵，计算机之父。
但丘奇-图灵，这里的图灵，不是计算机之父艾伦·图灵，而是英格兰数学家阿兰·图灵。
邱奇在阿兰.图灵的论文基础上，建立了基本几何问题的算法不可解性和一阶逻辑中真命题全集的解法问题是不可解。
其中就包括非形式的能行可计算性，被称为丘奇-图灵。
“是的！”叶非点头。
“但是这样，就将研究复杂化了。”
这就好似本来是单独的研究，再参杂其余的东西，将需要研究的内容扩大。
“您忘记哥德尔理论了？”叶非道。
哥德尔理论，全称为哥德尔不完全性定理，有利于图灵机的研究。
周教授眼前一亮，兴奋的道：“是的，只要用哥德尔理论，就能将这两个结合，让两个问题成一个问题。”
周教授心中感叹，自己就从未体验过这么轻松的研究。
每次有问题，叶非都能很快找到思路。
没问题，叶非还是能提出思路。
和叶非做研究，一個字，爽，两个字，很爽，三个字，非常爽。
反正就是爽歪歪。
科研最怕的是有问题，但和叶非做科研，他从不怕有问题。
一个能快速帮忙解决任何问题的助手，他怕啥？
他啥都不怕。
他只想和叶非永远研究下去，把计算机所有难题都解决。
当然，这非常不现实。
这时，外面走进来一个人，道：“叶非在吗？”
叶非两人向声音传来方向看去，发现是一位中年男子。
叶非并不认识这人，但有些熟悉，好似在哪见过。
周教授漠然的道：“老许，你来做什么？”
中年男子瞪了一眼周教授道：“没大没小，你就这么和院长说话的。”
叶非这才想起来，原来是计算机学院的院长许景义，他就说怎么这么熟悉。
许景义看着叶非笑道：“这就是叶非吧！”
说着，走上来热情的笑道：“真是年轻有为啊，听说伱最近创造出一种算法，竟然不需要写翻译和指引机制，这改变了算法常识。”
“最近我们学院，包括别的学校计算机学院的老师，都在说你，听的我耳朵都起老茧了。”
“我就是来看看你，看是什么样的计算机天才，能创造出这样的算法。”
叶非对这热情表情太熟悉了，他经常从数学学院院长的脸上看到这表情。
“许院长过奖了。”叶非笑道。
“一点都不过奖！”许院长道：“你们在做什么？”
“在研究图灵等价问题。”
许院长点头道：“这是一个好问题。”
叶非心中冒出三个问号？？？
“好问题？有人这样聊天的吗？”
“老许！”周教授不耐烦的道：“你有事快点说，我们还忙着呢！”
许院长笑道：“叶非，你看你计算机这么有天赋，要不来我们计算机学院吧！”
叶非和周教授诧异的看着许院长。
许院长被两人看的不自在，轻咳一声道：“我保证，你来我们计算机学院，待遇比你在数学学院还要好。”
“怎么样？”许院长期待的看着叶非：“不说话就是默认了。”
“许景义！”还不等叶非说话，数学学院院长肖国庆就出现在门口，怒吼道：“我早就盯着你了，你果然会来挖叶非。”
肖院长走到叶非面前笑了笑，然后愤怒的看着许院长道：“你挖我学院学生，真是好大的胆子。”
许院长怒道：“什么叫挖你学院的学生，叶非不仅仅只是你学院的学生，他还是中湖大学学生，我计算机学院属于中湖大学，那么叶非也应该属于我们计算机学院。”
“一派胡言！”肖院长怒吼：“他是我数学学院的，什么时候成你计算机学院的。”
“以叶非的才华，就应该去计算机学院，留在你们数学学院是埋没了他的才华。”
“你放屁！”
“你才放屁！”
“……”
叶非两人目瞪口呆的看着两位院长，竟然互爆粗口。
你一句放屁，他一句放屁，你一句他妈，他一句他妈。
叶非拉着周教授离开这里，留下两人对骂。
周教授摇头道：“世风日下啊，没想到平日那么文明的两个人，竟然也有说脏话的时候。”
“哎……”叶非摇头：“何必呢，为了我竟然如此做。”
周教授心好似被扎一下，我也想被两大学院院长抢人。
周教授看着叶非道：“你是怎么想的，来计算机学院吗？”
他有些纠结，叶非在数学上很有才华，不研究数学可惜了。
但他是研究计算机的，如果叶非也研究计算机，两人以后合作机会非常多。
“我还是想研究数学！”
“嗯！”周教授点头：“那我就和院长说一声，让他死心。”
“行！”叶非点头。
叶非和贺兴相对而坐，一边吃一边聊天。
“叶先生，各大公司已经开始出价了，出价最高的是一千万。”
“但是，有家互联网巨头公司，也想买你的算法。”
“嗯？”叶非惊奇的道：“哪家巨头公司？”
贺兴道：“百度！”
“百度？”叶非诧异的道：“百度应该不需要我的算法吧！”
图计算法浮点运算次数只有五万亿次，像百度这样的互联网巨头公司，早就应该研发出浮点运算次数达到百万亿次的算法。
而且，百度有超算，他们的超算算法浮点运算次数可能已经达到亿亿次数。
对于图计算法这点浮点运算次数肯定是不需要的。
贺兴道：“我也问过百度的人，他们对你算法的创造方式非常感兴趣，想买来研究一下。”
“他们出价多少？”叶非问道。
“一千万！”
叶非倒吸一口凉气，财大气粗啊，就为了想研究图计算法的创造方法，就出价一千万。
当然，他也能理解。
互联网巨头公司，最不缺钱。
可能对于百度来说，一千万就相当于十块钱一样。
研究图计算法创造方法，出价十块钱，非常值。
贺兴道：“但我的建议是先不要卖，这才刚开始，我相信能将图计算法卖到更高的价。”
他非常兴奋，没想到能吸引来百度。
百度对图计算法感兴趣，看到别的公司出更高价后，肯定会加价的。
所以，他预估，图计算法最终价值可能会超出自己的预估。
叶非道：“行，我不管你怎么卖，反正越高越好。”
吃完饭后，叶非去算力研究室。
算力研究室！
叶非正在和周康教授研究图灵等价问题。
可数计算性理论和集合论已经结合到一起，下面是将它们套到可数波雷尔等价关系中。
叶非他们现在就是做这一步。
叶非道：“周教授，我觉得如果将非形式的能行可计算性加入进去，好像更适合当前研究。”
“你是说丘奇-图灵？”周教授道。
这里说的丘奇是阿隆佐·邱奇，北丽国数学家，他1936年发表可计算函数的第一份精确定义，1967年发明了著名的λ演算。
而他的学生正是艾伦·图灵，计算机之父。
但丘奇-图灵，这里的图灵，不是计算机之父艾伦·图灵，而是英格兰数学家阿兰·图灵。
邱奇在阿兰.图灵的论文基础上，建立了基本几何问题的算法不可解性和一阶逻辑中真命题全集的解法问题是不可解。
其中就包括非形式的能行可计算性，被称为丘奇-图灵。
“是的！”叶非点头。
“但是这样，就将研究复杂化了。”
这就好似本来是单独的研究，再参杂其余的东西，将需要研究的内容扩大。
“您忘记哥德尔理论了？”叶非道。
哥德尔理论，全称为哥德尔不完全性定理，有利于图灵机的研究。
周教授眼前一亮，兴奋的道：“是的，只要用哥德尔理论，就能将这两个结合，让两个问题成一个问题。”
周教授心中感叹，自己就从未体验过这么轻松的研究。
每次有问题，叶非都能很快找到思路。
没问题，叶非还是能提出思路。
和叶非做研究，一個字，爽，两个字，很爽，三个字，非常爽。
反正就是爽歪歪。
科研最怕的是有问题，但和叶非做科研，他从不怕有问题。
一个能快速帮忙解决任何问题的助手，他怕啥？
他啥都不怕。
他只想和叶非永远研究下去，把计算机所有难题都解决。
当然，这非常不现实。
这时，外面走进来一个人，道：“叶非在吗？”
叶非两人向声音传来方向看去，发现是一位中年男子。
叶非并不认识这人，但有些熟悉，好似在哪见过。
周教授漠然的道：“老许，你来做什么？”
中年男子瞪了一眼周教授道：“没大没小，你就这么和院长说话的。”
叶非这才想起来，原来是计算机学院的院长许景义，他就说怎么这么熟悉。
许景义看着叶非笑道：“这就是叶非吧！”
说着，走上来热情的笑道：“真是年轻有为啊，听说伱最近创造出一种算法，竟然不需要写翻译和指引机制，这改变了算法常识。”
“最近我们学院，包括别的学校计算机学院的老师，都在说你，听的我耳朵都起老茧了。”
“我就是来看看你，看是什么样的计算机天才，能创造出这样的算法。”
叶非对这热情表情太熟悉了，他经常从数学学院院长的脸上看到这表情。
“许院长过奖了。”叶非笑道。
“一点都不过奖！”许院长道：“你们在做什么？”
“在研究图灵等价问题。”
许院长点头道：“这是一个好问题。”
叶非心中冒出三个问号？？？
“好问题？有人这样聊天的吗？”
“老许！”周教授不耐烦的道：“你有事快点说，我们还忙着呢！”
许院长笑道：“叶非，你看你计算机这么有天赋，要不来我们计算机学院吧！”
叶非和周教授诧异的看着许院长。
许院长被两人看的不自在，轻咳一声道：“我保证，你来我们计算机学院，待遇比你在数学学院还要好。”
“怎么样？”许院长期待的看着叶非：“不说话就是默认了。”
“许景义！”还不等叶非说话，数学学院院长肖国庆就出现在门口，怒吼道：“我早就盯着你了，你果然会来挖叶非。”
肖院长走到叶非面前笑了笑，然后愤怒的看着许院长道：“你挖我学院学生，真是好大的胆子。”
许院长怒道：“什么叫挖你学院的学生，叶非不仅仅只是你学院的学生，他还是中湖大学学生，我计算机学院属于中湖大学，那么叶非也应该属于我们计算机学院。”
“一派胡言！”肖院长怒吼：“他是我数学学院的，什么时候成你计算机学院的。”
“以叶非的才华，就应该去计算机学院，留在你们数学学院是埋没了他的才华。”
“你放屁！”
“你才放屁！”
“……”
叶非两人目瞪口呆的看着两位院长，竟然互爆粗口。
你一句放屁，他一句放屁，你一句他妈，他一句他妈。
叶非拉着周教授离开这里，留下两人对骂。
周教授摇头道：“世风日下啊，没想到平日那么文明的两个人，竟然也有说脏话的时候。”
“哎……”叶非摇头：“何必呢，为了我竟然如此做。”
周教授心好似被扎一下，我也想被两大学院院长抢人。
周教授看着叶非道：“你是怎么想的，来计算机学院吗？”
他有些纠结，叶非在数学上很有才华，不研究数学可惜了。
但他是研究计算机的，如果叶非也研究计算机，两人以后合作机会非常多。
“我还是想研究数学！”
“嗯！”周教授点头：“那我就和院长说一声，让他死心。”
“行！”叶非点头。