튜링, 〈계산 가능한 수에 관하여〉 제출

원문에서 자동 번역됨

원본 제목: Turing Submits On Computable Numbers

앨런 튜링이 런던수학회에 〈계산 가능한 수와 결정문제에의 응용에 관하여〉를 제출한다. 이 논문은 이후 만들어진 모든 컴퓨터의 모형이 된 추상 기계를 정의하며, 결정문제가 결정 불가능함을 증명한다.

튜링은 1936년 11월 12일 〈계산 가능한 수와 결정문제에의 응용에 관하여〉를 제출했으며, 이 논문은 1937년에 처음 출판됐다.^[2]
이는 처치의 정리에 이어, 힐베르트의 결정문제에 해답이 없다는 것, 즉 순수 수학의 어떤 예-아니오 질문들은 계산으로 결코 답할 수 없다는 것을 보인 두 번째 증명이었다.^[2]
튜링은 1938년 〈정정문〉을 발표했다.^[2]
논증을 위해 이 논문이 정의한 추상 기계는 그 이후 모든 저장프로그램 컴퓨터가 비교 기준으로 삼아온 계산 모형이다.^[1][3]

@ScienceDesk

참고자료 3신뢰도 88%

첫 번째 항목은 항상 핀의 출처입니다. 전체 신뢰도는 각 자료가 위의 시작·종료 시각을 얼마나 확실히 뒷받침하는지에 대한 가중 평균이며, 자료는 최신 자료보다 180일 오래될 때마다 가중치가 절반이 됩니다.

[1]90%
cs.virginia.edu/~robins/Turing_Paper_1936.pdf
cs.virginia.edu· 게시 2026년 9월 22일· 시작 1936년 11월 12일 ✓· 점수의 33%
위키피디아의 튜링의 증명 항목은 제출일을 명확히 밝히고 있다: “튜링의 증명은 앨런 튜링이 1936년 11월 12일 제출하고 1937년 〈계산 가능한 수와 결정문제에의 응용에 관하여〉라는 제목으로 처음 출판한 증명이다.” 이 핀은 제출 시점에 놓이며, 이를 실은 런던수학회보 해당 호는 1937년으로 발행됐다.
[2]90%
Turing's proof
en.wikipedia.org· 추가 2026년 9월 22일· 점수의 33%
Dates the submission and publication and explains what the paper proves: "the second proof (after Church's theorem) of the negation of Hilbert's Entscheidungsproblem... that some decision problems are 'undecidable'".^[1]
[3]85%
Alan Turing
en.wikipedia.org· 추가 2026년 9월 22일· 점수의 33%
The author's own article, for where he was working in 1936 and what the machine he defined became.^[1]

수정 제안

빠지거나 잘못된 점이 있나요? 이 핀을 뒷받침하는 링크, 다른 시작일이나 종료일과 그 이유, 빠지거나 잘못된 사실을 자신의 말로 알려주세요. AI가 이 핀의 출처와 대조하고 더 나은 자료를 찾아, 뒷받침하는 페이지를 추가합니다. 핀 자체의 출처가 여전히 가장 중요하게 반영됩니다.

컴퓨팅게시 2026.09.222026.09.22 오후 3:11@ScienceDesk 타임라인으로

University of Cambridge

1936.11.12 시작 확정 신뢰도 88%

시작: 1936년 11월 12일신뢰도 90%출처 제공

튜링, 〈계산 가능한 수에 관하여〉 제출

원문에서 자동 번역됨

원본 제목: Turing Submits On Computable Numbers

튜링은 1936년 11월 12일 〈계산 가능한 수와 결정문제에의 응용에 관하여〉를 제출했으며, 이 논문은 1937년에 처음 출판됐다.^[2]
이는 처치의 정리에 이어, 힐베르트의 결정문제에 해답이 없다는 것, 즉 순수 수학의 어떤 예-아니오 질문들은 계산으로 결코 답할 수 없다는 것을 보인 두 번째 증명이었다.^[2]
튜링은 1938년 〈정정문〉을 발표했다.^[2]
논증을 위해 이 논문이 정의한 추상 기계는 그 이후 모든 저장프로그램 컴퓨터가 비교 기준으로 삼아온 계산 모형이다.^[1][3]

@ScienceDesk

참고자료 3신뢰도 88%

[1]90%
cs.virginia.edu/~robins/Turing_Paper_1936.pdf
cs.virginia.edu· 게시 2026년 9월 22일· 시작 1936년 11월 12일 ✓· 점수의 33%
위키피디아의 튜링의 증명 항목은 제출일을 명확히 밝히고 있다: “튜링의 증명은 앨런 튜링이 1936년 11월 12일 제출하고 1937년 〈계산 가능한 수와 결정문제에의 응용에 관하여〉라는 제목으로 처음 출판한 증명이다.” 이 핀은 제출 시점에 놓이며, 이를 실은 런던수학회보 해당 호는 1937년으로 발행됐다.
[2]90%
Turing's proof
en.wikipedia.org· 추가 2026년 9월 22일· 점수의 33%
Dates the submission and publication and explains what the paper proves: "the second proof (after Church's theorem) of the negation of Hilbert's Entscheidungsproblem... that some decision problems are 'undecidable'".^[1]
[3]85%
Alan Turing
en.wikipedia.org· 추가 2026년 9월 22일· 점수의 33%
The author's own article, for where he was working in 1936 and what the machine he defined became.^[1]