手机浏览器扫描二维码访问
第30章 计算机学院来抢人了（第2页）
（）;（） 邱奇在阿兰。图灵的论文基础上，建立了基本几何问题的算法不可解性和一阶逻辑中真命题全集的解法问题是不可解。
其中就包括非形式的能行可计算性，被称为丘奇-图灵。
“是的！”
叶非点头。
“但是这样，就将研究复杂化了。”
这就好似本来是单独的研究，再参杂其余的东西，将需要研究的内容扩大。
“您忘记哥德尔理论了？”
叶非道。
哥德尔理论，全称为哥德尔不完全性定理，有利于图灵机的研究。
周教授眼前一亮，兴奋的道：“是的，只要用哥德尔理论，就能将这两个结合，让两个问题成一个问题。”
周教授心中感叹，自己就从未体验过这么轻松的研究。
每次有问题，叶非都能很快找到思路。
没问题，叶非还是能提出思路。
和叶非做研究，一个字，爽，两个字，很爽，三個字，非常爽。
反正就是爽歪歪。
科研最怕的是有问题，但和叶非做科研，他从不怕有问题。
一个能快速帮忙解决任何问题的助手，他怕啥？
他啥都不怕。
他只想和叶非永远研究下去，把计算机所有难题都解决。
当然，这非常不现实。
这时，外面走进来一个人，道：“叶非在吗？”
叶非两人向声音传来方向看去，发现是一位中年男子。
叶非并不认识这人，但有些熟悉，好似在哪见过。
周教授漠然的道：“老许，你来做什么？”
中年男子瞪了一眼周教授道：“没大没小，你就这么和院长说话的。”
叶非这才想起来，原来是计算机学院的院长许景义，他就说怎么这么熟悉。
许景义看着叶非笑道：“这就是叶非吧！”
说着，走上来热情的笑道：“真是年轻有为啊，听说你最近创造出一种算法，竟然不需要写翻译和指引机制，这改变了算法常识。”
“最近我们学院，包括别的学校计算机学院的老师，都在说你，听的我耳朵都起老茧了。”
“我就是来看看你，看是什么样的计算机天才，能创造出这样的算法。”
叶非对这热情表情太熟悉了，他经常从数学学院院长的脸上看到这表情。
“许院长过奖了。”
叶非笑道。
“一点都不过奖！”
许院长道：“你们在做什么？”
“在研究图灵等价问题。”
（）;（） 许院长点头道：“这是一个好问题。”
别人还在奋斗，我划水成了老祖宗
简介关于别人还在奋斗，我划水成了老祖宗无cp女主独美爽文宠文扮猪吃老虎智商在线以为是个小村姑，没想到绑定复制系统，从此成了老祖宗。万年灵乳？复制！十品还魂丹？复制！仙品防御阵？复制！神级天一真水，复制！神级悟道树，复制！…十年，同批入门弟子还在筑基期，她已经渡劫期。二十年，同批弟子金丹期，她已经是大乘期圆满。五十年，同批弟子元婴期，她已经飞升上届。…玉水，这个万年灵乳？送你了！水儿，这个神品菩提果？师兄，菩提果开智，和你更配噢！送着送着，她就成神。你们怎么...
活动灾难制造机的前世情缘
...
重回八零，假装欠债脱离苦海
简介关于重回八零，假装欠债脱离苦海又胖又丑的楚漩重回到1983年的小渔村，这一世，她不想害沐辰泽家破人亡，直截了当拒绝了他那负责任式的提亲。老天给了她一个重活的机会，她要牢牢抓住。这辈子只想分家好好赶海过日子，没事减减肥，潜移默化教育小弟。坑姐的小弟楚沣变成了她的忠粉，这个她能理解，不过被夺初吻被拒婚的沐辰泽不是应该鄙视她吗？咦？怎么画风不对，难道遇上纯情型？...
末世来临，逼我成狠人
（日更新一万六以上）前世，陈然苦苦挣扎两个月，被同伴分食。重生却回到末世来袭的时候，没有堆积如山的生活品没有横扫千军的战斗力没有人人畏惧的热武器没有固若金汤的安全屋怎么办？怎么办？怎么办？五条腿的张瘸子，一天赚了一套商品房。吃人不吐骨头的莫家五个光棍，挑女人挑到腿软。而主角陈然苟在自己的集装箱里面，制作防身武器。末世来临，逼我成狠人...
穿越：王爷，快登基，我赶着回家
简介关于穿越王爷，快登基，我赶着回家白灵，现代一个平凡的医生，穿越千年，激活异能芯片，习得精湛的医术和高深的武功，横行于四国和江湖。轩辕宇，轩辕国凌王，武功深不可测。为人冷面寡言，却最重情义。白灵因完成任务需要，潜伏在轩辕宇身边，协助他解除各种危机，却不料被这个腹黑却又专情的人经常骚扰，上演了一场你进我退的爱情追逐戏灵儿，本王时时刻刻都在想你。想你就如心跳一般，除非心脏停止跳动，否则想你就不会停。某王摸着自己的胸膛，深情地说。白灵看着挡在自己面前的男子，不悦道那就让它别跳了！灵儿，听说你喜欢看美男，看本王一人就好。本王长得容貌俊美，身材好，还可以任你随便看。某王松开自己的衣衫，露出宽阔的胸膛，深情款款地看着她。白灵一挥手中的鞭子，怒吼道不要脸，快滚！看着她落慌而逃的背影，某王露出得意的笑容终有一天，本王会把你拐回去做凌王妃...
锦鲤福宝下凡被团宠，宠物成精了
简介关于锦鲤福宝下凡被团宠，宠物成精了胎穿萌宝团宠甜宠种田女主带法力古代言情空间修炼长风渡苏家十代气运换一女娃，女娃出生当日天降异象，久旱逢甘露三岁时额头长出一朵红莲印记，无知村长说她是不祥之人，将她献祭，仙女怒，一朝觉醒神力，无知村长被雷劈死…自此老苏家旺了，靠种田暴富天天吃肉村民都馋哭了！苏思淼可爱至极，皇帝陛下想拐走可爱的苏思淼当儿媳权贵们看着苏淮瑾的女儿羡慕的眼泪直流苏思淼人家才只是贡献了一点点力量啦其实我啥都没干。眼看小姑娘越来越出色，越出落的漂亮，引得一众爱慕者出来，某太子乱吃飞醋，彻底激怒，眼神横扫之处，尔等敢觊觎？皇帝陛下淮瑾，给你女儿带进宫给朕看看！苏淮瑾不行，陛下别打我女儿主意。轩辕澈都不许跟我抢，那是我未来媳妇儿。哥哥们那是我妹妹，你不许惦记，否则打爆你的头…...