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

ディヴィス，マーティン【著】〈Ｄａｖｉｓ，Ｍａｒｔｉｎ〉/岩山 知三郎【訳】

コンピュータ・エージ社（2003/07発売）

• サイズ B6判／ページ数 335p／高さ 20cm
• 商品コード 9784875662747
• NDC分類 410.96
• Cコード C3040

内容説明

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

目次

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

著者等紹介

ディヴィス，マーティン［ディヴィス，マーティン］［Ｄａｖｉｓ，Ｍａｒｔｉｎ］
ニューヨーク大学クーラント数理科学研究所名誉教授、カリフォルニア大学バークレー校客員教授。ニューヨーク大学でエミール・ポストに学び、プリンストン大学でアロンゾ・チャーチの元で１９５１年に博士号を取得した。ディヴィスは、プリンストン高等研究所の研究員としてクルト・ゲーデルやクロード・シャノンなど、２０世紀を代表する論理学者に学ぶ機会をもった。ジョン・フォン・ノイマンとハーマン・ゴールドスタインが設計したプリンストン高等研究所のＩＡＳコンピュータで、数学的証明を導く史上初のプログラムを記述した人物としても知られている。現在、カリフォルニア州バークレー在住

岩山知三郎［イワヤマトモサブロウ］
１９５４年生まれ。同志社大学法学部政治学科卒。新聞社の米国特派員、ニューヨーク支局長などを経て、１９９６年より月刊コンピュートピア編集人
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。

感想・レビュー

※以下の感想・レビューは、株式会社ブックウォーカーの提供する「読書メーター」によるものです。

[しょ～や]

論理学は難しい。ライプニッツから始まり、チューリングやノイマンに至るコンピュータ論理学の歴史としては楽しく読めたけど、論理学をある程度知っていればもっと楽しめただろう。

2015/04/26

[kwy8791]

こりゃ面白い。コンピュータの概念を片付くる上での論理数学の発展を、学者の伝記を軸にまとめた一冊。これか、『CODE　コードから見たコンピュータのからくり』を、情報数学の取っ掛かりとして新入社員に薦めたい

2011/02/10