第25章 钟家庆数学奖（2/4）

：“极小塔问题你已经解决了，你接下来想做什么？”

叶非道：“当然还是继续做科研。”

“你也不能一直做科研吧，适当的休息一下。”

“是要休息一下，但也不能休息太久，休息几天就足够了。”

“那你想好做什么科研吗？”

“正在思考！”叶非摇头：“我还是做集合论的科研，但集合论至今未解决的问题有好几个，我正在犹豫，到底做哪个？”

鲁教授一脸懵逼，咋的，集合论问题塞到你脑子里了，你说解决就能解决啊！

但想想，叶非都解决集合论两个问题了。

解决起来也很轻松，没有一个问题超过三个月的。

好像解决集合论问题对他来说非常的轻松。

鲁教授好似感受到浓浓的凡尔赛气息。

鲁教授道：“要不你解决图灵等价问题吧！”

“图灵等价？”叶非道：“但我不懂计算机，要解决这个问题，需要和懂计算机的人合作。”

数学是所有自然学科的基础，计算机也要用到大量的数学。

历史上有一个人，叫艾伦·麦席森·图灵，是计算机之父，人工智能之父。

图灵提出的图灵机模型为现代计算机的逻辑工作方式奠定了基础。

可以说，如果没有图灵，就没有现在的计算机。

而像现在的计算机和人工智能，都是图灵提出来的。

图灵等价是计算理论中图灵机很自然的诱导出自然数集合之间的一种等价关系。

研究图灵等价，有利于提高计算机的运算速度。

所谓的运算速度，就是比如计算机a和计算机b，a和b的硬件相同，a用了图灵等价，b没有用。

但a的运行速度比b快。

“这正是要我和你说的。”鲁教授道：“我有一个朋友，是中湖大学计算机算力实验室的负责人，我想让你和他一起合作。”

“算力实验室？”叶非道：“就是那个地方实验室？”

所有重点大学都有许多实验室或研究所，而它们也分等级。

其中以地方实验室等级最低，最不受重视，国家重点实验室等级最高，最受重视。

中湖大学有两个国家重点实验室，十五个地方实验室。

一般地方实验室，都是派一位教授进行看管，手下有五六个研究生，每年拨款一百万左右。

并且科研项目不受重视，拨款经常不到位。

很多时候