手机浏览器扫描二维码访问
而他的学生正是艾伦·图灵,计算机之父。
但丘奇-图灵,这里的图灵,不是计算机之父艾伦·图灵,而是英格兰数学家阿兰·图灵。
邱奇在阿兰.图灵的论文基础上,建立了基本几何问题的算法不可解性和一阶逻辑中真命题全集的解法问题是不可解。
其中就包括非形式的能行可计算性,被称为丘奇-图灵。
“是的!”叶非点头。
“但是这样,就将研究复杂化了。”
这就好似本来是单独的研究,再参杂其余的东西,将需要研究的内容扩大。
“您忘记哥德尔理论了?”叶非道。
哥德尔理论,全称为哥德尔不完全性定理,有利于图灵机的研究。
周教授眼前一亮,兴奋的道:“是的,只要用哥德尔理论,就能将这两个结合,让两个问题成一个问题。”
周教授心中感叹,自己就从未体验过这么轻松的研究。
每次有问题,叶非都能很快找到思路。
没问题,叶非还是能提出思路。
和叶非做研究,一個字,爽,两个字,很爽,三个字,非常爽。
反正就是爽歪歪。
科研最怕的是有问题,但和叶非做科研,他从不怕有问题。
一个能快速帮忙解决任何问题的助手,他怕啥?
他啥都不怕。
他只想和叶非永远研究下去,把计算机所有难题都解决。
当然,这非常不现实。
这时,外面走进来一个人,道:“叶非在吗?”
叶非两人向声音传来方向看去,发现是一位中年男子。
叶非并不认识这人,但有些熟悉,好似在哪见过。
周教授漠然的道:“老许,你来做什么?”
中年男子瞪了一眼周教授道:“没大没小,你就这么和院长说话的。”
叶非这才想起来,原来是计算机学院的院长许景义,他就说怎么这么熟悉。
许景义看着叶非笑道:“这就是叶非吧!”
说着,走上来热情的笑道:“真是年轻有为啊,听说伱最近创造出一种算法,竟然不需要写翻译和指引机制,这改变了算法常识。”
“最近我们学院,包括别的学校计算机学院的老师,都在说你,听的我耳朵都起老茧了。”
“我就是来看看你,看是什么样的计算机天才,能创造出这样的算法。”
叶非对这热情表情太熟悉了,他经常从数学学院院长的脸上看到这表情。
重生后我揣了奸臣的崽,叱咤皇朝了 和疯鸷老阿姨he了 魅魔的病美人马甲[无限] 和前夫上离婚综艺后我爆红了 [综]我为什么要洗白 我是墙头草的闺女[七零] 心灵主宰 增熵式迷恋 穿成恶龙后被骑士rua秃了 我在单位带薪养花种菜 真千金上全员恶人综艺靠摆烂爆红 [明日方舟]漫游泰拉 虐文小可怜是怪物母巢[快穿] 我靠小食店复原失传美食(系统) 师尊,请你正经点 穿成女主师尊后 神隐山海经 这偏执大佬一定要当吗 渣A不渣[快穿] 我们村全是穿越者[基建]
豪门蜜恋大佬请滚开...
一个月才一千多块我就跟着你上街砍人。只不过帮嫂子保养两次,就他妈要干掉我?有你这么当老大的么?被人砍死都活该。扑街啊你!...
奋斗在瓦罗兰是白眼镜猫精心创作的灵异,旧时光文学实时更新奋斗在瓦罗兰最新章节并且提供无弹窗阅读,书友所发表的奋斗在瓦罗兰评论,并不代表旧时光文学赞同或者支持奋斗在瓦罗兰读者的观点。...
副本师职业,捕捉异位面生物制造副本。副本产出皮肤珍稀资源boss(可召唤)小怪(位面远征军)副本发展方向神国(奇幻侧),内天地(武道侧),平行宇...
同父异母的姐姐不想嫁给传闻中又丑又不人道的未婚夫,亲生母亲下跪求她你姐姐值得更好的,你帮帮她吧。她心寒似铁,代替姐姐出嫁。新婚之夜,英俊的男人皱眉看她太丑了。她以为两人从此会相敬如冰,却...
成为丐帮帮主的张小凡网络里的键盘侠霍雨浩高级发型师伍六七装逼队长燕双鹰枪斗术张响炮神二营长包子雷马洛这个世界越来越危险了!跑龙套的主角风生乐如是说。主角就是走个过程,看看精彩的战斗(无脑小说欢乐多!我也来试一试!)...