手机浏览器扫描二维码访问
第30章 计算机学院来抢人了（第2页）
而他的学生正是艾伦·图灵，计算机之父。
但丘奇-图灵，这里的图灵，不是计算机之父艾伦·图灵，而是英格兰数学家阿兰·图灵。
邱奇在阿兰.图灵的论文基础上，建立了基本几何问题的算法不可解性和一阶逻辑中真命题全集的解法问题是不可解。
其中就包括非形式的能行可计算性，被称为丘奇-图灵。
“是的！”叶非点头。
“但是这样，就将研究复杂化了。”
这就好似本来是单独的研究，再参杂其余的东西，将需要研究的内容扩大。
“您忘记哥德尔理论了？”叶非道。
哥德尔理论，全称为哥德尔不完全性定理，有利于图灵机的研究。
周教授眼前一亮，兴奋的道：“是的，只要用哥德尔理论，就能将这两个结合，让两个问题成一个问题。”
周教授心中感叹，自己就从未体验过这么轻松的研究。
每次有问题，叶非都能很快找到思路。
没问题，叶非还是能提出思路。
和叶非做研究，一個字，爽，两个字，很爽，三个字，非常爽。
反正就是爽歪歪。
科研最怕的是有问题，但和叶非做科研，他从不怕有问题。
一个能快速帮忙解决任何问题的助手，他怕啥？
他啥都不怕。
他只想和叶非永远研究下去，把计算机所有难题都解决。
当然，这非常不现实。
这时，外面走进来一个人，道：“叶非在吗？”
叶非两人向声音传来方向看去，发现是一位中年男子。
叶非并不认识这人，但有些熟悉，好似在哪见过。
周教授漠然的道：“老许，你来做什么？”
中年男子瞪了一眼周教授道：“没大没小，你就这么和院长说话的。”
叶非这才想起来，原来是计算机学院的院长许景义，他就说怎么这么熟悉。
许景义看着叶非笑道：“这就是叶非吧！”
说着，走上来热情的笑道：“真是年轻有为啊，听说伱最近创造出一种算法，竟然不需要写翻译和指引机制，这改变了算法常识。”
“最近我们学院，包括别的学校计算机学院的老师，都在说你，听的我耳朵都起老茧了。”
“我就是来看看你，看是什么样的计算机天才，能创造出这样的算法。”
叶非对这热情表情太熟悉了，他经常从数学学院院长的脸上看到这表情。
穿成恶龙后被骑士rua秃了 我们村全是穿越者[基建] 渣A不渣[快穿] 心灵主宰 [明日方舟]漫游泰拉 增熵式迷恋 师尊，请你正经点 这偏执大佬一定要当吗 和前夫上离婚综艺后我爆红了 真千金上全员恶人综艺靠摆烂爆红 我在单位带薪养花种菜 和疯鸷老阿姨he了 重生后我揣了奸臣的崽，叱咤皇朝了 我靠小食店复原失传美食（系统） [综]我为什么要洗白 我是墙头草的闺女[七零] 神隐山海经 魅魔的病美人马甲[无限] 穿成女主师尊后 虐文小可怜是怪物母巢[快穿]
退婚后她成了真祖宗
已签漫画改编ampampbrampampgt 苏家的废物千金苏也，被薄氏集团总裁退婚后疯了！ampampbrampampgt 第一天，她摸着父亲的头大侄子，我看好一个项目，明天你去竞标。ampampbrampampgt 第二天，她用铁锹把苏家祖坟刨了，嘴里念叨...
美漫大恶人
重生漫威世界，杰森沃尔特获得大恶人系统，每日行恶就能获得奖励，提高声望还能招募同党。杰森无恶不作，给金并戴绿帽子，绑架托尼史塔克，暗杀神盾局特工，抢劫无限宝石，硬刚复仇者联盟，毁灭山达尔星终局之战，灭霸将复仇者联盟打翻在地，戴上无限手套我就是天命！杰森带着哈莉奎茵，阿列克斯，万磁王，达斯维达，伏地魔，红坦克，天启，佐德将军等恶人同党赶到战场，看着不远处的紫薯精道就特么你叫灭霸啊！...
我抢了999种异能
关于我抢了999种异能剥离（？？？级）夺取他人能力。杨希觉得很无奈，这个世界在针对他。他只是一条为了救妹妹而奋起的咸鱼，却最终肩负了整个人类未来的命运。只是为了掩饰身份建立的裁决组织，却发展成了横跨无数位面的巨头势力。随便扔给小弟的锻炼异能，却被他开发成了万古最强神体本书曾用名比琦玉还强是什么体验，又名我的马甲不可能那么多，如何建立一个横跨万界的大组织...
苍穹之上
苍穹之下的千年苦修，只为有朝一日立身于苍穹之上！位于洪武天朝和妖族七杀部咽喉要地的天断峡谷中，忽有天降神异之物，裹挟着一众修兵，滚入了浩荡的历史洪流当中…...
我的魔王老婆超宠我
老婆，你为什么把那个妖族小部落给屠戮了？因为它们对你心生歹意，怎可饶恕。那刚才的人族部落呢？对我很热情啊，前脚刚走，你后脚就把他们灭了。哼！有个人族丫头对你存有情愫，岂能放纵。可我是人族啊，你这么做我很痛心的，是不是欠亲亲？害羞哪有。...
早安，岳律师！
律政小新人苏青橙穿越了。ampampbrampampgt 刚穿来霸总丈夫就派助理豪掷千金，离婚签字这些钱就是你的！ampampbrampampgt 助理内心她一定像以前一样不肯离，要死要活说爱总裁。ampampbrampampgt 实际是，苏青橙满面笑容，好呀好呀！...