出典:デジタル大辞泉(小学館)

《原題、On Computable Numbers》英国の数学者、チューリングによる論文。1936年発表。ドイツの数学者ヒルベルトが提示した決定問題が解けないことを証明すると同時に、今日のコンピューターの基礎となる理論を提唱した。

[数学/数学の言葉]カテゴリの言葉