手机浏览器扫描二维码访问
第六百七十七章 停机问题逻辑学（第1页）
图灵一开始假设，有可能制造出一台图灵机，它可以计算出一个程序在给定某种输入后是否会停止或永远运行。然后他证明，这台机器会导致一个矛盾，所以不可能存在。
图灵提到的这个想法，后来被称为停机问题。今天的软件开发人员将其称为无限循环，这是他们在编写循环或递归函数时遇到的一个问题。
戴维斯在想什么是可以计算的，只要把不可以计算的全部排除，剩下的就是全部可以计算的了。
停机问题就是判断任意一个程序是否能在有限的时间之内结束运行的问题。
该问题等价于如下的判定问题：是否存在一个程序P，对于任意输入的程序w，能够判断w会在有限时间内结束或者死循环。
最后戴维斯说：“存在一种图灵机，其停机问题是递归无解的。”
停机问题就是判断任意一个程序是否会在有限的时间之内结束运行的问题。如果这个问题可以在有限的时间之内解决，则有一个程序判断其本身是否会停机并做出相反的行为，这时候显然不管停机问题的结果是什么都不会符合要求。所以这是一个不可解的问题。
停机问题本质是一高阶逻辑的不自恰性和不完备性。类似的命题有理发师悖论、全能悖论等。
喜欢数学心请大家收藏：（）数学心
请勿开启浏览器阅读模式，否则将导致章节内容缺失及无法阅读下一章。
末世后我成了疯批alpha们的安抚剂 撩惹疯批顶E，笨蛋少爷他逃了 死神不来了 上流假象 我真没想在过去的年代当学霸 夸夸我的神探祖父穿越爹 我在死亡副本当管理员 小仓鼠今天有猫了吗 神魔剑玄录 还是修仙吧 枭鸢 杀了那个妖鬼 迷津蝴蝶 怪物崽崽和他的怪物监护人 兽世养山君[种田] 第三十年明月夜 穿到虫族和军雌相亲 新搬来的邻居 君为客 攻略对象变成室友后，他不对劲
斗罗：开局被云冥所杀
龙王传说同人主角开局被云冥所杀命运齿轮从此转动死而复生圣树觉醒手持死神之镰踏上漫长复仇路…辰安于死亡中蜕变破土出巧遇古月娜打算分离出娜儿人格出言制止两人搭伙共踏复仇路。蝴蝶煽翅膀神界提前归史莱灭唐门散神王怒血与火。主角地球穿越者性格沉稳不浮躁不圣母女主古月娜。...
穿成赘婿暴君的恶毒前妻
1V1双洁，甜宠人间夸夸机女主vs水逆少年男主。温南在一次任务中身亡。醒来之后，得了一个便宜系统。温南重生于江南一富豪人家。虽为嫡房长女却母亲早亡，父亲宠爱妾室。二房把握经济大权。原身性格嚣张，出了名的大草包。温南十六岁时，在温家在外面找了一个跛脚的男人给温南当赘婿。可是这个所有人都看不起的跛脚男人，日后会是这天下的君主…是一个暴君。十年蛰伏一朝破萤。宿主，你要好好培养暴君，将他培养成明君造福百姓。这样你才能安逸的活着从此温南开始了养夫君大计。夫君被人欺负，嘲笑，温南立刻回怼，叉腰护夫。暴君差钱。很好，她抢回温家继承权，扩展业物，赚的盆满钵满。给暴君当资金。夫君脚跛，她想办法找名医相救。夫君差什么她就送什么。暴君心里没有温暖，日后会大开杀戒。温南立刻给暴君送温暖，给暴君补衣服，嘘寒问暖无微不至。后来暴君成了一代明君，京中贵女个个虎视眈眈。贵女掩唇嗤笑，一介低贱商女，如何能配的上陛下，一股子寒酸。朝臣劝道，陛下天人之姿应该迎娶这天下德才兼备女子为后。可是那年轻的帝王伸手紧紧的拉着温南的手，深情道糟糠之妻不可弃。如果您喜欢穿成赘婿暴君的恶毒前妻，别忘记分享给朋友...
转，舍，离
各种各样的反转，短篇小说。月更，遇事最迟一年以内必更。半科幻，脑洞向。转折文，舍取，离奇。我的灵魂还在我身中，像在哪黑洞洞的漩涡。想要逃脱却始终不敢，离开哪中心安稳的窝。如果您喜欢转，舍，离，别忘记分享给朋友...
不朽凡人
一名死去万载岁月的普通凡人从远古的血池中复活而生习逆天法诀，一步步，逆天，改命！...
国民男神又被分手了
互联网上疯传国民男神陈昱的新恋情！！！竟是传说中的女生网络畅销女作家郑若晴！某八卦记者偷拍了二人夜会火锅店一起吃饭的照片，如一记实锤重重敲在亿万女生的心脏！于是两人的微博下面沦陷了等待二位撒狗粮。两位当事人很有默契的选择不回应。吃瓜群众懵了终于两人同时上了档综艺节目，被主持人提及时，二人是这么回答的女故作镇定我一直很仰慕陈总。男无限温柔很欣赏她众人这到底有没有戏？又名原来晴天有雨欢迎读者围观如果您喜欢国民男神又被分手了，别忘记分享给朋友...
大唐皇太子
简介一朝穿成皇太子。李承乾看着自己的小胳膊小腿，淡淡一笑。既然天意如此那就让这大唐，比之历史更加的强盛，更加的伟大。他，也要做千古一帝。如果您喜欢大唐皇太子，别忘记分享给朋友...