この翻訳書は、次の二つの文献の注釈書です。

  • Alan Turing  ''On Computable Numbers, with an Application to the Entscheidungsproblem,'' in: Proceedings of the London Mathematical Society, 2nd series, vol. 42, 1936, pp. 230–265.
  • Alan Turing  ''On Computable Numbers, with an Application to the Entscheidungsproblem. A Correction,'' in: Proceedings of the London Mathematical Society, 2nd series, vol. 43, 1937, pp. 544–546.

翻訳書の序文には次のようにあります。

チューリングの業績を多くの人にわかってもらおうというのが、本書を書いた動機である。本書はチューリングの36ページにも及ぶ原論文「計算可能数とその決定問題への応用」とそのフォローアップである3ページの訂正小論を含んでいる。これらに広範な注釈を付け加えることでチューリングの業績を詳しく解説している。*1

*1:チューリングを読む』、iv-v ページ。