停机问题
此条目需要编修,以确保文法,用词,语气,格式,标点等使用恰当. (2018年12月19日)
请按照校对指引,帮助编辑这个条目.(帮助,讨论)
致使用者:请搜索一下条目的标题(来源搜索:"停机问题"  -  网页,新闻,书籍,学术,图像),以检查网络上是否存在该主题的更多可靠来源(判定指引).
停机问题(英语:halting problem)是逻辑数学中可计算性理论的一个问题.通俗地说,停机问题就是判断任意一个程序是否能在有限的时间之内结束运行的问题.该问题等价于如下的判定问题:是否存在一个程序P,对于任意输入的程序w,能够判断w会在有限时间内结束或者死循环.
艾伦·图灵在1936年用对角论证法证明了,不存在解决