手机浏览器扫描二维码访问
第五百九十章 停机问题逻辑学（第1页）
图灵一开始假设，有可能制造出一台图灵机，它可以计算出一个程序在给定某种输入后是否会停止或永远运行。然后他证明，这台机器会导致一个矛盾，所以不可能存在。
图灵提到的这个想法，后来被称为停机问题。今天的软件开发人员将其称为无限循环，这是他们在编写循环或递归函数时遇到的一个问题。
戴维斯在想什么是可以计算的，只要把不可以计算的全部排除，剩下的就是全部可以计算的了。
停机问题就是判断任意一个程序是否能在有限的时间之内结束运行的问题。
该问题等价于如下的判定问题：是否存在一个程序P，对于任意输入的程序w，能够判断w会在有限时间内结束或者死循环。
最后戴维斯说：“存在一种图灵机，其停机问题是递归无解的。”
停机问题就是判断任意一个程序是否会在有限的时间之内结束运行的问题。如果这个问题可以在有限的时间之内解决，则有一个程序判断其本身是否会停机并做出相反的行为，这时候显然不管停机问题的结果是什么都不会符合要求。所以这是一个不可解的问题。
停机问题本质是一高阶逻辑的不自恰性和不完备性。类似的命题有理发师悖论、全能悖论等。
喜欢数学心请大家收藏：（）数学心
[穿书]男主他想弄死我+番外 肥妃有福，双面王爷倾世妃 鬼灭RPG为美好的世界献上帝君 BOSS伪装白莲花女主杀疯了 我把皇子养歪了 [咒回同人] 全员术师 [HP同人] 隐藏在霍格沃茨当教授 宗门全是美强惨，小师妹是真疯批 盛宠拽后：本宫就爱戏诸王 快穿之大佬总是在撩我 我当过的炮灰都成了宠文男主[快穿] [综影视同人] 炮灰终结者 重生后她燃炸了 成就华流天王，从历经生死战开始 当绿茶反派男配想上位 我说今夜无神，于是众神陨落 本座的猫儿师尊 忠犬影卫饲养法则 白夜（重生） 告白未果，我决定做回低调逆袭者
先生赠我长情诗云裳
白夜洲，百年财团白家继承人，神秘强大，只手遮天，却曾被深爱的女人背叛。穿肠烂肚，兄弟惨死，从此，因爱生恨。七年后再归来，蛇蝎心肠的女人遭受天谴，新婚不幸，家破人亡，弟弟重病，欠下巨债。他像万能之神般将她救出苦海，却带着刻骨的仇恨归来，云裳，你欠我的，我要你加倍还回来！云裳认命，任凭他疯狂折磨。你欺骗我的感情，我要你用身体还！于是，云裳便被日日夜夜困在床上，卖身赎罪。你害死我兄弟，我要你拿命还！于是，云裳没日没夜辛苦造人，三年抱俩，沦为生子工具。到最后，白夜洲终于明白，因爱生恨，不过是越爱越狠！...
发个微信去灵界
肖凡为长辈守夜，无聊之中拿着微信摇一摇却摇到了一个饿死鬼！从此肖凡的普通生活发生了巨大的改变。做神医泡院花学泡警花当大侠泡鬼花看肖凡一人携众鬼闯荡花花都市！微信在手，天下我有！...
宋时明月
这是一个穿越做小人物的故事。不经意间，赵兴成了一名宋朝人，他交往的对象不乏名传千古的词人遗臭万年的大贪官逼上梁山的大盗艳名四播的绝代风华。这是一个月上柳梢头，人约黄昏后的时代，这里有真情浪漫的千古好男人有闪烁千年的诗歌佳句有精彩纷呈的商业性歌舞表演和花样百出的商业竞争在这个瑰丽的时代里，赵兴处身其中，如鱼得水地享受这时代的雅致人生。本书中没有朝堂争斗没有官吏倾轧。本书描写的只是宋代市井人的世界观。或许，书中的内容颠覆了你对宋代的惯性思维，但请你细细品味。...
系统太渣：硬核宿主带带我
处对象前总是被关小黑屋的系统表示自家小姐姐关自己禁闭是因为忙着做任务。我不气，我一点也不气。别人眼中的某人颜好，能力强，背景高。某痴汉眼中的沈扇自家媳妇就是可爱，就是有一点不好，不怎么理人。处对象后仍然总是被关小黑屋的系统表示谈恋爱的小姐姐怎么这么丧心病狂。我还是不气，一点也不气。沈扇眼中的某人一副邪魅炫酷的拽样也掩饰不了那痴汉的本质。某痴汉眼中的沈扇自家媳妇越来越可爱...
替婚娇妻步步宠
自己的双胞胎姐姐在大婚之日逃跑，她被迫冒充姐姐和自己不喜欢的人结婚，在她看来，她只不过就是姐姐的一个替代品，根本就别妄想会得到他的爱，殊不知两人小时候就已见面并相约好了。当他得知真相的时候，以前对她的冷酷无情转变成无限柔情与宠爱，他发誓他往后余生只爱她一个人，为了重新赢的她的心，他展开甜蜜追妻旅程展开收起本站为书迷更新替婚娇妻步步宠最新章节，查看梦然锦所撰都市言情替婚娇妻步步宠的最新章节免费在线阅读。...
末世之神级妖兽合成系统
叮超级妖兽合成系统绑定成功，请宿主尽快进行妖兽合成。末日中被人类惧怕的强大妖兽，对杨坤来说就是强大的灵力值，叮一下合成不用苦修，修为蹭蹭蹭往上涨，冲鸭！合成一本山海经是远远不够的。...