首页 > 其他好文 > 详细

停机问题

时间：2015-02-01 20:22:37 阅读：169 评论：0 收藏：0 [点我收藏+]

标签：

通俗的说，停机问题就是判断任意一个程序是否会在有限的时间之内结束运行的问题。
如果这个问题可以在有限的时间之内解决，可以有一个程序判断其本身是否会停机并做出相反的行为。这时候显然不管停机问题的结果是什么都不会符合要求。所以这是一个不可解的问题。
停机问题本质是一阶逻辑的不自恰性和不完备性。类似的命题有理发师悖论、全能悖论等。

标签：

原文地址：http://www.cnblogs.com/dmdj/p/4265943.html

踩

(0)

评论一句话评论（0）

分享档案

更多>

周排行

更多

友情链接

兰亭集智国之画百度统计站长统计阿里云 chrome插件新版天听网

迷上了代码！