계산 이론

정지 문제(Halting Problem): 절대로 만들 수 없는 최강의 프로그램