어떤 코드를 주면 그 코드를 직접 실행하는게 아니라 반복이 끝나는 조건식을 만족하냐 안하냐 이것만 판별하면 되잖음 그리고 그 조건식을 수학적으로 증명을 하는거지. 그러면 정지문제 해결되는거 아님? 증명되지 않은거 말고는?