On Computable Numbers, with an Application to the Entscheidungsproblem
Alan Turing
Proceedings of the London Mathematical Society · 1937 · 인용 8.1k
이 논문은 클로즈드 액세스(유료·비공개)라 초록이 제공되지 않습니다. 전체 내용은 위 원문 링크에서 확인하세요.
Alan Turing
Proceedings of the London Mathematical Society · 1937 · 인용 8.1k
이 논문은 클로즈드 액세스(유료·비공개)라 초록이 제공되지 않습니다. 전체 내용은 위 원문 링크에서 확인하세요.
'기계적으로 계산한다'가 무엇인지를 처음으로 정확히 정의한 논문입니다. 튜링은 사람이 종이와 연필로 계산하는 과정을 본떠 모형을 만들었고(오늘의 튜링 기계), 그것으로 힐베르트의 결정 문제에 해가 없음을 증명했습니다. 불가능성을 보이려 만든 이 모형이 뒤에 사람이 아닌 기계가 무엇을 할 수 있는지를 정의하게 됩니다.
이야기를 쓰는 중…