「honto 本の通販ストア」サービス終了及び外部通販ストア連携開始のお知らせ
詳細はこちらをご確認ください。
紙の本
万能コンピュータ ライプニッツからチューリングへの道すじ チューリング生誕100周年記念版
ライプニッツの夢、論理を代数に変換したブール、無限を巡り歩いたカントル、汎用計算機を構想したチューリング…。数理論理学の先駆者たちの足跡をたどりつつ、記号論理学と計算機ロ...
万能コンピュータ ライプニッツからチューリングへの道すじ チューリング生誕100周年記念版
万能コンピュータ
ワンステップ購入とは ワンステップ購入とは
このセットに含まれる商品
前へ戻る
- 対象はありません
次に進む
商品説明
ライプニッツの夢、論理を代数に変換したブール、無限を巡り歩いたカントル、汎用計算機を構想したチューリング…。数理論理学の先駆者たちの足跡をたどりつつ、記号論理学と計算機ロジックの世界を平易・簡明に紹介する。【「TRC MARC」の商品解説】
コンピュータ前史
ライプニッツからチューリングに至る数理論理学の系譜は,コンピュータの理論的バックボーンを形成しAIの登場までも予見している.代数の記号表現を通じて人間の思考の範囲すべてを包括するような記号体系の構築に献身したロジシャンたちの苦闘を,時代背景を取り込みながら解説する.さらに本書を構成する7人のロジシャンたちを,豊富なエピソードをもとにその人となりを描写する.
また,本文に取り込むと冗長になりすぎる数学的解説は,原註に取り込むことで半独立的な構成としている.
比較的平易に書かれているので,コンピュータロジックの成り立ちに関心のある高校生以上の読者や,人工知能のロジックの成り立ちに関心のある読者にも必携の書である.
【商品解説】
目次
- 第1章 ライプニッツの夢
- 第2章 論理を代数に変換したブール
- 第3章 フレーゲ:画期的達成から絶望へ
- 第4章 無限を巡り歩いたカントル
- 第5章 ヒルベルトの救済プログラム
- 第6章 ヒルベルトの計画を転覆させたゲーデル
- 第7章 汎用計算機を構想したチューリング
- 第8章 万能計算機の現実化
- 第9章 ライプニッツの夢を超えて
著者紹介
マーティン・デイヴィス
- 略歴
- 〈マーティン・デイヴィス〉1928年ニューヨーク市生まれ。アロンゾ・チャーチのもとで博士号を取得。ニューヨーク大学名誉教授。記号論理学の歴史に造詣が深い。
あわせて読みたい本
前へ戻る
- 対象はありません
次に進む
この著者・アーティストの他の商品
前へ戻る
- 対象はありません
次に進む