手机浏览器扫描二维码访问
第五百九十章 停机问题逻辑学（第1页）
图灵一开始假设，有可能制造出一台图灵机，它可以计算出一个程序在给定某种输入后是否会停止或永远运行。然后他证明，这台机器会导致一个矛盾，所以不可能存在。
图灵提到的这个想法，后来被称为停机问题。今天的软件开发人员将其称为无限循环，这是他们在编写循环或递归函数时遇到的一个问题。
戴维斯在想什么是可以计算的，只要把不可以计算的全部排除，剩下的就是全部可以计算的了。
停机问题就是判断任意一个程序是否能在有限的时间之内结束运行的问题。
该问题等价于如下的判定问题：是否存在一个程序P，对于任意输入的程序w，能够判断w会在有限时间内结束或者死循环。
最后戴维斯说：“存在一种图灵机，其停机问题是递归无解的。”
停机问题就是判断任意一个程序是否会在有限的时间之内结束运行的问题。如果这个问题可以在有限的时间之内解决，则有一个程序判断其本身是否会停机并做出相反的行为，这时候显然不管停机问题的结果是什么都不会符合要求。所以这是一个不可解的问题。
停机问题本质是一高阶逻辑的不自恰性和不完备性。类似的命题有理发师悖论、全能悖论等。
喜欢数学心请大家收藏：（）数学心
穿到八零，我自带锦鲤系统！ 重生在宝可梦，我的后台超硬 暗无 新人驾到 在下潘凤，字无双 宗门全是美强惨，小师妹是真疯批 摊牌了，我爹是绝顶高手！ 玄灵界都知道我柔弱可怜但能打 农夫是概念神？三叶草了解一下！ 我的徒弟不对劲 大明：开局气疯朱元璋，死不登基 永恒大陆之命运 哦豁！虐文炮灰不干了！ 穿成商户女摆烂，竟然还要逃难！ 译文欣赏：博伽瓦谭 国运：拥有多重身份的我很合理吧 我一枪一剑杀穿大陆 至尊战皇 混迹娱乐圈的日子 快穿之炮灰得偿所愿
斗罗之先天二十级
全本免费，新书斗罗无敌从俘获女神开始斗罗之收徒就变强斗罗之酒剑斗罗王圣穿越到了斗罗1的世界之中，在觉醒武魂的那一天，竟然是先天二十级的魂力。看王圣如何组建属于他自己的7怪。当他的7怪与唐三的7怪相遇时，又会是怎样的一个场面？谁强？谁弱？谁才是真正的主角！粉丝群1304623681...
我家娘子是女皇
作为醉月楼唯一一个男人，杨辰觉得压力很大。通过我洗的衣服来判断，李姐姐胖了两斤，王姐姐瘦了点，还有，能不能别让马姐姐穿那么性感的衣服，我洗衣服压力很大的。杨辰需要每天像老鸨这样汇报着工作。除此之外，他还要严守自己的贞操。杨辰，今天晚上来侍寝！让姐姐亲一个！记住，别躲，今晚，你是我的。...
都市寻艳录
身世坎坷历经沧桑人间情意究竟为何物？妈妈是什么？奶奶是什么？姑姑婶婶又是什么？也许，都是女人罢了。你们给了我们生活的必须，但是她们没有给我们家庭的温暖，因此从理智上我们应该感激你们的，可是感情上很多时候是会出现偏差的。我喜欢熟女喜欢年龄稍大的女人当然是女人我都会喜欢当然是那种好女人...
鹿鼎风流记
...
【修真】男人就是鼎炉
前世黑莲花白蓁被人在车上动了手脚车祸去世，穿越成了合欢宗女修白千羽，开启了和前世开后宫没什么不同的修仙之路。这篇算是某某宗女修炼手札的同人，但是是否玩游戏对看文没啥影响，文不会收费，大家放心追，女主是自设的无心海王型号。挂是挂了修真的名头，其实本文没有着重写女主初期修炼，主要还是着重她成为女王之后的故事。全文分三部分，第一二部分女主一边双修一边把以前给她使绊子的人给除了，手段稍微有点粗暴残忍，结果奇奇怪怪自称系统的东西出现了，告诉她，她已成为了这条世界线的主人，同时她设计把自己也拱成了修真大陆的无冕之王。第三部分开幕，无冕之王并不是这么好当的，一边要均衡各大势力，挑对自己有用的掌握在手里，一边要处理情人们的修罗场。。。。偶尔，系统还会给她出难题，让她暴打外来入侵者。然而白蓁（千羽）对此表示，挺好玩的，再来点。本文可能微微有点女尊倾向，女主床上小淫娃，床下真女王，没心没肺，快乐加倍。有疑似正宫，但是基本不会出现1v1的情况，女主这么强，配一个男的太亏了（啥？）。预警，女主从目前的伦理道德来讲，确实是渣女，而且吸溜子也没想洗。...
伪我独尊大雁捕蝉
一种能帮忙泡妞的异能会给主角的人生带来怎样的奇遇？很简单，进来一看便知！...