这里面坐着的是百度副总裁胡家泉和百度产品经理。

“总裁！”经理道：“叶非是数学天才，而且他随手制作的算法就价值三千万，我看他不会因为钱被打动的。”

“嗯！”胡家泉点头道：“看样子确实不行，也是，一个数学天才，很大概率不会去研究计算机。”

“总裁，那下面我们怎么办？”

“既然不能让他到我们公司工作，那就买他算法的制作方法吧！”

“嗯！”经理点头。

算力研究室！

叶非正在和周康教授研究图灵等价问题。

可数计算性理论和集合论已经结合到一起，下面是将它们套到可数波雷尔等价关系中。

叶非他们现在就是做这一步。

叶非道：“周教授，我觉得如果将非形式的能行可计算性加入进去，好像更适合当前研究。”

“你是说丘奇-图灵？”周教授道。

这里说的丘奇是阿隆佐·邱奇，北丽国数学家，他1936年发表可计算函数的第一份精确定义，1967年发明了著名的λ演算。

而他的学生正是艾伦·图灵，计算机之父。

但丘奇-图灵，这里的图灵，不是计算机之父艾伦·图灵，而是英格兰数学家阿兰·图灵。

邱奇在阿兰.图灵的论文基础上，建立了基本几何问题的算法不可解性和一阶逻辑中真命题全集的解法问题是不可解。

其中就包括非形式的能行可计算性，被称为丘奇-图灵。

“是的！”叶非点头。

“但是这样，就将研究复杂化了。”

这就好似本来是单独的研究，再参杂其余的东西，将需要研究的内容扩大。

“您忘记哥德尔理论了？”叶非道。

哥德尔理论，全称为哥德尔不完全性定理，有利于图灵机的研究。

周教授眼前一亮，兴奋的道：“是的，只要用哥德尔理论，就能将这两个结合，让两个问题成一个问题。”

周教授心中感叹，自己就从未体验过这么轻松的研究。

每次有问题，叶非都能很快找到思路。

没问题，叶非还是能提出思路。

和叶非做研究，一个字，爽，两个字，很爽，三个字，非常爽。

反正就是爽歪歪。

科研最怕的是有问题，但和叶非做科研，他从不怕有问题。

一个能快速帮忙解决任何问题的助手，他怕啥？

他啥都不怕。

他只想和叶非永远研究下去，把计算机所有难题都解决。

当然，这非常不现实。

这时，外面走进来一个人，道：“叶非在吗？”

叶非两人向声音传来方向看去，发现是一位中年男子。

叶非并不认识这人，但有些熟悉，好似在哪见过。

周教授漠然的道：“老许，你来做什么？”

中年男子瞪了一眼周教授道：“没大没小，你就这么和院长说话的。”

叶非这才想起来，原来是计算机学院的学员许景义，他就说怎么这么熟悉。

许景义看着叶非笑道：“这就是叶非吧！”

本小章还未完，请点击下一页继续阅读后面精彩内容！ <!--20230412212821-->