数学嫌いのためのコンピュータ論理学 : 何でも「計算」になる根本原理
著者
書誌事項
数学嫌いのためのコンピュータ論理学 : 何でも「計算」になる根本原理
コンピュータ・エージ社, 2003.7
- タイトル別名
-
The universal computer
数学嫌いのためのコンピュータ論理学 : 何でも計算になる根本原理
- タイトル読み
-
スウガクギライ ノ タメ ノ コンピュータ ロンリガク : ナンデモ ケイサン ニ ナル コンポン ゲンリ
大学図書館所蔵 全62件
この図書・雑誌をさがす
注記
文献: p313-320
原タイトルは標題紙裏による
内容説明・目次
内容説明
ＩＴ文明のルーツって何？そんな疑問にこたえる分かりやすい好著が邦訳された。ライプニッツ、ブール、ゲーデル、テューリング…。論理の巨人たちの肉声を聴いているうちに、いつしかコンピュータ大宇宙の中に引き込まれていく。
目次
- 第１章 ライプニッツの夢
- 第２章 論理を代数に変えたブール
- 第３章 フレーゲ—画期的論考からの絶望の淵へ
- 第４章 カントールと無限という回り道
- 第５章 ヒルベルトと数学の救済
- 第６章 予想を覆したゲーデル
- 第７章 テューリングの汎用コンピュータ
- 第８章 最初の普遍コンピュータの製造
- 第９章 ライプニッツの夢を超えて
「BOOKデータベース」 より