手机浏览器扫描二维码访问
第30章 计算机学院来抢人了（第2页）
（）;（） 邱奇在阿兰。图灵的论文基础上，建立了基本几何问题的算法不可解性和一阶逻辑中真命题全集的解法问题是不可解。
其中就包括非形式的能行可计算性，被称为丘奇-图灵。
“是的！”
叶非点头。
“但是这样，就将研究复杂化了。”
这就好似本来是单独的研究，再参杂其余的东西，将需要研究的内容扩大。
“您忘记哥德尔理论了？”
叶非道。
哥德尔理论，全称为哥德尔不完全性定理，有利于图灵机的研究。
周教授眼前一亮，兴奋的道：“是的，只要用哥德尔理论，就能将这两个结合，让两个问题成一个问题。”
周教授心中感叹，自己就从未体验过这么轻松的研究。
每次有问题，叶非都能很快找到思路。
没问题，叶非还是能提出思路。
和叶非做研究，一个字，爽，两个字，很爽，三個字，非常爽。
反正就是爽歪歪。
科研最怕的是有问题，但和叶非做科研，他从不怕有问题。
一个能快速帮忙解决任何问题的助手，他怕啥？
他啥都不怕。
他只想和叶非永远研究下去，把计算机所有难题都解决。
当然，这非常不现实。
这时，外面走进来一个人，道：“叶非在吗？”
叶非两人向声音传来方向看去，发现是一位中年男子。
叶非并不认识这人，但有些熟悉，好似在哪见过。
周教授漠然的道：“老许，你来做什么？”
中年男子瞪了一眼周教授道：“没大没小，你就这么和院长说话的。”
叶非这才想起来，原来是计算机学院的院长许景义，他就说怎么这么熟悉。
许景义看着叶非笑道：“这就是叶非吧！”
说着，走上来热情的笑道：“真是年轻有为啊，听说你最近创造出一种算法，竟然不需要写翻译和指引机制，这改变了算法常识。”
“最近我们学院，包括别的学校计算机学院的老师，都在说你，听的我耳朵都起老茧了。”
“我就是来看看你，看是什么样的计算机天才，能创造出这样的算法。”
叶非对这热情表情太熟悉了，他经常从数学学院院长的脸上看到这表情。
“许院长过奖了。”
叶非笑道。
“一点都不过奖！”
许院长道：“你们在做什么？”
“在研究图灵等价问题。”
（）;（） 许院长点头道：“这是一个好问题。”
天师出狱
我这辈子最后悔的事就是当风水师。五年牢狱生涯，出来之后，早已物是人非。我誓，要让刘氏风水家族登顶道教之巅！天师出狱...
主角秦为安王也
陵墓九年，我出来直接无敌。仙子任我采撷，诸神尽在我脚下，以一己之力，带飞整个宗门！...
诡异玄幻：我随身携带着盖世毒魔
降临在了一个人人会养蛊，个个会下毒的苗疆世界里，聂羽却现，自己不仅会一百种下毒的方法，更会三百种蛊术，更可怕的是，他身边还跟着一个游戏中的终极boss诡异玄幻我随身携带着盖世毒魔...
穿越就拜堂，竟然是个和尚！
作品简介免费提供作者半生荒唐半生狂的经典小说穿越就拜堂，竟然是个和尚！最新章节全文阅读服务本站更新及时无弹窗广告欢迎光临观看小说元气搞笑女x温润禁欲和尚王爷先婚后爱日久生情追妻火葬场互相救赎男配嘴毒忠犬侍卫高傲霸道将军非爽文社畜女车祸穿越，醒来就在拜堂，晚上洞房也没见人一个月也没见人，奇怪，太奇怪了整个王府，跟寺庙一样，清静幽雅直到有一天，有人来访，终于见到正主但是却闹了个乌龙，认错人了然后终于见到了传闻中的王爷，但是没想到他竟然是个和尚这个和尚很难搞！排雷女主与男配是有感情的，双洁误入...
极寒冰封，从收养绝美校花开始
简介关于极寒冰封，从收养绝美校花开始2o35年，一场史无前例的大雪淹没了全球。觉醒了异空间能力的陈宇，被自己曾帮助过的家人和邻居堵在屋里。混乱中，他莫名其妙的回到了末世前一周。这一次，他誓要做好充足的准备，让那些伤害过自己的人付出代价。他花重金打造了强避难所，囤积了大量物资。后来他获得一个神级系统。艾小暖过6o，你的身体将得到强化。徐枭过6o，你将获得一项随机技能。周佳慧过6o，已成为傀儡，你可将一项技能复制到傀儡身上拥有丰富物资和神级系统的陈宇，在末世中过起了幸福的生活...
蓄意诱她臣妻为后
（打破系统的女主，在冷情中生出爱的花！）墨无双，一个攻略从未败绩的女子。就在攻略最后一个的时候，她以为能在仓促的任务中享受一次爱情的滋味。但是因着她中过毒无法生育，她那个人前永远是一副宠妻样子的好夫君，带着一个怀着孕的小妾入府恶心她。她唯一一次交付出自己的真心便落得个如此下场。她恨，恨他为何如此薄凉！当她陷入无限的...