手机浏览器扫描二维码访问
第30章 计算机学院来抢人了（第2页）
但丘奇-图灵，这里的图灵，不是计算机之父艾伦·图灵，而是英格兰数学家阿兰·图灵。
（）;（） 邱奇在阿兰.图灵的论文基础上，建立了基本几何问题的算法不可解性和一阶逻辑中真命题全集的解法问题是不可解。
其中就包括非形式的能行可计算性，被称为丘奇-图灵。
“是的！”叶非点头。
“但是这样，就将研究复杂化了。”
这就好似本来是单独的研究，再参杂其余的东西，将需要研究的内容扩大。
“您忘记哥德尔理论了？”叶非道。
哥德尔理论，全称为哥德尔不完全性定理，有利于图灵机的研究。
周教授眼前一亮，兴奋的道：“是的，只要用哥德尔理论，就能将这两个结合，让两个问题成一个问题。”
周教授心中感叹，自己就从未体验过这么轻松的研究。
每次有问题，叶非都能很快找到思路。
没问题，叶非还是能提出思路。
和叶非做研究，一个字，爽，两个字，很爽，三個字，非常爽。
反正就是爽歪歪。
科研最怕的是有问题，但和叶非做科研，他从不怕有问题。
一个能快速帮忙解决任何问题的助手，他怕啥？
他啥都不怕。
他只想和叶非永远研究下去，把计算机所有难题都解决。
当然，这非常不现实。
这时，外面走进来一个人，道：“叶非在吗？”
叶非两人向声音传来方向看去，发现是一位中年男子。
叶非并不认识这人，但有些熟悉，好似在哪见过。
周教授漠然的道：“老许，你来做什么？”
中年男子瞪了一眼周教授道：“没大没小，你就这么和院长说话的。”
叶非这才想起来，原来是计算机学院的院长许景义，他就说怎么这么熟悉。
许景义看着叶非笑道：“这就是叶非吧！”
说着，走上来热情的笑道：“真是年轻有为啊，听说你最近创造出一种算法，竟然不需要写翻译和指引机制，这改变了算法常识。”
“最近我们学院，包括别的学校计算机学院的老师，都在说你，听的我耳朵都起老茧了。”
“我就是来看看你，看是什么样的计算机天才，能创造出这样的算法。”
叶非对这热情表情太熟悉了，他经常从数学学院院长的脸上看到这表情。
“许院长过奖了。”叶非笑道。
“一点都不过奖！”许院长道：“你们在做什么？”
炼金术士的异界日常
一个四十来岁的老男人，穿越到异世界，成为了年轻的炼金术士。一直向往低调的幸福生活的他，却卷入一个又一个的阴谋当中。看他如何使用前世的知识，在异世界中寻找自己的幸福炼金术士的异界日常...
空降热搜！锦鲤鱼仙C位出道
让他爱上我的一百种方法...
神医帝女：爹地又求翻牌了
优质精品图书推荐...
厉少，夫人跪求扫地出门
简介关于厉少，夫人跪求扫地出门苏小小只是面了个试，就被迫签下卖身契，成了千亿总裁的妻子。签下合同的第一天，男人便警告她苏小小，你记住，你我之间只有合作，没有感情！苏小小求之不得！可婚后她却现，这个男人在冷漠与温柔之间，转换得游刃有余。渐渐地，她开始分不清自己到底是演戏，还是已经沉沦在了男人的怀抱里。她只得及时止损，厉寒川，跟我离婚吧！我什么都不要！男人却是邪魅一笑，一手将女人揽入怀中，离婚？休想！...
医妃有毒
一朝穿越，她成了被弃的九王妃，新婚第二日，便被以不洁的名义扔进浩江，任其自生自灭。她是东方王朝九王爷的正妃，且是二十一世纪特种部队的女军医，医术高，毒术惊人。娘家陷害，她狠狠回击，皇室紧逼，她进退适度，江湖追杀，她放毒回报她是传说中的鬼医，一朝重生，二世为人，笑傲天下本文讲诉某王妃红杏出墙，看上了他国皇子的凄美爱情故事绝壁原创，不开玩笑！小说关键词医妃有毒无弹窗医妃有毒txt全集下载医妃有毒最新章节阅读...
我变成了修真洞府
谁都要有一个家。下至黎民，上至金仙，皆无例外。袁起穿越修真界，化身成为一座修真洞府，也成为了万千修士眼中的香饽饽。正所谓，流水的修士，铁打的洞府。你们争你们的，反正笑到最后的总是我！我变成了修真洞府...
疏妆
简介关于疏妆千澜上辈子只是一个平平无奇的职场女青年，每天混吃等死领工资。莫名其妙穿成了一个女捕快，没想到竟还是个世家千金，很是来头大。身旁一大堆老祖宗，陪着她查疑案夺家产步步高升，可为什么总有些黑衣人步步相随，想着要她这么个内宅姑娘的命？没办法，脾气使然，一切想要对她不利的人，她一般都是直接上去踩，动手不动口的！...
