(유*진, 정지 문제) #37
Description
영상 속 H 기계는 다른 기계가 멈추는지 안멈추는지 판단한다고 했습니다. 그런데 프로그램이 엄청나게 긴 무한한 시간 뒤에 멈추도록 설계되어 있다면 사실상 멈추지 않는 것과 결과적으로 차이가 없다고 봐야하는지 궁금합니다. H기계가 논리적으로 끝이 있는 것과 현실적인 시간 내에 끝나는 것을 엄격히 구분하여 결과를 생성하는지 궁급합니다.
{{ message }}
영상 속 H 기계는 다른 기계가 멈추는지 안멈추는지 판단한다고 했습니다. 그런데 프로그램이 엄청나게 긴 무한한 시간 뒤에 멈추도록 설계되어 있다면 사실상 멈추지 않는 것과 결과적으로 차이가 없다고 봐야하는지 궁금합니다. H기계가 논리적으로 끝이 있는 것과 현실적인 시간 내에 끝나는 것을 엄격히 구분하여 결과를 생성하는지 궁급합니다.