第(2/3)页

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

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

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

    “是的！”叶非点头。

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

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

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

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

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

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

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

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

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

    反正就是爽歪歪。

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

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

    他啥都不怕。

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

    当然，这非常不现实。

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

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

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

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

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

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

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

    说着，走上来热情的笑道：“真是年轻有为啊，听说伱最近创造出一种算法，竟然不需要写翻译和指引机制，这改变了算法常识。”

    “最近我们学院，包括别的学校计算机学院的老师，都在说你，听的我耳朵都起老茧了。”

    “我就是来看看你，看是什么样的计算机天才，能创造出这样的算法。”

    叶非对这热情表情太熟悉了，他经常从数学学院院长的脸上看到这表情。

    “许院长过奖了。”叶非笑道。

    “一点都不过奖！”许院长道：“你们在做什么？”
    第(2/3)页