手机浏览器扫描二维码访问
而他的学生正是艾伦·图灵,计算机之父。
但丘奇-图灵,这里的图灵,不是计算机之父艾伦·图灵,而是英格兰数学家阿兰·图灵。
邱奇在阿兰.图灵的论文基础上,建立了基本几何问题的算法不可解性和一阶逻辑中真命题全集的解法问题是不可解。
其中就包括非形式的能行可计算性,被称为丘奇-图灵。
“是的!”叶非点头。
“但是这样,就将研究复杂化了。”
这就好似本来是单独的研究,再参杂其余的东西,将需要研究的内容扩大。
“您忘记哥德尔理论了?”叶非道。
哥德尔理论,全称为哥德尔不完全性定理,有利于图灵机的研究。
周教授眼前一亮,兴奋的道:“是的,只要用哥德尔理论,就能将这两个结合,让两个问题成一个问题。”
周教授心中感叹,自己就从未体验过这么轻松的研究。
每次有问题,叶非都能很快找到思路。
没问题,叶非还是能提出思路。
和叶非做研究,一個字,爽,两个字,很爽,三个字,非常爽。
反正就是爽歪歪。
科研最怕的是有问题,但和叶非做科研,他从不怕有问题。
一个能快速帮忙解决任何问题的助手,他怕啥?
他啥都不怕。
他只想和叶非永远研究下去,把计算机所有难题都解决。
当然,这非常不现实。
这时,外面走进来一个人,道:“叶非在吗?”
叶非两人向声音传来方向看去,发现是一位中年男子。
叶非并不认识这人,但有些熟悉,好似在哪见过。
周教授漠然的道:“老许,你来做什么?”
中年男子瞪了一眼周教授道:“没大没小,你就这么和院长说话的。”
叶非这才想起来,原来是计算机学院的院长许景义,他就说怎么这么熟悉。
许景义看着叶非笑道:“这就是叶非吧!”
说着,走上来热情的笑道:“真是年轻有为啊,听说伱最近创造出一种算法,竟然不需要写翻译和指引机制,这改变了算法常识。”
“最近我们学院,包括别的学校计算机学院的老师,都在说你,听的我耳朵都起老茧了。”
“我就是来看看你,看是什么样的计算机天才,能创造出这样的算法。”
叶非对这热情表情太熟悉了,他经常从数学学院院长的脸上看到这表情。
一句话文案男主是女主的,女配只想赚钱修真界大佬付绵绵,宗门人称‘锦鲤天尊’,气运爆棚,宝贝环身。不曾想渡劫后期一道天雷下去,付绵绵就被劈进了存放在须弥戒子角落里几本落了灰的狗血小说里,成为了书中的...
高亮主角不是天使兽本兽,只是可以变身天使兽!主角本体外星人类!第一次他进化天使兽,接住了那个还没穿上红披风的氪星人。年轻人像只兴奋又惊奇的救难犬你你就是天使吗?罗夏狰狞地朝他微笑,露出一口...
被网络鸡汤忽悠瘸了的南时倾家荡产盘下了一个古玩店,结果因为不懂行经营不善快破产了。下个月就是他破产背债的日子,南时的目标很简单加油卖货!坚决不能破产!明天就去义乌进货!只是万万没想到,最后他的古玩店是保下了,还人流如织日进斗金,就是这做的...
我叫李成浩,CJEampampampM音乐事业部部长。2017年,我成为了TVN放送局社长。书友群463238278各位书友要是觉得你好,李社长还不错的话请不要忘记向您QQ群和微博里的朋友推荐哦!...
进入游戏的罗浩发现,和妹子组队升级,竟然能够提升爆率!这是逼我,去找妹子的节奏啊!...
虞柠不吸烟不喝酒不潜规则小鲜肉,不拍戏的时候就宅在家里。怎么也没想到,转眼间竟然变成了一个还有二十四小时就要被全网疯嘲,三十六小时就要从楼上跳下去,没死成反而半身瘫痪的炮灰。不,我觉得自己还能抢救一下!...