- チャールズ・ペゾルド 『チューリングを読む コンピュータサイエンスの金字塔を楽しもう』、井田哲雄、鈴木大郎、奥居哲、浜名誠、山田俊行訳、日経BP社、2012年
この翻訳書は、次の二つの文献の注釈書です。
- 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