チューリング、「計算可能数について」を投稿
King's College (University of Cambridge), Bene't Street, Newnham, Cambridge, Cambridgeshire, Cambridgeshire and Peterborough, England, CB2 1ST, United Kingdom
University of Cambridge
確定確度 88%ウィキペディアのチューリングの証明に関する記事は、投稿日を留保なしに示している。「チューリングの証明は、アラン・チューリングが1936年11月12日に投稿し、1937年に『計算可能数について、ならびにその決定問題への応用』という題で初めて刊行された証明である」。ピンは日付の明らかな行為である投稿の日としている。この論文を掲載したロンドン数学会紀要の号は1937年付である。[1]
アラン・チューリングは論文「計算可能数について、ならびにその決定問題への応用」をロンドン数学会に投稿した。この論文は、その後に作られたあらゆるコンピューターのモデルとなった抽象機械を定義し、決定問題が決定不能であることを証明した。
1.00
Cavendish Laboratory