手机浏览器扫描二维码访问
第六百七十七章 停机问题逻辑学（第1页）
图灵一开始假设，有可能制造出一台图灵机，它可以计算出一个程序在给定某种输入后是否会停止或永远运行。然后他证明，这台机器会导致一个矛盾，所以不可能存在。
图灵提到的这个想法，后来被称为停机问题。今天的软件开发人员将其称为无限循环，这是他们在编写循环或递归函数时遇到的一个问题。
戴维斯在想什么是可以计算的，只要把不可以计算的全部排除，剩下的就是全部可以计算的了。
停机问题就是判断任意一个程序是否能在有限的时间之内结束运行的问题。
该问题等价于如下的判定问题：是否存在一个程序P，对于任意输入的程序w，能够判断w会在有限时间内结束或者死循环。
最后戴维斯说：“存在一种图灵机，其停机问题是递归无解的。”
停机问题就是判断任意一个程序是否会在有限的时间之内结束运行的问题。如果这个问题可以在有限的时间之内解决，则有一个程序判断其本身是否会停机并做出相反的行为，这时候显然不管停机问题的结果是什么都不会符合要求。所以这是一个不可解的问题。
停机问题本质是一高阶逻辑的不自恰性和不完备性。类似的命题有理发师悖论、全能悖论等。
喜欢数学心请大家收藏：（）数学心
柯南！快看，你爸爸过来了！ 都市重生：我在七日世界刷神宠 在明末奋斗 沉睡千年醒来，749局找上门 开局被渣，反手投资女帝无敌 尘封的仙路 高冷学神之攻略手册 邪灵战神 造孽啊，曹贼竟是我自己 神奇宝贝：开局十连抽，获得梦幻 春过辽河滩 偏偏宠上你 跨越阶层的恋爱 大清话事人 一本杂录 包青天断案传奇故事汇 开局成为峰主，打造万古不朽仙门 好运撞末日 剑神韩友平第一部 仙骨
魏武侯
本书架空，考据慎入 新书锦衣血途发布，欢迎收藏！ 这里不是春秋战国，也不是东汉末年！ 似曾相识的齐楚秦魏，截然不同的列国争雄！ 来自现...
玄学大佬只想当咸鱼
...
事业脑咸鱼在八零
...
乱世情歌：农门女将
一朝重生，亲爹从军阵亡，亲娘病死，留下体弱的弟弟和青砖瓦房几间。无奈家有极品亲戚，占了我家房还想害我姐弟性命！幸得好心夫妻垂帘，才有这安稳日子过。偶然山中救得老道一位，得其倾囊相授修得一身好武艺。骤闻亲爹消息，变身潇洒少年郎，入了天下闻名的孟家军，立军功当将军，可是那个总阴魂不散的小王爷是要搞哪样？虾米？威胁我？...
九龙吞珠
一张从始皇帝皇宫流传出的长生不老药地图，解开不死不灭之秘。一代名将，将守，从万人敌，到无人敌的重生之路！九龙吞珠读者交流群721466643）...
武林店小二
江湖日报讯肯麦郎连锁客栈享誉大明各府，其总部却是京城一家名为来福的小客栈。来福客栈在江湖上大名鼎鼎，即便费用高昂，上到各派掌门下到江湖游侠，都挤破脑袋想去来福客栈吃顿饭。记者有幸请到武林盟主，揭开来福客栈的秘密！来福客栈日常一幕少林方丈，你怎么吃饭不给钱啊？偶弥陀佛，出家人身无分文，这顿饭可否算作化缘？不行！武当掌门没钱吃饭，还在后院洗碗呢！你若不给钱，就去洗茅房！来福客栈日常二幕丐帮长老，瞧你样子就没钱吃饭，你来客栈干啥？听闻来福客栈可以拿东西抵押，我这里有本上乘的秘...