[计算理论] 停机问题不可解决的简单证明 halting problem
编程问题的提出 我们是否可以编写一个程序用来测试任何可以用哥德尔数表示的程序是否会终止?反证法 假设这样的测试程序存在,然后证明它的存在将会产生一个矛盾。证明步骤第一步 假设测试程序存在存在这样的一个程序,名为Test;该程序使用任何可以用哥德尔数表示的程序P作为输入,输出变量X(1或0);如果程序P会运行终止,则输出1;如果程序P没有停止,则输出0;如下图所示: 第二步 构
原创
2015-08-19 20:30:25 ·
5942 阅读 ·
3 评论