手机浏览器扫描二维码访问
第30章 计算机学院来抢人了（第2页）
（）;（） 邱奇在阿兰.图灵的论文基础上，建立了基本几何问题的算法不可解性和一阶逻辑中真命题全集的解法问题是不可解。
其中就包括非形式的能行可计算性，被称为丘奇-图灵。
“是的！”
叶非点头。
“但是这样，就将研究复杂化了。”
这就好似本来是单独的研究，再参杂其余的东西，将需要研究的内容扩大。
“您忘记哥德尔理论了？”
叶非道。
哥德尔理论，全称为哥德尔不完全性定理，有利于图灵机的研究。
周教授眼前一亮，兴奋的道：“是的，只要用哥德尔理论，就能将这两个结合，让两个问题成一个问题。”
周教授心中感叹，自己就从未体验过这么轻松的研究。
每次有问题，叶非都能很快找到思路。
没问题，叶非还是能提出思路。
和叶非做研究，一个字，爽，两个字，很爽，三個字，非常爽。
反正就是爽歪歪。
科研最怕的是有问题，但和叶非做科研，他从不怕有问题。
一个能快速帮忙解决任何问题的助手，他怕啥？
他啥都不怕。
他只想和叶非永远研究下去，把计算机所有难题都解决。
当然，这非常不现实。
这时，外面走进来一个人，道：“叶非在吗？”
叶非两人向声音传来方向看去，发现是一位中年男子。
叶非并不认识这人，但有些熟悉，好似在哪见过。
周教授漠然的道：“老许，你来做什么？”
中年男子瞪了一眼周教授道：“没大没小，你就这么和院长说话的。”
叶非这才想起来，原来是计算机学院的院长许景义，他就说怎么这么熟悉。
许景义看着叶非笑道：“这就是叶非吧！”
说着，走上来热情的笑道：“真是年轻有为啊，听说你最近创造出一种算法，竟然不需要写翻译和指引机制，这改变了算法常识。”
“最近我们学院，包括别的学校计算机学院的老师，都在说你，听的我耳朵都起老茧了。”
“我就是来看看你，看是什么样的计算机天才，能创造出这样的算法。”
叶非对这热情表情太熟悉了，他经常从数学学院院长的脸上看到这表情。
“许院长过奖了。”
叶非笑道。
“一点都不过奖！”
许院长道：“你们在做什么？”
“在研究图灵等价问题。”
（）;（） 许院长点头道：“这是一个好问题。”
塞壬之刃
简介关于塞壬之刃时隔五年，我终于回到了故乡柳城。爸妈问我这么久是去忙啥了，我没好意思告诉他们自己忙着跟魔物娘贴贴，还落网了。...
我的克苏鲁游戏
陈强重生了。 原以为会安安稳稳踏上人生巅峰的他，有一天突然现 在这个重生之后的世界里，克苏鲁神话里的诡秘之物好像真实存在。 不可名状的威胁，接...
超神宠兽店
作品简介有一刀斩杀黄金巨龙的低等骷髅种有身怀十大宠兽秘技的看门土狗更有自称为神的这是一个得到系统在破碎远古培育宠兽的故事。当荣光覆灭，黄泉逆流，昔日的存在将再...
甄嬛传之华妃倾城
简介关于甄嬛传之华妃倾城皇上，你害的世兰好苦呀？带着这一世的怨恨，年世兰撞墙而亡。都说不撞南墙不回头，可怜的华妃娘娘，偏偏撞了南墙，心不死机缘巧合，她又一次，重生到了年府这一世的年世兰，开粮铺，做丝绸生意，她和嫂嫂开了天下第一衣坊！赚的，盆满，钵满陕西大旱，颗粒无收，年世兰女扮男装，带头募捐粮食，救助灾区蜀地闹瘟疫，年世兰和大哥年羹尧，二哥年希尧一起，奔赴疫区，途中，偶遇大侠南木，还有鱼娘，他们一起，找偏方，研究医术，最后，在温实初的帮助下，找到祛除瘟疫的药方回京路上，灾民一路欢送，年羹尧和年世兰在途中救一卖身救母的女子，年世兰慷慨解囊，刚好被微服出巡的胤禛看到，于是，他暗中跟踪年世兄妹，年世兰本想这一世，能躲开胤禛，不曾想到，又一次被送进雍正王府，接下来，她将怎样开启，并改变她以后的后宫之旅，且慢慢随作者，走下去一看究竟...
暗黑向日葵
简介关于暗黑向日葵情不知所起，宠溺只为她一人。一物降一物，没有谁天生就是直男，只是未心之向。佚名市富商集团炎氏炎大公子因为一次大误会，一言不合就被自家老妈扔到部队改造。谁曾想他能力强悍进了国际刑警组织，成为了追狙队的队友。炎大公子内心表态女人就是心机，所以他对出现在他身边的女人十分冷漠无情。暗恋他的女队员都是始于他的魅力终于他的态度，没人能承受他直言不讳的恶劣打击。久而久之，硬汉炎队长在组织里就变成了惹不起还躲不起眼不见心不烦的对象。领导们一边看不惯他的冷漠脾性，一边又欣赏他的实力。下属兄弟们更是为他不懂人情世故而着急上火。初见黎影时，他可不惯她那祖宗脾气。谁知二见也没那么麻烦，三见这搭档不错，四见倾心而不自知。炎队有空去把她的底查查！6漓老大，干嘛要查她？炎队她是我祖宗我就不能查查？雷厉风行的炎队，高智商团宠的黎影，他俩为什么会遇上？又有怎样的故事？会有怎样的火花？她又凭什么能成为他的唯宠搭档？一对灵魂搭档又会一起经历什么？...
嫁给前男友他叔叔后
前男友劈腿后，我励志成为他小婶！前男友劈腿后，宋问盏便陷入了作风堪忧，私生活糜乱的传闻身边的男伴从清纯小奶狗，到国际男模再到当红顶流，应有尽有。直到某一天，有人惊愕的发现，她新换的那个男伴，长的怎么那么像她前男友的叔叔，商家那位权势滔天的神秘大佬？众人窃喜，感慨宋问盏这次是踢到了铁板上，纷纷等着看她笑话。商则寒发文谢谢关心，已领证。商言言握拳爸爸妈妈正在努力给我生妹妹！宋问盏拒绝没有玩过一百个男人的女人是不完整的。嫁给前男友他叔叔后...