■

• チャールズ・ペゾルド　　『チューリングを読む　コンピュータサイエンスの金字塔を楽しもう』、井田哲雄、鈴木大郎、奥居哲、浜名誠、山田俊行訳、日経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

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