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
Cavendish Laboratory