今日 - 何が起こったのですか？ 30 November 1936 紀元後

1936年、チューリングは論文「計算可能数について―決定問題への応用」を発表しました。この論文はロンドン数学会のジャーナルに2部構成で掲載され、第1部が11月30日、第2部が12月23日に発行されました。

チューリングは論文「計算可能な数について、決定問題への応用」を発表しました。この論文はロンドン数学会の会報に2回に分けて掲載され、第1部が11月30日に、第2部が12月23日に発行されました。この論文の中で、チューリングは証明と計算の限界に関するクルト・ゲーデルの1931年の成果を再定式化し、ゲーデルの普遍的な算術に基づく形式言語を、後にチューリングマシンとして知られるようになる形式的で単純な仮想装置に置き換えました。決定問題（Entscheidungsproblem）は、もともと1928年にドイツの数学者ダフィット・ヒルベルトによって提起されたものです。チューリングは、自身の「万能計算マシン」がアルゴリズムとして表現可能なあらゆる数学的計算を実行できることを証明しました。さらに彼は、チューリングマシンの停止問題が決定不能であることを示すことで、決定問題には解が存在しないことを証明しました。つまり、チューリングマシンが停止するかどうかをアルゴリズムで判定することは不可能であるということです。

1936年、チューリングは論文「計算可能数について―決定問題への応用」を発表しました。この論文はロンドン数学会のジャーナルに2部構成で掲載され、第1部が11月30日、第2部が12月23日に発行されました。

チューリングは論文「計算可能な数について、決定問題への応用」を発表しました。この論文はロンドン数学会の会報に2回に分けて掲載され、第1部が11月30日に、第2部が12月23日に発行されました。この論文の中で、チューリングは証明と計算の限界に関するクルト・ゲーデルの1931年の成果を再定式化し、ゲーデルの普遍的な算術に基づく形式言語を、後にチューリングマシンとして知られるようになる形式的で単純な仮想装置に置き換えました。決定問題（Entscheidungsproblem）は、もともと1928年にドイツの数学者ダフィット・ヒルベルトによって提起されたものです。チューリングは、自身の「万能計算マシン」がアルゴリズムとして表現可能なあらゆる数学的計算を実行できることを証明しました。さらに彼は、チューリングマシンの停止問題が決定不能であることを示すことで、決定問題には解が存在しないことを証明しました。つまり、チューリングマシンが停止するかどうかをアルゴリズムで判定することは不可能であるということです。