本書はアラン・チューリングの理論をもとに、コンピューターの原理や仕組みから人工知能までを、分かりやすく解説したコンピューターサイエンスの入門書だ。

アラン・チューリングは1912年生まれのイギリス人数学者。現在のコンピューターサイエンスの基礎となる理論を作り上げ、1950年に発表した論文「計算する機械と知性」などにより「人工知能の父」とも呼ばれている人物だ。

チューリングは、ドイツの数学者ヒルベルトが提示した決定問題を解決するため、万能計算機の数学的モデル「チューリング機械」を考案し、これがコンピューターの万能性を保証する数学的基礎になった。チューリング機械を使った検証によって、手順を示したり計算することが同じであることを示し、現在のコンピューターソフトウェアで広く使われている概念であるアルゴリズムとして確立した。