1928年、ドイツの数学者 ダフィット・ヒルベルト は、「 決定問題 」への注目を呼びかけた。チューリングは、重要な論文 "On Computable Numbers, with an Application to the Entscheidungsproblem"（「計算可能数、ならびにその ヒルベルト の決定問題への応用」、1936年5月28日提出、11月12日配布） [27] で、この問題の解決に重要な役割を果たした。 この論文の重要な点を、現代の数学および 数学基礎論 および コンピュータ科学 の視点からまとめると次のようになる。(1)「 チューリングマシン 」という 計算モデル を提...