手机浏览器扫描二维码访问
第30章 计算机学院来抢人了（第2页）
而他的学生正是艾伦·图灵，计算机之父。
但丘奇-图灵，这里的图灵，不是计算机之父艾伦·图灵，而是英格兰数学家阿兰·图灵。
邱奇在阿兰.图灵的论文基础上，建立了基本几何问题的算法不可解性和一阶逻辑中真命题全集的解法问题是不可解。
其中就包括非形式的能行可计算性，被称为丘奇-图灵。
“是的！”叶非点头。
“但是这样，就将研究复杂化了。”
这就好似本来是单独的研究，再参杂其余的东西，将需要研究的内容扩大。
“您忘记哥德尔理论了？”叶非道。
哥德尔理论，全称为哥德尔不完全性定理，有利于图灵机的研究。
周教授眼前一亮，兴奋的道：“是的，只要用哥德尔理论，就能将这两个结合，让两个问题成一个问题。”
周教授心中感叹，自己就从未体验过这么轻松的研究。
每次有问题，叶非都能很快找到思路。
没问题，叶非还是能提出思路。
和叶非做研究，一個字，爽，两个字，很爽，三个字，非常爽。
反正就是爽歪歪。
科研最怕的是有问题，但和叶非做科研，他从不怕有问题。
一个能快速帮忙解决任何问题的助手，他怕啥？
他啥都不怕。
他只想和叶非永远研究下去，把计算机所有难题都解决。
当然，这非常不现实。
这时，外面走进来一个人，道：“叶非在吗？”
叶非两人向声音传来方向看去，发现是一位中年男子。
叶非并不认识这人，但有些熟悉，好似在哪见过。
周教授漠然的道：“老许，你来做什么？”
中年男子瞪了一眼周教授道：“没大没小，你就这么和院长说话的。”
叶非这才想起来，原来是计算机学院的院长许景义，他就说怎么这么熟悉。
许景义看着叶非笑道：“这就是叶非吧！”
说着，走上来热情的笑道：“真是年轻有为啊，听说伱最近创造出一种算法，竟然不需要写翻译和指引机制，这改变了算法常识。”
“最近我们学院，包括别的学校计算机学院的老师，都在说你，听的我耳朵都起老茧了。”
“我就是来看看你，看是什么样的计算机天才，能创造出这样的算法。”
叶非对这热情表情太熟悉了，他经常从数学学院院长的脸上看到这表情。
玩转大明帝国 梦幻西游我要搬空藏宝阁 斗罗无尽鬼域 重生之绝世仙尊 智者不入爱河，王妃拒绝负责 被疯批王爷丢乱葬岗，他却变我舔狗了 大明：我的祖父是朱元璋 暴君和我互穿后，四个前任红了眼 一品神卜 面壁者：我建议人类摆烂 龙王传说我从斗罗大陆打到大神圈 人在星际，开荒种地 墨羽青书 异世穿越帝国 全球每月一个新规则 美利坚大帝 开局圣人修为，女帝成了前妻 王妃又上公堂去了 陆总的氪金小甜妻 重启人生：我的1996
穿越贫困县女县令
关于穿越贫困县女县令（女强，基建，爽文，无系统，稳定更新）楚辞身为21世纪理科博士，一朝穿越到龙腾王朝。刚来就遭受楚家大变，被右相陷害，一朝从京城贵女变成接替父辈官职的小小县令。松阳县。县丞安比槐见过大人。松阳县百姓终于有人管我们了！楚辞握着拳头，总有一日她会回京报仇。在松阳县先挖水渠，造水车，制肥料。接着因地制宜，在河里人工养殖河蚌珍珠。珍珠批量出世，松阳县从无人问津在一起，一跃成为龙腾王朝炙手可热的地方。房价一度可以和京城媲美。你想把我埋没，却不知我是颗种子。（一切剧情按照人物性格来走，作者只不过把他们的故事写出来而已，至于有没有CP，要看后期楚辞自己的意愿）...
战狱：我国主的身份让世界颤抖
关于战狱我国主的身份让世界颤抖他生于京城聂氏豪门，但却被视为孽种，为了生存，他含恨流落至硝烟战火的南荒！十年后，他战功赫赫，成为万军统帅，权势滔天，他带着恩仇热血而归！复仇的路上，没有一个敌人是无辜的！强龙回归，谁与争锋！爷爷，你傲骨满满，不可一世，但我早晚让你低下那高贵的头颅，对我母亲下跪道歉！...
封神：七彩锦鲤，微末崛起
关于封神七彩锦鲤，微末崛起夏渊穿越洪荒，成了一只七彩锦鲤。实力弱小的他艰难求生，直至觉醒吞噬系统。通天好徒儿，多吃点...
路人，但是全员白月光
本文又名金妙因为创业失败，穿越到了看过的一本团宠文里，成为了男主家…分家的二姐？一个纯纯路人甲的角色。分家异常混乱，亲妈早逝，亲爹玩消失，家里大大小小七个弟弟妹妹，唯一的亲哥还双腿残疾。金妙OK，这个家只能靠我了。本想一路当路人逆袭创业重操旧业，远离剧情，却没想一个接一个多出了十五个未婚夫，送钱又送人地阻止她创业...
一吻定情：冷少的傲娇妻
关于一吻定情冷少的傲娇妻柳家大小姐柳倾颜，商业奇才，却因一次意外与李家二少爷李逸尘结下梁子。李逸尘，看似逗比，实则腹黑，对柳倾颜展开了一系列的报复。然而，在相处过程中，两人逐渐发现彼此的真心，最终携手战胜困难，收获幸福。...
平凡女孩霸总爱
关于平凡女孩霸总爱小型广告公司的设计助理，梦想成为优秀设计师的李悠然遇上公司新上任的创意总监，神秘富豪在青梅竹马间应该如何选择呢？...