|
数学嫌いのためのコンピュータ論理学
何でも「計算」になる根本原理
ISBN4-87566-274-2 コンピュータ・エージ社
原書:W.W.Norton 「 The Universal Computer 」 ISBN0393047857
Martin Davis 著
岩山知三郎 訳
四六判 336ページ 本体価格\2,400 2003年07月発売
[内容]
本書は、現代のIT社会の論理的な基本概念を、ライプニッツ、ブール、ゲーデル、テューリングといった思索家たちの生涯、研究成果を元に解説している。
[目次]
・ライプニッツの夢
・論理を代数に変えたブール
・フレーゲ:画期的論考から絶望の淵へ
・カントールと無限という回り道
・ヒルベルトと数学の救済
・予想を覆したゲーデル
・テューリングの汎用コンピュータ
・最初の普遍コンピュータの製造
・ライプニッツの夢を超えて

|