停机问题之学习笔记

 给一个程序传好参数，现在要判断它的运行趋势，是否会陷入无穷无尽的执行

有没有一个程序可以完成这个判断呢

 

假设有一个程序H，H说它可以完成这个任务

H说”你告诉我程序是谁，传给程序的参数又是什么“

我们告诉了H想知道的，程序的名字是P，参数是I，也就是H(P,I)

 

现在我们写一个让H失望的程序，它的名字是U，U(I)的逻辑如下：

if H(U,I) = "RUN" : KILL
else : RUN

 

那么，我们把程序U(I)传递给H的时候，就会发生如下的情况：

H(U,I) = RUN 时 ，程序 U会停止运行

H(U,I) = KILL 时，程序U会一直执行

 

以此看来，当前，程序给不了停机问题的解