King's College (University of Cambridge), Bene't Street, Newnham, Cambridge, Cambridgeshire, Cambridgeshire and Peterborough, England, CB2 1ST, United KingdomUniversity of Cambridge
확정신뢰도 88%위키피디아의 튜링의 증명 항목은 제출일을 명확히 밝히고 있다: “튜링의 증명은 앨런 튜링이 1936년 11월 12일 제출하고 1937년 〈계산 가능한 수와 결정문제에의 응용에 관하여〉라는 제목으로 처음 출판한 증명이다.” 이 핀은 제출 시점에 놓이며, 이를 실은 런던수학회보 해당 호는 1937년으로 발행됐다.[1]
앨런 튜링이 런던수학회에 〈계산 가능한 수와 결정문제에의 응용에 관하여〉를 제출한다. 이 논문은 이후 만들어진 모든 컴퓨터의 모형이 된 추상 기계를 정의하며, 결정문제가 결정 불가능함을 증명한다.
University of Cambridge