어떠한 프로그램 A와 어떠한 값 B를 입력으로 받으면 A가 성공적으로 마쳤는지, 아니면 무한루프에 빠졌는지 알려줄 수 있는 어떠한 알고리즘은 존재할 수 없다....
태그: 정지문제, HaltingProblem, 논리학