원전서지만 확인
On Computable Numbers, with an Application to the EntscheidungsproblemA. M. Turing · 1936Proceedings of the London Mathematical Society, Series 2, 42, 230–265쪽 (1936년 5월 28일 접수·11월 12일 발표, 권의 간행 연도 1937)튜링 기계를 정의하고, 기계적 절차로는 풀 수 없는 문제가 있음을 대각선 논법으로 보인 논문이다. 「알고리즘」과 「계산 단계 수」를 수학의 대상으로 만든 출발점으로, 2-1 의 연표가 첫 항목으로 싣는다.
확인:논문 첫 쪽에서 접수·발표 날짜를 확인. 본문을 읽었다는 기록은 없음.