万能コンピュータ : ライプニッツからチューリングへの道すじ : チューリング生誕100周年記念版

• 資料種別: 図書
• ISBN: 978-4-7649-0471-2
• タイトル: 万能コンピュータ : ライプニッツからチューリングへの道すじ : チューリング生誕100周年記念版
• タイトルよみ: バンノウ コンピュータ : ライプニッツ カラ チューリング エノ ミチスジ : チューリング セイタン ヒャクシュウネン キネンバン
• 著者・編者: マーティン・デイヴィス 原著; 沼田寛 訳
• 著者標目: Davis, Martin, 1928- ( 00437365 )典拠; 沼田, 寛, 1948- ヌマタ, ヒロシ, 1948- ( 00222260 )典拠
• 出版事項: 東京 : 近代科学社
• 出版年月日等: 2016.11
• 出版年（W3CDTF）: 2016
• 数量: 249p
• 大きさ: 23cm
• その他のタイトル: The Universal Computer
• 出版地（国名コード）: JP
• 本文の言語コード: jpn
• 原文の言語コード: eng
• 件名標目: コンピュータ--歴史 コンピュータ レキシ ( 00606132 )典拠; 数学者 スウガクシャ ( 00571527 )典拠
• NDC9版: 548.2 : 情報工学
• NDLC: M154
• 対象利用者: 一般
• 一般注記: 原タイトル: The Universal Computer 原著Turing Centenary Editionの翻訳
• 書誌注記: 文献あり 索引あり
• 入手条件・定価: 3600円
• 所蔵機関: 国立国会図書館
• 請求記号: M154-L269
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 027731603; http://id.ndl.go.jp/bib/027731603
• 全国書誌番号: 22825795
• トーハンMARC番号: 33532180
• 目録規則: 日本目録規則1987年版改訂版
• 整理区分コード: 111

• 要約等: コンピュータの礎を創った，数学者，論理学者らの学術成果と，その人生を追いかけていく．（提供元: 出版情報登録センター（JPRO））

目次

第1章　ライプニッツの夢
第2章　論理を代数に変換したブール
第3章　フレーゲ：画期的達成から絶望へ
第4章　無限を巡り歩いたカントル
第5章　ヒルベルトの救済プログラム
第6章　ヒルベルトの計画を転覆させたゲーデル
第7章　汎用計算機を構想したチューリング
第8章　万能計算機の現実化
第9章　ライプニッツの夢を超えて