();() 邱奇在阿兰.图灵的论文基础上,建立了基本几何问题的算法不可解性和一阶逻辑中真命题全集的解法问题是不可解。
其中就包括非形式的能行可计算性,被称为丘奇-图灵。
“是的!”
叶非点头。
“但是这样,就将研究复杂化了。”
这就好似本来是单独的研究,再参杂其余的东西,将需要研究的内容扩大。
“您忘记哥德尔理论了?”
叶非道。
哥德尔理论,全称为哥德尔不完全性定理,有利于图灵机的研究。
周教授眼前一亮,兴奋的道:“是的,只要用哥德尔理论,就能将这两个结合,让两个问题成一个问题。”
周教授心中感叹,自己就从未体验过这么轻松的研究。
每次有问题,叶非都能很快找到思路。
没问题,叶非还是能提出思路。
和叶非做研究,一个字,爽,两个字,很爽,三個字,非常爽。
反正就是爽歪歪。
科研最怕的是有问题,但和叶非做科研,他从不怕有问题。
一个能快速帮忙解决任何问题的助手,他怕啥?
他啥都不怕。
他只想和叶非永远研究下去,把计算机所有难题都解决。
当然,这非常不现实。
这时,外面走进来一个人,道:“叶非在吗?”
叶非两人向声音传来方向看去,发现是一位中年男子。
叶非并不认识这人,但有些熟悉,好似在哪见过。
周教授漠然的道:“老许,你来做什么?”
中年男子瞪了一眼周教授道:“没大没小,你就这么和院长说话的。”
叶非这才想起来,原来是计算机学院的院长许景义,他就说怎么这么熟悉。
许景义看着叶非笑道:“这就是叶非吧!”
说着,走上来热情的笑道:“真是年轻有为啊,听说你最近创造出一种算法,竟然不需要写翻译和指引机制,这改变了算法常识。”
“最近我们学院,包括别的学校计算机学院的老师,都在说你,听的我耳朵都起老茧了。”
“我就是来看看你,看是什么样的计算机天才,能创造出这样的算法。”
叶非对这热情表情太熟悉了,他经常从数学学院院长的脸上看到这表情。
“许院长过奖了。”
叶非笑道。
“一点都不过奖!”
许院长道:“你们在做什么?”
“在研究图灵等价问题。”
();() 许院长点头道:“这是一个好问题。”
职场版一个刚进公司的新人,如何在老员工的打压下生存和发展。励志版一个离乡的小农民工,如何靠着双手适应并融入城市生活。电商版一个刚出道的小掌柜,如何在林立的店铺中打下一片天地。本书是仙侠,不是都市,讲述一个从下界飞升上来的少年,靠着自己的双手,在陌生的修真界飞速崛起,拼杀出属于他的传说。...
容雪清穿回来了。他带着游戏赋予的技能穿回来的第三天,分化成了帝国拥有传奇色彩的人鱼抚愈师。白发白睫是人鱼抚愈师的标志,无法剪断,无法染色,无法摆脱。容雪清看着自己忽然变的白发白睫慌得一批,当下买...
失手摔了一下游戏头盔,谁曾想,居然摔出一个金手指苏白手上多了个没人能看见的进度条,每隔10个小时,就能创造一个bug第一个bug,苏白提前了全球玩家十个多小时,进入了游戏等所有玩家进入游戏后,苏白已经...
私设须知现代abo,beta是普通人,ao含有信息素,同性相斥异性相吸,a有易感期o有发情期。重点女a分化没有两套器官,所有分化都只是信息素变化,生孩子我说行就行黎初出事后,穿进了一本自己刚看完的娱乐圈...
秦华穿越了,到了强人遍地的洪荒,他却成了一只没有自保能力的小妖。赶上了鸿钧讲道末班车,人阐两教嫌弃他是妖,西方二圣对他恨之人骨,女蜗娘娘摇头叹息你还是走吧!没奈何,他只好投人截教。他将如何走自己路,寻自己的道,在以后的封神大劫中保住自己的命,保住在意自己和自己在意的人的命,让我们拭目以待。...
许强一觉醒来发现自己穿越成情满四合院中,许大茂的弟弟,而且还是个即将被开除的物资科临时工。...