チューリングを読む

コンピュータサイエンスの金字塔を楽しもう
Ｔｈｅ　ａｎｎｏｔａｔｅｄ　Ｔｕｒｉｎｇ．

日経ＢＰ 日経ＢＰマーケティング
チャールズ・ペゾルド　井田哲雄　鈴木大郎　奥居哲　浜名誠　山田俊行　

• 価格: 3,300円（本体3,000円＋税）
• 発行年月: 2012年06月
• 判型: Ａ５
• ISBN: 9784822283728

内容情報

[BOOKデータベースより]

コンピュータには計算できない数がある。チューリング機械を動かしてコンピュータと数学の限界に答えを出す。不朽の論文「計算可能数とその決定問題への応用」（１９３６）の本当の意味がわかる。

第１部　基礎（ディオファントスここに眠る；無理数と超越数；進歩の世紀）
第２部　計算可能数（アラン・チューリングの受けた教育；動く機械；加算と乗算；またの呼び名はサブルーチン；すべては数；万能機械；コンピュータと計算可能性；機械と人間）
第３部　決定問題（論理と計算可能性；計算可能関数；主要な証明；ラムダ計算；連続体をめぐって）
第４部　展望（万物はチューリング機械か；ディオファントスの長き眠り）

[日販商品データベースより]

チューリングの「計算可能数とその決定問題への応用」の原論文を楽しむためのガイドブック。チューリング機械を動かして、コンピュータと数学の限界に答えを出す。不朽の論文の本当の意味がわかる１冊。