手机浏览器扫描二维码访问
但丘奇-图灵,这里的图灵,不是计算机之父艾伦·图灵,而是英格兰数学家阿兰·图灵。
();() 邱奇在阿兰.图灵的论文基础上,建立了基本几何问题的算法不可解性和一阶逻辑中真命题全集的解法问题是不可解。
其中就包括非形式的能行可计算性,被称为丘奇-图灵。
“是的!”叶非点头。
“但是这样,就将研究复杂化了。”
这就好似本来是单独的研究,再参杂其余的东西,将需要研究的内容扩大。
“您忘记哥德尔理论了?”叶非道。
哥德尔理论,全称为哥德尔不完全性定理,有利于图灵机的研究。
周教授眼前一亮,兴奋的道:“是的,只要用哥德尔理论,就能将这两个结合,让两个问题成一个问题。”
周教授心中感叹,自己就从未体验过这么轻松的研究。
每次有问题,叶非都能很快找到思路。
没问题,叶非还是能提出思路。
和叶非做研究,一个字,爽,两个字,很爽,三個字,非常爽。
反正就是爽歪歪。
科研最怕的是有问题,但和叶非做科研,他从不怕有问题。
一个能快速帮忙解决任何问题的助手,他怕啥?
他啥都不怕。
他只想和叶非永远研究下去,把计算机所有难题都解决。
当然,这非常不现实。
这时,外面走进来一个人,道:“叶非在吗?”
叶非两人向声音传来方向看去,发现是一位中年男子。
叶非并不认识这人,但有些熟悉,好似在哪见过。
周教授漠然的道:“老许,你来做什么?”
中年男子瞪了一眼周教授道:“没大没小,你就这么和院长说话的。”
叶非这才想起来,原来是计算机学院的院长许景义,他就说怎么这么熟悉。
许景义看着叶非笑道:“这就是叶非吧!”
说着,走上来热情的笑道:“真是年轻有为啊,听说你最近创造出一种算法,竟然不需要写翻译和指引机制,这改变了算法常识。”
“最近我们学院,包括别的学校计算机学院的老师,都在说你,听的我耳朵都起老茧了。”
“我就是来看看你,看是什么样的计算机天才,能创造出这样的算法。”
叶非对这热情表情太熟悉了,他经常从数学学院院长的脸上看到这表情。
“许院长过奖了。”叶非笑道。
“一点都不过奖!”许院长道:“你们在做什么?”
乔南和梁非城的爱情角逐就是我爱你的时候,你想杀了我,我不爱你的时候,你偏偏缠着我。三年前,乔南被迫顶罪,留在梁非城身边赎罪。她被夺去自由,囚禁在梁公馆成为最下等的佣人。乔南以为能争取到自由的那一天,可转身就是梁非城将她送进疯人院。铺天盖地是他要和别的女人订婚的消息。大雨倾盆,乔南抱着死去的亲人,心死如灰...
洪荒金仙遍地走,太乙不如狗。大道不显,天道现,圣人之下,皆为蝼蚁。圣者大战,汝等退避。鸿均圣人为帅,准圣为将,大罗为兵,随我出征那一日,那个自称神王的家伙,第一次感受到了被支配的感觉。鸿钧道祖出洪荒后!洪荒世界空虚!一支支古老的势力!开始崛起…...
优质精品图书推荐...
简介关于逻辑陷阱我在人性游戏中续命人性?抱歉,我没有!我只想活下去!癌症晚期的余途,意外进入神秘的神笼空间分球博弈囚徒困境谁是卧底只要通关游戏,就可以续命!为了活下去,去Tmd人性!慢慢的,余途自己都不知道,到底是为了活下去,还是单纯的为了刺激...
三流小说家穿越到一个同人漫画家沈昕的身上,得了三枚漫画胶囊和一个没有血缘关系的妹妹。有妹妹要养活的他,只能使用漫画胶囊,开始踏上漫画家的征程。目标,攻略顶级漫画家!...
简介关于快穿世上无难事,只要肯疯云姜不知道自己是谁,遇到系统的时候她还是一缕游魂。因为对身世太好奇,她任务做的很赶时间,虐渣虐的简单粗暴,惹她的人,砍了就完了。贱爹贱妈看不好贱孩还倒打一耙?弄死吧,死了就不用担心崽崽受伤了。人渣师父灭她族人还想挖她心脏?干脆一剑封喉,还有那啥道德绑架的师兄弟,统统打包送地狱。被拐进深山老林?没监控的快乐窝,一刀一个把全村都送走。成了虐文里的恶毒工具人原配?笑死,离什么婚?丧偶后拿着亿万家产吃喝玩乐不香吗?心软救下的落魄少年竟然是异族余孽还夺了权?直接弄回来砍断手脚扔山里喂狼,以绝后患。系统是不是有点简单粗暴了,要么咱攻于心计一点?云姜我赶时间,直接杀了,都杀了!!!于是她一刀一个,任务做的不亦乐乎,身世也逐渐浮出了水面...