停机问题

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

大名鼎鼎的停机问题


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

简单证明


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

再假设另有程序p2如下:

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

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

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

计算理论课程论文--停机问题

  • 2014年02月24日 09:47
  • 40KB
  • 下载

不可解问题[停机问题]

反证法(归谬法):先假设命题的否定形式成立,然后再进行推理,引出矛盾。 矛盾:命题P和它的否定形式非P都成。 examples:证明不存在最大的整数、质数是无穷的。 可数(countable/en...

图灵停机问题(The Halting Problem)

不存在这样一个程序(算法),它能够计算任何程序(算法)在给定输入上是否会结束(停机)。 那么,如何来证明这个停机问题呢? 反证!假设我们某一天真做出了这么一个极度聪明的万能算法(就叫God...

【转】递归梦的判定性与图灵停机问题--盗梦空间科普札记之三

本文引用地址:http://blog.sciencenet.cn/blog-287179-379947.html  来自科学网博客——唐常杰 盗梦空间科普札记之三: 递归梦的判定性与...

图灵停机问题(The Halting Problem)

不存在这样一个程序(算法),它能够计算任何程序(算法)在给定输入上是否会结束(停机)。 那么,如何来证明这个停机问题呢? 反证!假设我们某一天真做出了这么一个极度聪明的万能算法(就叫God...
  • bat67
  • bat67
  • 2016年08月03日 17:56
  • 237

[计算理论] 停机问题不可解决的简单证明 halting problem

编程问题的提出 我们是否可以编写一个程序用来测试任何可以用哥德尔数表示的程序是否会终止? 反证法 假设这样的测试程序存在,然后证明它的存在将会产生一个矛盾。 证明步骤第一步 假设测试程序存在 ...

Halting problem(停机问题)

1.Introduction In computability theory, the halting problem is the problem of determining, from a ...
  • linwh8
  • linwh8
  • 2016年06月02日 00:40
  • 866

可计算性与停机问题

可计算性 可计算性理论明确了在理论上可计算的函数应具有的特征。那些定义在自然数集上的、理论上可计算的函数通常被称为部分递归函数。概念中强调“理论上可计算”,是因为某些可计算函数在实际计算中可能会耗费...

停机问题的理解

停机问题(halting problem)是逻辑数学中可计算性理论的一个问题。通俗的说,停机问题就是判断任意一个程序是否会在有限的时间之内结束运行的问题。该问题等价于如下的判定问题:给定一个程序和输入...

停机问题——感觉很有哲理的问题

n一个很哲学的计算机问题:停机问题—— 给定一个计算机程序和一个特定的输入,判断该程序是进入死循环,还是可以停机。 证明:(反证法)设停机问题有解,即:存在过程H(P, I)可以给出程序P在输入I...
内容举报
返回顶部
收藏助手
不良信息举报
您举报文章:停机问题
举报原因:
原因补充:

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