컴퓨터가 “모든 걸 자동으로 판정”할 수 없는 이유: 정지 문제 쉽게 이해하기

왜 이런 문제가 나왔나

사람들은 묻는다. “이 프로그램이 끝까지 실행될까? 아니면 영원히 돌까?”
가능하면 배포 전에 자동으로 판정하고 싶다. 무한루프나 데드락을 피하고 싶기 때문이다. 항공. 의료. 금융처럼 실패 비용이 큰 분야에서는 특히 그렇다. 그래서 연구자들은 “모든 프로그램의 종료 여부를 항상 맞히는 검출기”를 꿈꿨다.

왜 중요한가