什么是可以计算的，只要把不可以计算的全部排除，剩下的就是全部可以计算的了。
马丁·戴维斯《可计算性和不可解性》开始研究什么样的计算是可计算的。
那什么又是不可以计算的？
首当其冲的是停机问题。令Z表示一个简单图灵机。关于Z，有如下判定：
对于一个给定的瞬间描述α，判定是否存在一个以α开始的对Z的计算。也就是说，我们希望如果给定初始状态，那么Z会不会最终停止？这就是Z停机问题。
最后戴维斯说：“存在一种图灵机，其停机问题是递归无解的。”
同类推荐
热门推荐
技能树点歪的未来世界
在这个时代，有些科技比穿越前的世界发生了倒退有的科技发生了大跃进这是一个【点歪技能树的未来世界】且看，一个立志想要当这一时代【武道之神】的徐思哲和一群武道修行路上的伙伴披荆斩棘的热血故事。
入葬世
天地之大，化为五界，五方之地天乾之地，斑驳古剑震天穹地坤之地，古迹罗盘守玄黄天灵之地，九天圣塔化乾坤灵兽之地，万界妖珠吞混沌冥界之地，鬼神魔图弑生魂万火之术的掌控者，本该执掌一方神殿，却为之舍得万火焚染苍穹，震得一方天地妥协；九天星辰的天星者，本该潇洒的一生，却甘尽世间之人的质疑，为之扭转星阁轨迹，改变岁月界河；墨天古族一兄一妹，本该是古族万载来最有天赋的少主与圣女，却为之力破四界，化身成魔；石城走出的一位少年，幸得男主恩情，内心宛如磐石坚定，为之建立足以名震四界之地的石境，石主盛名而起；灵族葬世，凌轩入世，四方生灵，勾心斗角，一场巨大的阴谋正式展开邪族太子，该如何展现他的一生命运，神秘之地，他是否能够携天地之力，与之为战...
