チューリングを読む : コンピュータサイエンスの金字塔を楽しもう

Author(s)

Bibliographic Information

チューリングを読む : コンピュータサイエンスの金字塔を楽しもう

チャールズ・ペゾルド著 ; 井田哲雄 [ほか] 訳

日経BP社 , 日経BPマーケティング (発売), 2012.6

Other Title

The annotated Turing : a guided tour through Alan Turing's historic paper on computability and the Turing machine

Title Transcription

チューリング オ ヨム : コンピュータ サイエンス ノ キンジトウ オ タノシモウ

Available at  / 166 libraries

Note

その他の訳者: 鈴木大郎, 奥居哲, 浜名誠, 山田俊行

読書案内: p580-584

Description and Table of Contents

Description

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

Table of Contents

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

by "BOOK database"

Details

Page Top