();() 邱奇在阿兰.图灵的论文基础上,建立了基本几何问题的算法不可解性和一阶逻辑中真命题全集的解法问题是不可解。
其中就包括非形式的能行可计算性,被称为丘奇-图灵。
“是的!”
叶非点头。
“但是这样,就将研究复杂化了。”
这就好似本来是单独的研究,再参杂其余的东西,将需要研究的内容扩大。
“您忘记哥德尔理论了?”
叶非道。
哥德尔理论,全称为哥德尔不完全性定理,有利于图灵机的研究。
周教授眼前一亮,兴奋的道:“是的,只要用哥德尔理论,就能将这两个结合,让两个问题成一个问题。”
周教授心中感叹,自己就从未体验过这么轻松的研究。
每次有问题,叶非都能很快找到思路。
没问题,叶非还是能提出思路。
和叶非做研究,一个字,爽,两个字,很爽,三個字,非常爽。
反正就是爽歪歪。
科研最怕的是有问题,但和叶非做科研,他从不怕有问题。
一个能快速帮忙解决任何问题的助手,他怕啥?
他啥都不怕。
他只想和叶非永远研究下去,把计算机所有难题都解决。
当然,这非常不现实。
这时,外面走进来一个人,道:“叶非在吗?”
叶非两人向声音传来方向看去,发现是一位中年男子。
叶非并不认识这人,但有些熟悉,好似在哪见过。
周教授漠然的道:“老许,你来做什么?”
中年男子瞪了一眼周教授道:“没大没小,你就这么和院长说话的。”
叶非这才想起来,原来是计算机学院的院长许景义,他就说怎么这么熟悉。
许景义看着叶非笑道:“这就是叶非吧!”
说着,走上来热情的笑道:“真是年轻有为啊,听说你最近创造出一种算法,竟然不需要写翻译和指引机制,这改变了算法常识。”
“最近我们学院,包括别的学校计算机学院的老师,都在说你,听的我耳朵都起老茧了。”
“我就是来看看你,看是什么样的计算机天才,能创造出这样的算法。”
叶非对这热情表情太熟悉了,他经常从数学学院院长的脸上看到这表情。
“许院长过奖了。”
叶非笑道。
“一点都不过奖!”
许院长道:“你们在做什么?”
“在研究图灵等价问题。”
();() 许院长点头道:“这是一个好问题。”
...
前世,镇国公府,一朝倾塌灰飞烟灭。此生,嫡长女白卿言重生一世,绝不让白家再步前世后尘。白家男儿已死,大都城再无白家立锥之地?大魏国富商萧容衍道百年将门镇国公府白家,从不出废物,女儿家也不例外。后来白家大姑娘,是一代战神,成就不败神话。白家二姑娘,是朝堂新贵忠勇侯府手段了得的当家主母。白家三姑娘,是天下第二富商,翻手为云覆手为雨的商界翘楚。白卿言感念萧容衍上辈子曾帮她数次,暗中送了几次消息。雪夜,被堵城外。萧容衍白姑娘三番四次救萧某于水火,是否心悦萧某?白卿言萧公子误会。萧容衍萧某三番四次救白姑娘于水火,白姑娘可否心悦萧某?白卿言...
胸口装着ed灯外面套着铁壳满天乱飞的花花公子,穿着蒙面紧身衣在高楼大厦间不停荡秋千的四眼宅男,为了找回小右变成蜥蜴的断臂医生,在北极躺了七十年还身材健美的过期冷鲜,背上插着四根机械触手假装章鱼的秃头...
核废水排放后,全球进入迷雾时代!95的人类全部死亡!迷雾虫灾异变无限台风酸雨极夜严寒,然后进入零下70度的冰河纪元。重生回到末世前一个月,萧凡觉醒增幅系统,疯狂囤积物资。秩序崩塌,两包泡面就能让绝美女明星躺下喊爸爸。别人又冷又饿冻成狗,萧凡搂着绝色美女睡觉。他和火系狼犬组队,一步步从安全屋开始,将安全屋打造成末世最大领主帝国!...
三十年前,安欣患了一种怪病,她听从了医生的建议,成为了冷冻人,并且大胆的捐出了自己的六个卵宝宝。三十年后,她终于苏醒,还意外得到灵泉空间,安欣回家继承了祖业。就在她决定安安稳稳过日子的时候,六个儿子找上门...
某天,宋书航意外加入了一个仙侠中二病资深患者的交流群,里面的群友们都以道友相称,群名片都是各种府主洞主真人天师。连群主走失的宠物犬都称为大妖犬离家出走。整天聊的是炼丹闯秘境炼功经验啥的...