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

著者

書誌事項

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

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

近代科学社, 2016.11

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

タイトル別名

The universal computer : the road from Leibniz to Turing

タイトル読み

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

大学図書館所蔵 件 / 全102件

この図書・雑誌をさがす

注記

参考文献: p[227]-235

索引あり

内容説明・目次

目次

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

「BOOKデータベース」 より

詳細情報

ページトップへ