'어떤 프로세스(프로그램)가 무한히 돌아가는지 아닌지 확인할 수 있는 프로세스(프로그램)는 존재 하지 않는다'

라는 사실을 증명하는 방법을 배우기 위해서