手机浏览器扫描二维码访问
第30章 计算机学院来抢人了（第2页）
（）;（） 邱奇在阿兰。图灵的论文基础上，建立了基本几何问题的算法不可解性和一阶逻辑中真命题全集的解法问题是不可解。
其中就包括非形式的能行可计算性，被称为丘奇-图灵。
“是的！”
叶非点头。
“但是这样，就将研究复杂化了。”
这就好似本来是单独的研究，再参杂其余的东西，将需要研究的内容扩大。
“您忘记哥德尔理论了？”
叶非道。
哥德尔理论，全称为哥德尔不完全性定理，有利于图灵机的研究。
周教授眼前一亮，兴奋的道：“是的，只要用哥德尔理论，就能将这两个结合，让两个问题成一个问题。”
周教授心中感叹，自己就从未体验过这么轻松的研究。
每次有问题，叶非都能很快找到思路。
没问题，叶非还是能提出思路。
和叶非做研究，一个字，爽，两个字，很爽，三個字，非常爽。
反正就是爽歪歪。
科研最怕的是有问题，但和叶非做科研，他从不怕有问题。
一个能快速帮忙解决任何问题的助手，他怕啥？
他啥都不怕。
他只想和叶非永远研究下去，把计算机所有难题都解决。
当然，这非常不现实。
这时，外面走进来一个人，道：“叶非在吗？”
叶非两人向声音传来方向看去，发现是一位中年男子。
叶非并不认识这人，但有些熟悉，好似在哪见过。
周教授漠然的道：“老许，你来做什么？”
中年男子瞪了一眼周教授道：“没大没小，你就这么和院长说话的。”
叶非这才想起来，原来是计算机学院的院长许景义，他就说怎么这么熟悉。
许景义看着叶非笑道：“这就是叶非吧！”
说着，走上来热情的笑道：“真是年轻有为啊，听说你最近创造出一种算法，竟然不需要写翻译和指引机制，这改变了算法常识。”
“最近我们学院，包括别的学校计算机学院的老师，都在说你，听的我耳朵都起老茧了。”
“我就是来看看你，看是什么样的计算机天才，能创造出这样的算法。”
叶非对这热情表情太熟悉了，他经常从数学学院院长的脸上看到这表情。
“许院长过奖了。”
叶非笑道。
“一点都不过奖！”
许院长道：“你们在做什么？”
“在研究图灵等价问题。”
（）;（） 许院长点头道：“这是一个好问题。”
药泉空间：家有悍妻好旺夫
精品好书，尽在咪咕...
重生之遮天大帝
1万年后的王者大陆上，他终于在一个普通的家庭诞生，上一世他身为一代帝皇，但却在歹人的阴谋之下家破人亡，这一世的重生，仅仅只是为了再次还原他内心中的那道伤疤！！！...
至尊邪宠：鬼医五小姐
她是穿越而来的杀手至尊，手握上古神兵，独步天下，他是韬光养晦的腹黑妖孽，生杀予夺，染血九州。一次意外，她生死人肉白骨，鬼手无形救了那个奸诈如狐的腹黑王爷，从此纠缠不断。当草包对上废物，痞女遇上流氓，是针锋相对，还是携手杀伐，颠覆天下…...
吞噬星空之大涅磐时代
人类崛起无敌快节奏女主妖娆小姑妈维妮娜妖女柳柒月陈凡从玉皇顶跌落，穿越吞噬星空，获得顶级悟性与无限升级的金手指！伟大的陈凡议长，你于昨晚成功当选战神宫和行星殿第一议长，请问有什么对全世界说的？陈凡这个世界有我，你们大可放心！临别之际，陈凡补充了一句我们的征途是浩瀚星空！在这个各类怪兽蠢蠢欲动，随时可能破城而入的时代，陈凡的出现，给整个世界带去了希望！无数纪元后，屹立在时间长河之上。陈凡蓦然回首。那位从大涅磐时代走出的新兵，已然成为与元罗峰雪鹰星芒金并肩而立的至高领主。我，陈凡，最强领主！而陈凡身后，则是静静站着诸多神王存在维妮娜妖娆雷神洪马良本书又名穿越吞噬星空，无敌有什么错？我，顶级悟性，纵横吞噬无敌手穿越吞噬星空，带着地球一同崛起...
被霸总退婚后我火爆全星际
霸总冷酷拽老婆我错了...
离婚后，霸总追妻追到腿软
简介关于离婚后，霸总追妻追到腿软本书前期节奏较快，偏重于婚后甜宠说明男女主之间没有任何第三者，前期分开只是有小误会而已，小的不能再小的误会哈～众人皆知鹿城之王江易珵是个冷漠寡淡之人，对什么都不在意，更别提是女人这种生物了。就连他的隐婚妻子任兮也是这么认为的。结婚四年，夫妻俩相敬如宾。哦不，准确来说是江易珵单方面忽视，任兮这个妻子那是好的没话说。贤惠，孝顺，善解人意都是她的代名词。直到有一天江易珵看着手里新鲜出炉的离婚证，本来应该高兴的他却高兴不起来，以为只是短暂的不适应，但随着时间的推移现他错了，错的离谱！他是喜欢任兮的！此后他幡然醒悟，果断追妻。奈何女人身边的苍蝇太多，打一只来一只，打两只来一双。酒会上看到别的男人对任兮大献殷勤，江易珵再也忍不住了，凑上来抱着她说，老婆复婚好不好？女人笑的勾人，摇晃着手里的红酒杯，我包养几个小鲜肉不香吗？江易珵一张俊脸被气绿了，咬牙切齿道，小鲜肉有什么意思？老腊肉才更有嚼劲！后来男人将她抵在墙上，霸道的把她圈在怀里，居高临下的看着她，目光冷冽又偏执，你只能是我的！江易珵是商界矜贵的王，唯独向任兮低下了高傲的头颅。...