什么是可以计算的，只要把不可以计算的全部排除，剩下的就是全部可以计算的了。
马丁·戴维斯《可计算性和不可解性》开始研究什么样的计算是可计算的。
那什么又是不可以计算的？
首当其冲的是停机问题。令Z表示一个简单图灵机。关于Z，有如下判定：
对于一个给定的瞬间描述α，判定是否存在一个以α开始的对Z的计算。也就是说，我们希望如果给定初始状态，那么Z会不会最终停止？这就是Z停机问题。
最后戴维斯说：“存在一种图灵机，其停机问题是递归无解的。”
同类推荐
热门推荐
QAQ重生才不要当炮灰啦
「正常向」再一次醒来，她发现自己回到了当年那场杏花微雨，他就站在不远处，眯着眼将她给盯着。“侯爷，别来无恙。”她不知为何，眼眶微湿。“这才几日未见，如何便是别来无恙了？”曾经，他们阴差阳错，殊途陌路。“方瑜，我已经等你十八年了。”终于有一天，她抵在他的肩头。“怎的？你从记事起就开始惦记我的美貌了？”他眉眼带笑。「沙雕向」上一世的她作为女主，却莫名其妙地活成一个职业女炮灰，年纪轻轻便领了便当？重活一世，面对那些曾经在她缠绵病榻时日无多时，不辞辛苦也要来跟她说几句风凉话的故人……女主沈字酒眯着眼睛微微一笑，表示：脾气不好，见人就咬。1.纯架空，没有历史背景参考。2.女主重生，前世好惨一女的。3.阴阳怪气矫情鬼女主×傲娇乖巧矫情鬼男主4.才疏学浅，阴阳怪气，酸话十级。
天降狐妃，萌狐狠狠爱
现代的女孩苏氏集团继承人，因车祸而亡，可是她醒来了，而且还在。。古代！而且变成了狐狸！乱跑还跑到了龙影城的帝君的神殿了里，那是不可一世的帝君啊，他可是有洁癖的！当众人为小狐狸倒吸一口凉气是，帝君居然……
快穿拯救女主计划进行中
溪柠被众神尊捧到成年，成年当天，绑定了一个自称是“心愿系统”的快穿系统，要她穿越三千世界作为朋友去帮那些怨气冲天的女主完成任务。溪柠在神界待了那么多年，是时候该出去历练了，于是就轻松答应了下来。没想到，各个世界她都是团宠，待遇不比神界差。总裁竹马哥哥：溪溪，黑卡给你随便刷，只要你别离开我。白龙神尊哥哥：溪溪，苍生是为了你而守护，既然没有你了，那么就没有必要守护苍生了。狠辣皇帝哥哥：溪溪，看啊，这是我为你打下的江山，乖乖待在我身边，哪也别去啊。柠溪：这怎么有点不对劲？暗戳戳用分身最老婆的某男：溪溪你终于意识到了！精分上古大能哥哥X三界最后一只白狐
武则天往事求真
武则天是一个极具魅力的历史人物。在两千多年的封建男权社会中，她以皇后身份协理朝政，建立了一个强大的李唐王朝。政绩辉煌，朝野公认，中外使臣将其与高宗并称为“二圣”。在高宗死后更代子临朝，平息了内忧外患；继而登基称帝，治理了一个繁荣昌盛的大周王朝。但由于女人的特定身份，她的政权只能交给儿子，恢复唐朝；以八十二岁高龄，自去帝号，退出政坛。死后以皇后身份合葬乾陵。留下众多的历史谜团。
玄光：社长大人请淡定
“为什么你每次都要反驳我？”“我说过，这怎么可能是一个简单的汉堡！”顾晓昭见姜凯风怀疑自己的眼神，”你看，你每次都这样，能不能愉快的玩耍啦？“突然，她感觉到空气中有一丝异样，“等等，你干嘛这样子笑，像个坏少爷！”“还有，你数手指头干嘛？”姜凯风心里暗暗想着，五句，刚好！”我们之前约定过，如果，你一个人对着食物讲了超过五句话，我就……“顾晓昭看着姜凯风嘴角邪魅的笑，一下子回忆起来，转手就把汉堡扔了。身后传来明亮又充满诱惑的声音，”晓昭昭，现在我真的饿了。“”还没有超过五句！“顾晓昭在房子里四处乱窜。”现在有了！来吧！我们一起玩耍吧！”