手机浏览器扫描二维码访问
第30章 计算机学院来抢人了（第2页）
而他的学生正是艾伦·图灵，计算机之父。
但丘奇-图灵，这里的图灵，不是计算机之父艾伦·图灵，而是英格兰数学家阿兰·图灵。
邱奇在阿兰.图灵的论文基础上，建立了基本几何问题的算法不可解性和一阶逻辑中真命题全集的解法问题是不可解。
其中就包括非形式的能行可计算性，被称为丘奇-图灵。
“是的！”叶非点头。
“但是这样，就将研究复杂化了。”
这就好似本来是单独的研究，再参杂其余的东西，将需要研究的内容扩大。
“您忘记哥德尔理论了？”叶非道。
哥德尔理论，全称为哥德尔不完全性定理，有利于图灵机的研究。
周教授眼前一亮，兴奋的道：“是的，只要用哥德尔理论，就能将这两个结合，让两个问题成一个问题。”
周教授心中感叹，自己就从未体验过这么轻松的研究。
每次有问题，叶非都能很快找到思路。
没问题，叶非还是能提出思路。
和叶非做研究，一個字，爽，两个字，很爽，三个字，非常爽。
反正就是爽歪歪。
科研最怕的是有问题，但和叶非做科研，他从不怕有问题。
一个能快速帮忙解决任何问题的助手，他怕啥？
他啥都不怕。
他只想和叶非永远研究下去，把计算机所有难题都解决。
当然，这非常不现实。
这时，外面走进来一个人，道：“叶非在吗？”
叶非两人向声音传来方向看去，发现是一位中年男子。
叶非并不认识这人，但有些熟悉，好似在哪见过。
周教授漠然的道：“老许，你来做什么？”
中年男子瞪了一眼周教授道：“没大没小，你就这么和院长说话的。”
叶非这才想起来，原来是计算机学院的院长许景义，他就说怎么这么熟悉。
许景义看着叶非笑道：“这就是叶非吧！”
说着，走上来热情的笑道：“真是年轻有为啊，听说伱最近创造出一种算法，竟然不需要写翻译和指引机制，这改变了算法常识。”
“最近我们学院，包括别的学校计算机学院的老师，都在说你，听的我耳朵都起老茧了。”
“我就是来看看你，看是什么样的计算机天才，能创造出这样的算法。”
叶非对这热情表情太熟悉了，他经常从数学学院院长的脸上看到这表情。
异界蛮族之王
这一年，蛇纹石河东岸的黑土平原亟待强权皮尔特人依旧高傲固执祖安的狂热学者们变本加厉，艾欧尼亚正在进入翻天覆地的大变革班德尔城的的约德尔人不再与世无争德玛西亚厉兵秣马诺克萨斯依旧对大陆霸权虎视眈眈。这一年，大陆风起云涌，英雄辈出，而命运多舛的蛮族，正翘首以待王者归来这一年，一个拥有现代灵魂的蛮族少年泰达米尔，正摩拳擦掌准备掀起一场腥风血雨。这是一个现代灵魂混在瓦罗兰带着蛮人砍翻一切的故事！PS纯脑洞作品，非严格背景故事。...
解谜与双马尾
解谜与双马尾是辰风来精心创作的灵异，旧时光文学实时更新解谜与双马尾最新章节并且提供无弹窗阅读，书友所发表的解谜与双马尾评论，并不代表旧时光文学赞同或者支持解谜与双马尾读者的观点。...
仙药供应商
新书归来第一仙（原名重生之逆行修仙）已发，希望大家多多支持，谢谢。一个闭塞的乡村，半座山，几间房，有人不远千里而来，豪车挤满了山间的小路，因为这里...
我在逃荒路上当地主
逃荒系统流！种田基建，向大地主级别！冲击！ampampbrampampgt 原以为只是普通的养成系统，竟然是抢命系统！ampampbrampampgt 一千个宿主被选中穿越到不同版本的古代逃荒大队！ampampbrampampgt 哪个宿主先晋升到大地主级别，其余...
英雄联盟，云起瓦罗兰
云起解释为如云涌动，比喻众多的事物一下子出现。跟着主角的脚步，就能一起走遍瓦罗兰大陆。一起见证德玛西亚二等分的光明与黑暗。一起领略皮尔特沃夫与祖安的互为表里。一起体会比尔吉沃特弥漫的独立与自由。一起一起这个故事源于那句欢迎来到英雄联盟。是以想认真一点的，对贯穿自己大半青春的英雄们说上一句青春无悔，感谢有你。所以你们呢？...
昭昭明月（双重生）
日更，感谢支持！明天524入v届时万更。父为安国公，母为端敏长公主，还有一个身为皇帝的亲舅舅，姜昭一出生就被封为明月郡主，备受恩宠，可上辈子的她因为病痛所扰选择早早结束了生命。重生归来，依旧是病痛缠身...