万能コンピュータ : ライプニッツからチューリングへの道すじ

Author(s)

• Davis, Martin
• 沼田, 寛 ヌマタ, ヒロシ

Bibliographic Information

万能コンピュータ : ライプニッツからチューリングへの道すじ

マーティン・デイヴィス原著 ; 沼田寛訳

近代科学社, 2016.11

チューリング生誕100周年記念版

Other Title

The universal computer : the road from Leibniz to Turing

Title Transcription

バンノウ コンピュータ : ライプニッツ カラ チューリング エノ ミチスジ

Note

参考文献: p[227]-235

索引あり

Description and Table of Contents

Table of Contents

• 第１章　ライプニッツの夢
• 第２章　論理を代数に変換したブール
• 第３章　フレーゲ—画期的達成から絶望へ
• 第４章　無限を巡り歩いたカントル
• 第５章　ヒルベルトの救済プログラム
• 第６章　ヒルベルトの計画を転覆させたゲーデル
• 第７章　汎用計算機を構想したチューリング
• 第８章　現実化された万能計算機
• 第９章　ライプニッツの夢を超えて

by "BOOK database"

• NCID: BB22701746
• ISBN:
  • 9784764904712
• Country Code: ja
• Title Language Code: jpn
• Text Language Code: jpn
• Original Language Code: eng
• Place of Publication: 東京
• Pages/Volumes: ix, 249p
• Size: 23cm
• Classification:
  • NDC8 : 410.96
  • NDC9 : 410.96
• Subject Headings:
  • BSH : 記号論理学 -- 歴史
  • BSH : コンピュータ -- 歴史
  • NDLSH : 数学者