手机浏览器扫描二维码访问
第六百七十七章 停机问题（逻辑学）（第1页）
图灵一开始假设，有可能制造出一台图灵机，它可以计算出一个程序在给定某种输入后是否会停止或永远运行。然后他证明，这台机器会导致一个矛盾，所以不可能存在。
图灵提到的这个想法，后来被称为停机问题。今天的软件开发人员将其称为无限循环，这是他们在编写循环或递归函数时遇到的一个问题。
戴维斯在想什么是可以计算的，只要把不可以计算的全部排除，剩下的就是全部可以计算的了。
停机问题就是判断任意一个程序是否能在有限的时间之内结束运行的问题。
该问题等价于如下的判定问题：是否存在一个程序P，对于任意输入的程序w，能够判断w会在有限时间内结束或者死循环。
最后戴维斯说：“存在一种图灵机，其停机问题是递归无解的。”
停机问题就是判断任意一个程序是否会在有限的时间之内结束运行的问题。如果这个问题可以在有限的时间之内解决，则有一个程序判断其本身是否会停机并做出相反的行为，这时候显然不管停机问题的结果是什么都不会符合要求。所以这是一个不可解的问题。
停机问题本质是一高阶逻辑的不自恰性和不完备性。类似的命题有理发师悖论、全能悖论等。
喜欢数学心请大家收藏：()数学心
涟漪轻漾
涟漪轻漾情节跌宕起伏、扣人心弦，是一本情节与文笔俱佳的其他类型小说，涟漪轻漾-亭亭如盖-小说旗免费提供涟漪轻漾最新清爽干净的文字章节在线阅读和TXT下载。...
都市梦游
都市梦游情节跌宕起伏、扣人心弦，是一本情节与文笔俱佳的都市言情小说，都市梦游-猫腻大师-小说旗免费提供都市梦游最新清爽干净的文字章节在线阅读和TXT下载。...
![兰香缘[封推]](/qs_html/img/139/139319/139319s.jpg)
兰香缘[封推]
《兰香缘[封推]》兰香缘[封推]小说全文番外_林锦楼笑道兰香缘[封推],??-----------w--y--c-------??-----d--j--z--l---------------??书名：兰香缘作者：禾晏山文案她是首辅的孙女，家族卷入夺嫡风波获罪。与新婚丈夫双双死在发配途中。她带着记忆转世投胎，成为江南望族林家的家生丫鬟陈香兰。...
银河传说
银河传说情节跌宕起伏、扣人心弦，是一本情节与文笔俱佳的都市言情小说，银河传说-是已占-小说旗免费提供银河传说最新清爽干净的文字章节在线阅读和TXT下载。...
桃李春风一杯酒
杨戈从来都不是天下第一。 但后来，江湖上人人都说他是天下第一……...
别打电竞
别打电竞作者:AVEN野草简介:温白辰的十九岁过得格外波澜壮阔，一年时间就做到了旁人半辈子的事——转正下岗再就业。是该有多倒霉，才能在春季赛总决赛的决胜局突发胃病，还被对手拼命追杀，创下单局死亡十五次的历史记录！整整十五次！温白辰：……谢邀，这种记录不创也罢。一夜之间被骂上热搜的温白辰遗憾退役，转行当起游戏主播，在一众或慕名...