数学嫌いのためのコンピュータ論理学 : 何でも「計算」になる根本原理

著者

• Davis, Martin
• 岩山, 知三郎 イワヤマ, トモサブロウ

書誌事項

数学嫌いのためのコンピュータ論理学 : 何でも「計算」になる根本原理

マーティン・ディヴィス著 ; 岩山知三郎訳

コンピュータ・エージ社, 2003.7

タイトル別名

The universal computer

数学嫌いのためのコンピュータ論理学 : 何でも計算になる根本原理

タイトル読み

スウガクギライ ノ タメ ノ コンピュータ ロンリガク : ナンデモ ケイサン ニ ナル コンポン ゲンリ

注記

文献: p313-320

原タイトルは標題紙裏による

内容説明・目次

内容説明

ＩＴ文明のルーツって何？そんな疑問にこたえる分かりやすい好著が邦訳された。ライプニッツ、ブール、ゲーデル、テューリング…。論理の巨人たちの肉声を聴いているうちに、いつしかコンピュータ大宇宙の中に引き込まれていく。

目次

• 第１章　ライプニッツの夢
• 第２章　論理を代数に変えたブール
• 第３章　フレーゲ—画期的論考からの絶望の淵へ
• 第４章　カントールと無限という回り道
• 第５章　ヒルベルトと数学の救済
• 第６章　予想を覆したゲーデル
• 第７章　テューリングの汎用コンピュータ
• 第８章　最初の普遍コンピュータの製造
• 第９章　ライプニッツの夢を超えて

「BOOKデータベース」 より

詳細情報

• NII書誌ID(NCID): BA63105812
• ISBN:
  • 4875662742
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 出版地: 東京
• ページ数/冊数: v, 335p
• 大きさ: 20cm
• 分類:
  • NDC8 : 410.96
  • NDC9 : 410.96
• 件名:
  • BSH : 記号論理学
  • BSH : コンピュータ -- 歴史