(이*현, 정지문제) #40
Description
영상 속 정지 문제 증명에서 H라는 판별기가 자기 자신을 포함한 X를 검사할 때 H가 X를 분석하기 위해 X내부의 코드를 한 단계씩 실행한다고 하면 결국 X안에 있는 H를 다시 실행해야 하고 그 안의 H는 또 다른 X를 부르는 무한한 자기 복제에 빠지게 되는 것 같습니다. 그렇다면 이것은 H가 틀린 답을 내놓는 모순이 아니라 물리적인 메모리나 시간의 한계 때문에 답을 내놓지 못하는 상황 아닌가요? 논리적 모순과 물리적 모순을 동일 선상에 놓고 증명의 근거로 사용하는지 궁금합니다.