“正在思考!”叶非摇头:“我还是做集合论的科研,但集合论至今未解决的问题有好几个,我正在犹豫,到底做哪个?”
鲁教授一脸懵逼,咋的,集合论问题塞到你脑子里了,你说解决就能解决啊!
但想想,叶非都解决集合论两个问题了。
解决起来也很轻松,没有一个问题超过三个月的。
好像解决集合论问题对他来说非常的轻松。
鲁教授好似感受到浓浓的凡尔赛气息。
鲁教授道:“要不你解决图灵等价问题吧!”
“图灵等价?”叶非道:“但我不懂计算机,要解决这个问题,需要和懂计算机的人合作。”
数学是所有自然学科的基础,计算机也要用到大量的数学。
历史上有一个人,叫艾伦·麦席森·图灵,是计算机之父,人工智能之父。
图灵提出的图灵机模型为现代计算机的逻辑工作方式奠定了基础。
可以说,如果没有图灵,就没有现在的计算机。
而像现在的计算机和人工智能,都是图灵提出来的。
图灵等价是计算理论中图灵机很自然的诱导出自然数集合之间的一种等价关系。
研究图灵等价,有利于提高计算机的运算速度。
所谓的运算速度,就是比如计算机A和计算机B,A和B的硬件相同,A用了图灵等价,B没有用。
但A的运行速度比B快。
“这正是要我和你说的。”鲁教授道:“我有一个朋友,是中湖大学计算机算力实验室的负责人,我想让你和他一起合作。”
“算力实验室?”叶非道:“就是那个地方实验室?”
所有重点大学都有许多实验室或研究所,而它们也分等级。
其中以地方实验室等级最低,最不受重视,国家重点实验室等级最高,最受重视。
中湖大学有两个国家重点实验室,十五个地方实验室。
一般地方实验室,都是派一位教授进行看管,手下有五六个研究生,每年拨款一百万左右。
并且科研项目不受重视,拨款经常不到位。
很多时候,负责人要从外面拉款,与市面上的企业合作。
但想和企业合作,从企业手上拿钱,谈何容易?
“就是那个实验室!”鲁教授道:“你别看是地方实验室,但负责人能力还是有的,他是计算机院的一位正教授,与我同级。”
“他研究了图灵算法十几年,有很深的研究。”
叶非笑道:“既然是导师您推荐的,自然不错,那就让我和这位教授见一面吧,我要和他聊聊。”
“可以!”鲁教授点头:“我现在就打电话叫他来。”
说着,拿出电话打出去。
这人其实和鲁教授是朋友,叶非说进行新的科研项目,他就想到他朋友了。