什么是可以计算的，只要把不可以计算的全部排除，剩下的就是全部可以计算的了。
马丁·戴维斯《可计算性和不可解性》开始研究什么样的计算是可计算的。
那什么又是不可以计算的？
首当其冲的是停机问题。令Z表示一个简单图灵机。关于Z，有如下判定：
对于一个给定的瞬间描述α，判定是否存在一个以α开始的对Z的计算。也就是说，我们希望如果给定初始状态，那么Z会不会最终停止？这就是Z停机问题。
最后戴维斯说：“存在一种图灵机，其停机问题是递归无解的。”
同类推荐
热门推荐
这样思考，人生就不一样.2，22岁以后要拥有的22种心态
22岁以后的年轻人做事要心静。要自信，要勇敢，要有自己的目标，要不怕吃亏，但不是～味地吃亏。22岁以后的年轻人要不怕困难，要懂得感恩，要学会珍惜，要积极乐观，要知足，但更要知道自己的不足……命运掌握在自己手里，谁都会遇到困难和挫折，关键看你是努力克服，还是怨天尤人；谁都会有不不顺心的时候，关键看你是消极悲观，还是换个角度考虑问题；你现在的态度将决定你将来的高度。
我的失忆未婚妻
一场车祸，夺走了梦语所有的记忆，十二岁以前的事情全部遗忘，当然也包括那个指腹为婚的未婚夫，这可不行，霸道的他怎能就这样让自己从小喜欢到大的未婚妻就这样忘了他。且看霸道且冷酷的莫大少爷如何再次俘获模糊小未婚妻的心。情景一：“喂，你在干嘛”梦语无语的看着挡在自己前面的莫景辰“我告诉过你，我不叫喂，我叫莫景辰，你可以叫我景辰也可以叫我辰，或者是。。。。但是不许连名带姓的叫我，还有你的目光只能停留在我的身上，其他的任何男人都不行”莫景辰霸道的说道。“莫景辰，你有完没完啊，那是我哥，我看我哥也不行吗？”梦语偏偏不让他得逞。“你又忘了我教你的，要不要我再教你一遍呢？”说着就把头慢慢的偏向梦语，“好了，景辰，不要闹了，哥要生气了，我先和哥说几句话”梦语只能乖乖的求饶。“这才乖嘛”莫景辰满意的说道。“哼，霸道”梦语赏给莫景辰一记白眼。“我就是霸道”莫景辰搂着梦语的肩膀满意的说道。
快穿之女配萌萌哒系统很抠门
再次睁开眼睛，夏深发现自己躺在一张柔软的Kingsize大床上。头顶上是浅蓝色的墙纸和华丽的水晶吊灯，此刻正因为窗外投射进来的阳光散发出瑰丽的色彩。有些头疼的揉了揉自己的眉心，想起了自己失去意识之前……
