netail.net

_ [読書] The Annotated Turing ▲

電車通勤になって本を読むぐらいにしか使えない時間が増えたので，Charles Petzold のThe Annotated Turingという本を読んでました．面白かったので，紹介しときます．

文章はチューリング機械について述べられた Alan Turing の論文の文章に注釈や図を追加した形で構成されていて，さらに時代背景や様々な数学の成果との関連まで丁寧に説明しています．論文の展開に合わせて，ドキュメンタリーのように読める文章になってます．

チューリング機械が最初に登場した論文を扱っている都合上，数値などが計算可能（Computable）かどうか，Enumerableかどうかという話が中心です．授業でチューリング機械が登場する場面ではNP完全とかの概念も出てきそうですが，そのあたりについては取り扱っていません．

計算機におけるプログラミングとの関連などにも言及しているので，情報系の授業をある程度受けている人が，数学とのつながりなどの知識を楽しみつつ補強できる読み物という感じでした．