手机浏览器扫描二维码访问
第30章 计算机学院来抢人了（第2页）
（）;（） 邱奇在阿兰。图灵的论文基础上，建立了基本几何问题的算法不可解性和一阶逻辑中真命题全集的解法问题是不可解。
其中就包括非形式的能行可计算性，被称为丘奇-图灵。
“是的！”
叶非点头。
“但是这样，就将研究复杂化了。”
这就好似本来是单独的研究，再参杂其余的东西，将需要研究的内容扩大。
“您忘记哥德尔理论了？”
叶非道。
哥德尔理论，全称为哥德尔不完全性定理，有利于图灵机的研究。
周教授眼前一亮，兴奋的道：“是的，只要用哥德尔理论，就能将这两个结合，让两个问题成一个问题。”
周教授心中感叹，自己就从未体验过这么轻松的研究。
每次有问题，叶非都能很快找到思路。
没问题，叶非还是能提出思路。
和叶非做研究，一个字，爽，两个字，很爽，三個字，非常爽。
反正就是爽歪歪。
科研最怕的是有问题，但和叶非做科研，他从不怕有问题。
一个能快速帮忙解决任何问题的助手，他怕啥？
他啥都不怕。
他只想和叶非永远研究下去，把计算机所有难题都解决。
当然，这非常不现实。
这时，外面走进来一个人，道：“叶非在吗？”
叶非两人向声音传来方向看去，发现是一位中年男子。
叶非并不认识这人，但有些熟悉，好似在哪见过。
周教授漠然的道：“老许，你来做什么？”
中年男子瞪了一眼周教授道：“没大没小，你就这么和院长说话的。”
叶非这才想起来，原来是计算机学院的院长许景义，他就说怎么这么熟悉。
许景义看着叶非笑道：“这就是叶非吧！”
说着，走上来热情的笑道：“真是年轻有为啊，听说你最近创造出一种算法，竟然不需要写翻译和指引机制，这改变了算法常识。”
“最近我们学院，包括别的学校计算机学院的老师，都在说你，听的我耳朵都起老茧了。”
“我就是来看看你，看是什么样的计算机天才，能创造出这样的算法。”
叶非对这热情表情太熟悉了，他经常从数学学院院长的脸上看到这表情。
“许院长过奖了。”
叶非笑道。
“一点都不过奖！”
许院长道：“你们在做什么？”
“在研究图灵等价问题。”
（）;（） 许院长点头道：“这是一个好问题。”
穿成炮灰小师妹后我把满门揍哭了
凌渺睁眼便现自己穿书成了恋爱脑修仙文里的废物炮灰女配，下品杂灵根，还身中奇毒，除了力气大一无是处。为了躺平摆烂，她当场选择逃离女主所在的宗门，逃得越远越好。没成想却逃进了另一个女主的舔狗窝，满门上下都等着为女主抛头颅洒热血。本来只想找个角落安安静静地当她的小废物，奈何师尊和师兄们都太好了，她还是决定浅浅拯救一下。温柔大师兄对女主一见倾心，甘愿成为她的移动丹药库。大师兄她一落泪，我就忍不住为她倾倒。凌渺淡定把人绑了，找人对他哭了一整天，从此一看到女主落泪就应激。病娇二师兄为救女主强行突破却被打断，走火入魔。二师兄吴道子算到我今日有桃花劫，我会遇见一个女人，并为她所伤。凌渺优雅为二师兄套上麻袋就是一顿暴打吴道子好厉害，居然连我今天会偷袭你都算到了！呆萌四师兄为女主挡了妖王的致命一击，惨死于女主怀中。凌渺直接把人揣进妖兽窝，贴心炸了入口前还送他一句话恋爱脑，死罪。众人她一个下品杂灵根的小废物凭什么这么狂？凌渺嘿嘿一笑我的力气大呀！铁拳之下，众生平等！美人师尊和众师兄丧系小师妹疯疯癫癫的怎么办？算了，捡都捡回来了，宠着吧。...
《她携财产离婚，前夫全球追妻》商满月霍璟博
她携财产离婚，前夫全球追妻商满月霍璟博商满月霍璟博霍璟博商满月霍璟博商满月她携财产离婚，前夫全球追妻商满月霍璟博...
恐怖女主播
我是个网红女主播，专门直播见鬼恐怖女主播...
加一个，我不太会打
世纪初，OK横扫千军活塞蓝领无敌马刺单数年必胜太阳快打旋风，篮球世界百家争鸣。李昂微微一笑，看着各位大哥加一个吧，我不太会打只是这个打，有点不太正经普通群459497173...
闪婚也甜蜜，嫁个糙汉队长生崽崽
简介关于闪婚也甜蜜，嫁个糙汉队长生崽崽三十岁的刑警队长江澈颜值不输明星，一身肌肉块。然而，警局内部有传言江队对女人没兴趣。后来，江队的行为越来越反常。有一天，同事们突然杀到江队家敲门，结果看到光着膀子系着粉色围裙的江澈拿着铲子出来开门有话快说有屁快放，媳妇等着吃饭呢。二十岁的乔鸢刚毕业工作就闪婚，而且还是嫁给一个比自己大十岁的老男人，医院里的同事得知她老公是穷警察，经常不着家，就都劝乔鸢趁着年轻有姿色，赶紧离婚吧，找个有钱的富二代才靠谱。另一边，警队的人见到乔鸢后大为震惊，也劝江澈那么年轻漂亮的姑娘，心思肯定不会留在你身上，趁着你俩还没孩子，赶紧离婚吧，找个同龄温柔贤惠的才会过日子。可是后来，大家现，他们生了一胎不久又生二胎，接着又备孕三胎乔鸢挺喜欢孩子的，但是生娃之前一直担心养不起，结果她生完大宝还没出院，江澈的爷爷就送给她一套价值过亿的豪宅，还宣布这个孩子是豪门继承人排雷感情流，主打男女主日常小甜饼，关于男女主职业相关内容都是虚构，请勿较真。...
康代表最新小说
单项奔赴的三年，扁栀把自己活成了一个笑话。所以，当欧墨渊让她在事业跟离婚之间二选一时，扁栀毫不犹豫的选择了离婚，从此她要做回那个理智集美貌与才华于一身的扁氏医药继承人。后来。前夫携全家老少跪求复婚。而商业霸主是她亲爹，扁氏二十三代国手医师是她亲妈，哥哥是黑白通吃宠妹妹无底线的黑腹总裁，弟弟是娱乐圈霸主。嗯还有个不好好在娱乐圈混就要回家继承千亿家产，眼高各位书友要是觉得康代表最新小说还不错的话请不要忘记向您QQ群和微博里的朋友推荐哦！...