叶非和贺兴相对而坐，一边吃一边聊天。
“叶先生，现在各大公司主要有两个方案，像一些中型公司主要想以租赁的方式用图计算法。”
“大一些的公司想买下图计算法的版权。”
“租赁的价格有高有低，最高价是一年三百万。”
“买下版权的最高价是三千万。”
“你看，是以哪个方式？”
贺兴当时听到报价都兴奋疯了，他当时说最低价一千万，心中想的最高价是一千五百万。
但没想到那些公司能出到三千万。
叶非道：“百度那些公司出价多少？”
叶非不想租赁，想将算法卖出去。
毕竟，这只是自己随手创造出来的算法。
要是花大量精力去创造，能创造出更好的。
所以，他并不珍惜图计算法。
既然要卖出去，自然价高者得。
百度这类公司最有钱，自然是看向它们。
“百度这些公司并没有出价，但他们却说想和你见一面。”
叶非微微皱眉，眼中闪过一丝疑惑，点头道：“可以，他们见我，我随时都有时间，但要快，我过段时间要忙起来了。”
“好的！”
叶非不知道的是，四周所有学生都竖起耳朵听。
当听说有人出价三千万买叶非的算法，他们都羡慕了。
别三千万啊，三百万我们就知足了啊！
“我的乖乖，还没毕业就有三千万身家了。”
“我父母干一辈子，才赚到一千万，叶非倒好，随手制作的算法就赚了三千万，不能比。”
这事情不到十分钟就被人发到校园贴吧，一个下午就传遍学校。
听到的人都一片哗然，震惊、羡慕、嫉妒。
但想想自己的能力，算了，不能比。
接下来几天，叶非接见许多公司副总裁。
但愕然的发现，他们并不是买算法，而是想挖自己，去他们公司工作。
每一家公司给的待遇都非常丰厚。
这类公司总年薪都是工资加年终奖加股份分红。
百度、腾讯、阿里、华为，给的总年薪都差不多，是五百万。
谷歌、苹果、亚马逊、脸书，给的总年薪是七百万。
大众、丰田、本田、宝马，给的总年薪是四百万。
微软给的最高，总年薪千万。
叶非对于他们伸出的橄榄枝，全部拒绝。
去他们公司工作？
他暂时没这想过，再说，去他们公司，就要研究互联网。
自己数学不研究了？https:ЪiqikuΠet
绝不可能。
中湖大学外的一辆车上。
这里面坐着的是百度副总裁胡家泉和百度产品经理。
“总裁！”经理道：“叶非是数学天才，而且他随手制作的算法就价值三千万，我看他不会因为钱被打动的。”
“嗯！”胡家泉点头道：“看样子确实不行，也是，一个数学天才，很大概率不会去研究计算机。”
“总裁，那下面我们怎么办？”
“既然不能让他到我们公司工作，那就买他算法的制作方法吧！”
“嗯！”经理点头。筆趣庫
算力研究室！
叶非正在和周康教授研究图灵等价问题。
可数计算性理论和集合论已经结合到一起，下面是将它们套到可数波雷尔等价关系中。
叶非他们现在就是做这一步。
叶非道：“周教授，我觉得如果将非形式的能行可计算性加入进去，好像更适合当前研究。”
“你是说丘奇-图灵？”周教授道。
这里说的丘奇是阿隆佐·邱奇，北丽国数学家，他1936年发表可计算函数的第一份精确定义，1967年发明了著名的λ演算。
而他的学生正是艾伦·图灵，计算机之父。
但丘奇-图灵，这里的图灵，不是计算机之父艾伦·图灵，而是英格兰数学家阿兰·图灵。
邱奇在阿兰图灵的论文基础上，建立了基本几何问题的算法不可解性和一阶逻辑中真命题全集的解法问题是不可解。
其中就包括非形式的能行可计算性，被称为丘奇-图灵。
“是的！”叶非点头。
“但是这样，就将研究复杂化了。”
这就好似本来是单独的研究，再参杂其余的东西，将需要研究的内容扩大。
“您忘记哥德尔理论了？”叶非道。
哥德尔理论，全称为哥德尔不完全性定理，有利于图灵机的研究。
周教授眼前一亮，兴奋的道：“是的，只要用哥德尔理论，就能将这两个结合，让两个问题成一个问题。”
周教