参考資料 3確度 88%総合信頼度: 88%ピンの情報源と参照がその日付をどれだけ裏付けているか。出典を含む 3 件の資料がピンの開始・終了時刻をどれだけ強く裏付けているかの加重平均。最新の資料より180日古くなるごとに重みは半分になります確度75%以上のピンをすべて表示
最初の項目は常にピンの出典です。全体の確度は、各資料が上記の開始・終了時刻をどれだけ強く裏付けているかの加重平均です。最新の資料より180日古くなるごとに、重みは半分になります。
- [1]90%cs.virginia.edu/~robins/Turing_Paper_1936.pdfcs.virginia.edu· 投稿 2026年9月22日· 開始 1936年11月12日 ✓· スコアの 33%
ウィキペディアのチューリングの証明に関する記事は、投稿日を留保なしに示している。「チューリングの証明は、アラン・チューリングが1936年11月12日に投稿し、1937年に『計算可能数について、ならびにその決定問題への応用』という題で初めて刊行された証明である」。ピンは日付の明らかな行為である投稿の日としている。この論文を掲載したロンドン数学会紀要の号は1937年付である。
- [2]90%Turing's proofen.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 Turingen.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がこのピンの出典と照らし合わせ、より良い情報源を探し、裏付けとなるページがあれば参考資料として追加します。ピン自身の出典が引き続き最も重視されます。AIは画像も確認します。別のものが写っている画像や写りの悪い画像は、後ろに回すか差し替えます。