出版社内容情報
コンピュータの礎を創った，数学者，論理学者らの学術成果と，その人生を追いかけていく．コンピュータ前史
ライプニッツからチューリングに至る数理論理学の系譜は，コンピュータの理論的バックボーンを形成しAIの登場までも予見している．代数の記号表現を通じて人間の思考の範囲すべてを包括するような記号体系の構築に献身したロジシャンたちの苦闘を，時代背景を取り込みながら解説する．さらに本書を構成する7人のロジシャンたちを，豊富なエピソードをもとにその人となりを描写する．
また，本文に取り込むと冗長になりすぎる数学的解説は，原註に取り込むことで半独立的な構成としている．
比較的平易に書かれているので，コンピュータロジックの成り立ちに関心のある高校生以上の読者や，人工知能のロジックの成り立ちに関心のある読者にも必携の書である．
第1章 ライプニッツの夢
第2章 論理を代数に変換したブール
第3章 フレーゲ：画期的達成から絶望へ
第4章 無限を巡り歩いたカントル
第5章 ヒルベルトの救済プログラム
第6章 ヒルベルトの計画を転覆させたゲーデル
第7章 汎用計算機を構想したチューリング
第8章 万能計算機の現実化
第9章 ライプニッツの夢を超えて
マーティン デイビス［マーティン デイビス］
沼田 寛［ヌマタ ヒロシ］
目次
第１章 ライプニッツの夢
第２章 論理を代数に変換したブール
第３章 フレーゲ―画期的達成から絶望へ
第４章 無限を巡り歩いたカントル
第５章 ヒルベルトの救済プログラム
第６章 ヒルベルトの計画を転覆させたゲーデル
第７章 汎用計算機を構想したチューリング
第８章 現実化された万能計算機
第９章 ライプニッツの夢を超えて
著者等紹介
デイヴィス，マーティン［デイヴィス，マーティン］ ［Ｄａｖｉｓ，Ｍａｒｔｉｎ］
１９２８年、ニューヨーク市生まれ。アロンゾ・チャーチのもとで博士号を取得、１９５０年代にはヒルベルトの第１０問題に関する重要な部分的結果を得ている。１９５０年代後半には「チューリング機械の停止問題」を定式化、超準解析を解説した著書（難波完爾訳、培風館）もある。現在はニューヨーク大学名誉教授、カリフォルニア在住
沼田寛［ヌマタヒロシ］
１９４８年、滋賀県生まれ。京都大学理学部卒。出版社勤務、フリーのサイエンスライター等を経て、２０００年より公立はこだて未来大学システム情報科学部講師。２０１４年に定年退職後は、おもに科学書の翻訳の仕事をしている（本データはこの書籍が刊行された当時に掲載されていたものです）
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。
感想・レビュー
※以下の感想・レビューは、株式会社ブックウォーカーの提供する「読書メーター」によるものです。
ide_an
富士獣
