什么是可以计算的，只要把不可以计算的全部排除，剩下的就是全部可以计算的了。
马丁·戴维斯《可计算性和不可解性》开始研究什么样的计算是可计算的。
那什么又是不可以计算的？
首当其冲的是停机问题。令Z表示一个简单图灵机。关于Z，有如下判定：
对于一个给定的瞬间描述α，判定是否存在一个以α开始的对Z的计算。也就是说，我们希望如果给定初始状态，那么Z会不会最终停止？这就是Z停机问题。
最后戴维斯说：“存在一种图灵机，其停机问题是递归无解的。”
同类推荐
热门推荐
邪王的懒妃
懒人系列终回本：常言，偷得浮生半日懒。当不能偷得浮生又想懒时怎么办？当然是光明正大地懒啦！从小懒到大的庄书兰就是这样想的！当前世成为记忆时，庄书兰更是决定将这懒人做到底。管他冷嘲热讽也好，闲言碎语也罢，她庄书兰不会因此而改变！且看懒人如何笑傲官场沉浮，冷看朝野纷乱！————情景一：“美男，来，给本姑娘笑一个！”一手托起某男精致的下巴，拇指轻刮着脸颊，“啧啧，这肌肤，比姐姐我的还要好！哎！平日里用的是哪个牌子的保养品啊？”……某男呆状，第一次有种叫耻辱情绪袭上了心头——他居然被一个还未并笄的小女孩子给调戏了！情景二：“跟了本宫，他日你就是一国之母，光宗耀祖！”某男拦下某女，半带着威胁地喝着。“光宗耀祖这件事，不归臣管，你去找别人吧！”轻弹去不知何时落在肩膀上的树叶儿，微微一笑，“时辰不早了，臣得回府休息了！”情景三：“你想从这游戏中退出？”媚眼一抛，却让人不寒而颤。“我还有权力说不吗？”某女惨淡一笑，带着狡黠，“既然是你将我带入这游戏中，你怎么可以置身事外？所以，我们成亲吧！”情景四：“……新娘请下轿！”第一声，无人答应……“请新娘下轿！”第二声，还是无人答应……“请新娘子下轿！”直到第三声时，轿里忽地传来慵懒的声音，“呀！我怎么睡着了？四儿，现在什么时辰？为何迎亲的轿子还不来？”————〖精采多多，敬请期待。〗————懒人系列：总裁的懒妻帝君的懒后懒凰天下风流佳人系列：风流女画师新坑：轻松+现代+都市+网游+青梅+竹马=恋上恶男友情链接：逍遥王爷的穿越妃本色出演绝焰煞神
绝世盛宠废柴小姐要逆天
她，二十一世纪的杀手，最优秀的药剂师，却因为在最后一次任务里被最信任的人背叛死亡，冷眸睁开，淡然一笑，渣男父亲？白莲花姐妹？看她搅的府邸鸡飞狗跳，只是为何传闻狂妄不羁，高冷酷霸拽，从不近女色的邪王却一直接近他，还承诺要给她她想要的一切，给她他所有的宠爱……