1936年に発表された本論文は、「計算」の本質を数学的に定義した画期的な研究である。チューリングは、テープとヘッドを持つ単純な機械モデル（チューリングマシン）を考案し、「計算可能性」を厳密に定式化した。さらに、あらゆる機械の動作を模倣できる「…