..
【利用不可】
万能コンピュータ マーティン デイビス(原著) - 近代科学社 【利用不可】
書店員向け情報 HELP
出版者情報
万能コンピュータ
ライプニッツからチューリングへの道すじ
発行：近代科学社
菊判
264ページ
定価
3,600円+税
- 書店発売日
- 2016年12月1日
- 登録日
- 2016年11月1日
- 最終更新日
- 2016年12月4日
紹介
コンピュータ前史
ライプニッツからチューリングに至る数理論理学の系譜は，コンピュータの理論的バックボーンを形成しAIの登場までも予見している．代数の記号表現を通じて人間の思考の範囲すべてを包括するような記号体系の構築に献身したロジシャンたちの苦闘を，時代背景を取り込みながら解説する．さらに本書を構成する7人のロジシャンたちを，豊富なエピソードをもとにその人となりを描写する．
また，本文に取り込むと冗長になりすぎる数学的解説は，原註に取り込むことで半独立的な構成としている．
比較的平易に書かれているので，コンピュータロジックの成り立ちに関心のある高校生以上の読者や，人工知能のロジックの成り立ちに関心のある読者にも必携の書である．
目次
第1章 ライプニッツの夢
第2章 論理を代数に変換したブール
第3章 フレーゲ：画期的達成から絶望へ
第4章 無限を巡り歩いたカントル
第5章 ヒルベルトの救済プログラム
第6章 ヒルベルトの計画を転覆させたゲーデル
第7章 汎用計算機を構想したチューリング
第8章 万能計算機の現実化
第9章 ライプニッツの夢を超えて
上記内容は本書刊行時のものです。
