手机浏览器扫描二维码访问
而他的学生正是艾伦·图灵,计算机之父。
但丘奇-图灵,这里的图灵,不是计算机之父艾伦·图灵,而是英格兰数学家阿兰·图灵。
邱奇在阿兰.图灵的论文基础上,建立了基本几何问题的算法不可解性和一阶逻辑中真命题全集的解法问题是不可解。
其中就包括非形式的能行可计算性,被称为丘奇-图灵。
“是的!”叶非点头。
“但是这样,就将研究复杂化了。”
这就好似本来是单独的研究,再参杂其余的东西,将需要研究的内容扩大。
“您忘记哥德尔理论了?”叶非道。
哥德尔理论,全称为哥德尔不完全性定理,有利于图灵机的研究。
周教授眼前一亮,兴奋的道:“是的,只要用哥德尔理论,就能将这两个结合,让两个问题成一个问题。”
周教授心中感叹,自己就从未体验过这么轻松的研究。
每次有问题,叶非都能很快找到思路。
没问题,叶非还是能提出思路。
和叶非做研究,一個字,爽,两个字,很爽,三个字,非常爽。
反正就是爽歪歪。
科研最怕的是有问题,但和叶非做科研,他从不怕有问题。
一个能快速帮忙解决任何问题的助手,他怕啥?
他啥都不怕。
他只想和叶非永远研究下去,把计算机所有难题都解决。
当然,这非常不现实。
这时,外面走进来一个人,道:“叶非在吗?”
叶非两人向声音传来方向看去,发现是一位中年男子。
叶非并不认识这人,但有些熟悉,好似在哪见过。
周教授漠然的道:“老许,你来做什么?”
中年男子瞪了一眼周教授道:“没大没小,你就这么和院长说话的。”
叶非这才想起来,原来是计算机学院的院长许景义,他就说怎么这么熟悉。
许景义看着叶非笑道:“这就是叶非吧!”
说着,走上来热情的笑道:“真是年轻有为啊,听说伱最近创造出一种算法,竟然不需要写翻译和指引机制,这改变了算法常识。”
“最近我们学院,包括别的学校计算机学院的老师,都在说你,听的我耳朵都起老茧了。”
“我就是来看看你,看是什么样的计算机天才,能创造出这样的算法。”
叶非对这热情表情太熟悉了,他经常从数学学院院长的脸上看到这表情。
面壁者:我建议人类摆烂 一品神卜 大明:我的祖父是朱元璋 暴君和我互穿后,四个前任红了眼 墨羽青书 陆总的氪金小甜妻 梦幻西游我要搬空藏宝阁 异世穿越帝国 全球每月一个新规则 玩转大明帝国 斗罗无尽鬼域 重启人生:我的1996 开局圣人修为,女帝成了前妻 重生之绝世仙尊 美利坚大帝 被疯批王爷丢乱葬岗,他却变我舔狗了 人在星际,开荒种地 智者不入爱河,王妃拒绝负责 龙王传说我从斗罗大陆打到大神圈 王妃又上公堂去了
云鸢是星际人,收联邦基因组委托穿越位面,靠生孩子收集人类初始基因。①下堂臣妻与不能人道皇帝(男洁女不洁)√②与重生女主换夫后我一胎三宝(双洁)③伪江湖篇,五个孩子五个爹(男洁)④男友失忆另有所爱,我也失忆√(男洁)⑤和亲假公主千娇百媚,完爆玛丽苏穿越女主√⑥七零后娘要改嫁(双洁)⑦与女主容貌相似的平民女子√⑧...
面对权力与金钱,美色与诱惑,有的人倒下了,有的人妥协了,有的人随波逐流,有的人艳羡不已。而真正的智者是这样的一些人,他们随机应变,左右逢源,否极则泰,小往大来,严速同志从一个政府机关小职员坐冷板凳开始,巧妙运用权术官谋世情,步步高升,踏上仕途巅峰!利用一切有利于自己的因素,实现自己的政治理想,秉公执法,不以权谋私,毫不泄气,奋勇前进。210万人口的农业大县因为县长腐败,腐败问题权力寻租,被双规被双规,,严速出任山南县代理县长。这里是严速的发迹之地,这里有他第一次从政时的经验积累,也有他心...
关于星穹铁道我也是开拓者苏心穿越到未知世界,带着系统默默发展三年,都快称霸整颗星球了才发现这是崩铁宇宙。而自己的师傅竟然是其他列车的开拓者,在师傅的推荐下,苏心成为了星穹列车的开拓者。也许开拓之旅很有趣,但是了解这个宇宙的隐秘更为有趣。...
关于兽世生子猫系美人被大佬们追宠天煞孤星的禾芊芊魂穿到兽世。成为金猫部落的雌性。原主貌丑,身体瘦弱矮小,发育不良,孤苦无依。到手一把烂牌。不怕不怕。幸亏绑定兽世生存系统,送动物亲和力赋能,送好孕生子大礼包。禾芊芊果断选择隔壁英俊阳光的兔狲兽人,当自己夫君。日子一天天红火,她脸上的脓包好了,长高了,更美了。突然有一天,被预测无生育能力的她,怀崽了。亲和力赋能Buff的加持,她妥妥的蜕变成猫系万人迷美人。撒丫子奔向好日子搞基建,种田,织布,一样样来。泠野,傲娇的猞猁兽人,孤冷清傲,为她折了腰。戬泽杀伐霸气的翼虎兽人,秒变虎斑猫,腻歪撒娇什么,宠物想升级当夫君?你咋不上天?有一天禾芊芊嘿嘿真香,路虎有,私人飞机也有,真的能上天。夜千暮霸道的疯批太攀蛇兽人,冷漠凉薄却对为她上了心忠犬雪鸮擎羽芊芊,你快看看我,毛秃了我就不可爱了吗?会幻术的人鱼冥宫谣妖孽傲娇的九尾狐狐翎,耿直的大熊猫兄弟,趾高气昂的凤凰甚至,还有个琅树藤,成了精的上古神树禾芊芊装柔弱你们不要过来啊!...
如果你一觉醒来,发现自己的所以为的世界不是你的世界当你使用着他人的身体,承受着不属于你的痛苦,你会怎么办?阿莱卡花费了二十年的时间,终于回到了真正属于她的家人身边。但找到他们只是第一步。渴望家人的年轻女孩不知道该如何向自己这些能干且普通(?)的家人们坦白。关于她患有分离性身份识别障碍,身体里除了她还有六位其他的同居人这件事。作为主人格的阿莱卡几乎没有任何关于过去的创伤记忆,她的某个人格曾就这个事情大声嘲笑其他人格是生怕小宝宝碎掉的鸡妈妈。她曾也认为自己有些被过度保护了,直到她直面了哥谭的恐惧。脸上涂着劣质油彩的反派将嘴巴咧出几乎超过人类极限的角度,带着浓厚的血腥味和不知名刺鼻的诡异香气呼唤她是小鸟。等她再次恢复意识的时候已经躺在了安全的医院中,身边围绕着她的家人。在父亲的安慰声中,阿莱卡绷不住的大哭起来。也因此错过了其他兄弟复杂的神情。哥谭的黑暗骑士在将自己流落在外二十年的女儿认回家后,非常纠结如何给予这个有着不幸过去的女儿关爱。经过他的调查和观察,严谨的百特曼认为自己的亲生女儿患有严重的PTSD。但他万万没想到,一切远不止这么简单。他的女儿患有DID,分裂出了多个人格以谋求生存。而他当然知道这意味着什么。他的孩子,在他看不见触及不到的角落,被人狠狠伤害。又一次的。他曾在安全可控的情况下和这些人格有过交集,和平相处了不短的时间。哪怕其中有些人格在面对危险的时候稍微有些过激,但也是无法指摘的条件反射。但他万万没想到,自己女儿的人格们能有朝一日一枪崩了他最大的敌人。合法自卫。那个人格丢下了手中的枪,他甚至还主动留存了视频证据,他真的,我哭死。声音平淡,毫无波动。魔蝎小说...
关于墨染云烟,穿书女配救反派没有系统没有金手指,她唯一有的就是知道剧情。一遭火灾她穿越成她看过的电视剧里的恶毒女配,在这个仙侠世界里可比二十一世纪活的舒服多了。为了她的咸鱼生活不被打破,保住自己小命她要避开男女主,顺便救一下她的意难平。看电视剧的时候她就对那温润如玉的反派男二喜欢的不得了,那么清清冷冷的贵公子以前是没机会现在既然都摆到面前了哪有不拿下的道理。可那高贵清冷的太子殿下好像没有心,居然送她最讨厌的毛毛虫还放到她床上。她对他的美颜滤镜瞬间碎了,算了她只要救她自己就可以了。美男嘛又不是找不到。当她真准备和别人订婚时,那之前还不为所动的清冷公子却乱了心魔。订婚当天便把她撸了去说她未婚夫是花花公子不值得托付,当时也是胆大她居然踹了反派逃了出去,从此她逃他追,她插翅难飞...