프로그램을 실행하기 전에 모든 문제를 찾아낼 수는 없을까?프로그램의 동작을 미리 예측하려는 시도와 정지 문제가 보여주는 근본적인 한계를 살펴보자.2026년 11월 6일Computer Science