什么是可以计算的，只要把不可以计算的全部排除，剩下的就是全部可以计算的了。
马丁·戴维斯《可计算性和不可解性》开始研究什么样的计算是可计算的。
那什么又是不可以计算的？
首当其冲的是停机问题。令Z表示一个简单图灵机。关于Z，有如下判定：
对于一个给定的瞬间描述α，判定是否存在一个以α开始的对Z的计算。也就是说，我们希望如果给定初始状态，那么Z会不会最终停止？这就是Z停机问题。
最后戴维斯说：“存在一种图灵机，其停机问题是递归无解的。”
同类推荐
热门推荐
智慧童话（夏洛书屋：经典版）
智慧故事精华荟萃，全球经典完美再现，英国著名儿童文学推广人玛丽·乔斯林编著。玛丽·乔斯林是英国当代著名的儿童评论家及儿童文学阅读推广人，尤其擅长将寓言童话和神话传说以出神入化的语言讲述给当今的年轻读者。在当今欧洲，尤其英国，玛丽·乔斯林拥有众多追随者，更为儿童文学的深度延传和多形式推广做出了不遗余力的贡献。《智慧童话》是乔林斯根据全球知名童话或者寓言故事改编而成的。全书一共由二十八个中小故事结集而成，故事的主题都与“智慧”有关，这二十八个故事无论时间还是地域都涉猎广泛，汲取了全球有关“智慧”的故事之精华，读来趣味颇多又令人受益匪浅。
满世界找诡：散客月下四海奇谭
一名酷爱马术的波兰籍日耳曼少年赴德国学习马术，却拜日本女子为师。和服、樱花、茶道……日本文化元素与西洋马术居然有完美的契合点。神秘东瀛美女，以“盛装舞步”征服了西方少年……然而，女子付出的背后，深藏离奇阴谋。神秘东方女子，究竞是人？是鬼？是妖？
