天才一秒记住【燃文中文】地址:www.ranwenzw.cc
司工作,那就买他算法的制作方法吧!”
“嗯!”经理点头。
算力研究室!
叶非正在和周康教授研究图灵等价问题。
可数计算性理论和集合论已经结合到一起,下面是将它们套到可数波雷尔等价关系中。
叶非他们现在就是做这一步。
叶非道:“周教授,我觉得如果将非形式的能行可计算性加入进去,好像更适合当前研究。”
“你是说丘奇-图灵?”周教授道。
这里说的丘奇是阿隆佐·邱奇,北丽国数学家,他1936年发表可计算函数的第一份精确定义,1967年发明了着名的λ演算。
而他的学生正是艾伦·图灵,计算机之父。
但丘奇-图灵,这里的图灵,不是计算机之父艾伦·图灵,而是英格兰数学家阿兰·图灵。
邱奇在阿兰.图灵的论文基础上,建立了基本几何问题的算法不可解性和一阶逻辑中真命题全集的解法问题是不可解。
其中就包括非形式的能行可计算性,被称为丘奇-图灵。
“是的!”叶非点头。
“但是这样,就将研究复杂化了。”
这就好似本来是单独的研究,再参杂其余的东西,将需要研究的内容扩大。
“您忘记哥德尔理论了?”叶非道。
哥德尔理论,全称为哥德尔不完全性定理,有利于图灵机的研究。
周教授眼前一亮,兴奋的道:“是的,只要用哥德尔理论,就能将这两个结合,让两个问题成一个问题。”
周教授心中感叹,自己就从未体验过这么轻松的研究。
每次有问题,叶非都能很快找到思路。
没问题,叶非还是能提出思路。
和叶非做研究,一个字,爽,两个字,很爽,三个字,非常爽。
反正就是爽歪歪。
科研最怕的是有问题,但和叶非做科研,他从不怕有问题。
一个能快速帮忙解决任何问题的助手,他怕啥?
他啥都不怕。
他只想和叶非永远研究下去,把计算机所有难题都解决。
当然,这非常不现实。
这时,外面走进来一个人,道:“叶非在吗?”
叶非两人向声音传来方向看去,发现是一位中年男子。
叶非并不认识这人,但有些熟悉,好似在哪见过。
周教授漠然的道:“老许,你来做什么?”
中年男子瞪了一眼周教授道:“没大没小,你就这么和院长说话的。”
叶非这才想起来,原来是计算机学院的学员许景义,他就说怎么这么熟悉。
许景义看着叶非笑道:“这就是叶非吧!”
说着,走上来热情的笑道:“真是年轻有为啊,听说你最近创造出一种算法,竟然不需要写翻译和指引机制,这改变了算法常识。”
“最近我们学院,包括别的学校计算机学院的老师,都在说你,听的我耳朵都起老茧了。”
“我就是来看看你,看是什么样的计算机天才,能创造出这样的算法。”
叶非对这热情表情太熟悉了,他经常从数学学院院长的脸上看到这表情。
“许院长过奖了。”叶非笑道。
“一点都不过奖!”许院长道:“你们在做什么?”
“在研究图灵等价问题。”
许院长点头道:“这是一个好问题。”
叶非心中冒出三个问号???
“好问题?有人这样聊天的吗?”
“老许!”周教授不耐烦的道:“你有事快点说,我们
本章未完,请点击下一章继续阅读!若浏览器显示没有新章节了,请尝试点击右上角↗️或右下角↘️的菜单,退出阅读模式即可,谢谢!