什么是可以计算的，只要把不可以计算的全部排除，剩下的就是全部可以计算的了。
马丁·戴维斯《可计算性和不可解性》开始研究什么样的计算是可计算的。
那什么又是不可以计算的？
首当其冲的是停机问题。令Z表示一个简单图灵机。关于Z，有如下判定：
对于一个给定的瞬间描述α，判定是否存在一个以α开始的对Z的计算。也就是说，我们希望如果给定初始状态，那么Z会不会最终停止？这就是Z停机问题。
最后戴维斯说：“存在一种图灵机，其停机问题是递归无解的。”
同类推荐
田园密宠：娇娘子很彪悍
一个新世纪富二代女博士，被自己妹妹陷害，其妹一夜间继承家业，众叛亲离，老公与妹妹有奸情，还有一个三岁儿子，婆婆嘲笑，女博士？搞农业的女博士？开玩笑，在城里种地，种楼顶吗？庄家汉都比你会种地，白吃白喝，你怎么不去死！一夜间失去所有，实验室突发大火，为了抢自己从地里挖出来还没研究的豆子，还好还好，火势凶猛，眼看一块石头砸下来，看来这就是命。一朝穿越成农家女，拥有异空间，采药种粮，上山打猎，下河摸鱼，斗恶婆，打地主，调戏美男，初见美男受伤，救美男下手不稳，把美男衣服震个稀碎，美男脸红道，姑娘如此彪悍可是嫁不出去的。姑娘救我性命，愿以身相许……娘子，为夫等你许久了，被窝已经给你暖好，来就寝吧……
热门推荐
凝血皇冠
皇帝去世了。这五个字从“苏斯兰的白狼”嘴里轻描淡写地吐出来。10岁的阿尔文看着在白狼身后晃荡着的院门，虽然什么都没想，眼泪却一颗颗滚下来。“最忠心的竟然是你吗？你才见过皇帝几面？”海军统领的儿子格列博在这个时刻却如常微笑着。“也难怪你哭。老皇帝病死了却没有新皇帝，谁知道我们会怎样呢？我父亲恐怕不再是统领，你父亲也不再是宰相大人了。”一阵忙乱之后，这些天一直聚在阿尔文家恭候这一时刻的老幼妇孺都准备好了忧虑焦急的表情等待着皇宫来的信使，刚从睡梦里拍醒的孩童已经哭上了。来的却是一位面无表情的僧侣，背后跟着卫兵。“天不垂怜，新皇将在混乱与血泪中诞生。”阿尔文仍然泪流不止，他不知道为什么。
东方奇幻短篇小说集（全6册）
《归墟》发表于《飞·奇幻世界》上，大获好评，成为大陆最具影响力的奇幻文学作品之一一一这是一个架空世界，东有归墟，西有归渊，中间是大陆与海洋，日月东升西落，雷民陆民海民在这里生生不息。
