On Computable Numbers, with an Application to the Entscheidungsproblem
Alan Mathison Turing
Proceedings of the London Mathematical Society · 1937 · 인용 8.2k
이 논문은 클로즈드 액세스(유료·비공개)라 초록이 제공되지 않습니다. 전체 내용은 위 원문 링크에서 확인하세요.
Alan Mathison Turing
Proceedings of the London Mathematical Society · 1937 · 인용 8.2k
이 논문은 클로즈드 액세스(유료·비공개)라 초록이 제공되지 않습니다. 전체 내용은 위 원문 링크에서 확인하세요.
기계적으로 계산한다는 개념을 처음으로 정확히 정의하고 그 불가능성을 증명한 논문입니다.
이야기를 쓰는 중…
이 논문을 근거로 삼은 Paperis 해설입니다. 원전을 봤다면, 그 위에 무엇이 세워졌는지도 보세요.