King's College (University of Cambridge), Bene't Street, Newnham, Cambridge, Cambridgeshire, Cambridgeshire and Peterborough, England, CB2 1ST, United Kingdom
University of Cambridge
확정날짜 확실성: 확정확정으로 발표됨출처가 날짜를 얼마나 확정적으로 표현하는지: 확정, 예정, 추정, 연기, 미확인.“확정” 핀 모두 보기신뢰도 88%종합 신뢰도: 88%핀의 출처와 참고 자료가 날짜를 얼마나 뒷받침하는지.출처를 포함한 자료 3건이 핀의 시작·종료 시각을 얼마나 강하게 뒷받침하는지에 대한 가중 평균. 자료는 최신 자료보다 180일 오래될 때마다 가중치가 절반이 됩니다신뢰도 75% 이상 핀 모두 보기
위키피디아의 튜링의 증명 항목은 제출일을 명확히 밝히고 있다: “튜링의 증명은 앨런 튜링이 1936년 11월 12일 제출하고 1937년 〈계산 가능한 수와 결정문제에의 응용에 관하여〉라는 제목으로 처음 출판한 증명이다.” 이 핀은 제출 시점에 놓이며, 이를 실은 런던수학회보 해당 호는 1937년으로 발행됐다.[1]앨런 튜링이 런던수학회에 〈계산 가능한 수와 결정문제에의 응용에 관하여〉를 제출한다. 이 논문은 이후 만들어진 모든 컴퓨터의 모형이 된 추상 기계를 정의하며, 결정문제가 결정 불가능함을 증명한다.
1.00