【第22期】观点:IT 行业加班,到底有没有价值?

停机问题

原创 2016年08月29日 23:13:08

大名鼎鼎的停机问题


通俗的说,停机问题就是判断任意一个程序是否会在有限的时间之内结束运行的问题。

简单证明


假设程序p1(prog)能判断任意程序prog是否能在有限时间内停机

再假设另有程序p2如下:

    if(p1(p2)){
        while(1);
    }else{
        return;
    }

如果我们说p1能判断p2是否停机,那么p1(p2)为true,则while(1),进入死循环,矛盾;
得证

版权声明:欢迎转载,欢迎加群 举报

相关文章推荐

图灵停机问题及实际应用

最近看《程序员的数学》大概了解了一下停机问题,了解的同时也疑惑,这个能有什么实际用处吗? 带着疑惑上网搜到了cnbeta.com里的一篇新闻,http://www.cnbeta.com/articl...

编程新手导论(转载)

第二部分 导论,这一部分主要是关于编程的导论, (要懂得一点思想具备一点常识)《设计,编码,,与软工》(编程与思想)这一章解释了三种思想,原语,抽象,组合,,和软件开发的二个重要过程,,软件工程的相关概念,是编程入门的关键 (要懂得一点领域内的数学)《数学与算法》(编程与数学)计算机整个就是架构在数学上的,跟计算机平台实现,算法设计,,架构密切相关,,真正要深入编程,,,对数学的学习是必须的,,千万不要相

停机问题

停机问题 停机问题(halting problem)是逻辑数学中可计算性理论的一个问题。通俗的说,停机问题就是判断任意一个程序是否会在有限的时间之内结束运行的问题。如果这个问题可以在有限的时...

停机问题

不可能写出一个程序,用它来判断作为其输入而读入的某个程序在执行时是否停机。 一个程序是否会停机被称为是程序的“不可判定”特性。 因为不可能写出一个程序,让它百分百告诉你任何一个特定的程序是否含有这种特性。

停机问题

引用源blog   有可计算的函数,当然也就有不可计算的函数。一个著名的例子就是停机问题。为了简化问题,这里我们将一个程序也作为数据对象来处理,并且能够作为某个程序的输入。如果P是一个程序,x是程序...
收藏助手
不良信息举报
您举报文章:深度学习:神经网络中的前向传播和反向传播算法推导
举报原因:
原因补充:

(最多只允许输入30个字)