|
丸善のおすすめ度
万能コンピュータ～ライプニッツからチューリングへの道すじ～
沼田 寛
翻訳
マーティン・デイヴィス
他
発行年月 |
2016年11月 |
|---|
|
|
言語 |
日本語 |
|---|
媒体 |
冊子 |
|---|
|
|
ページ数／巻数 |
9p,249p |
|---|
大きさ |
23cm |
|---|
|
ジャンル |
和書／理工学／数学／数学一般・その他 |
|---|
|
|
ISBN |
9784764904712 |
|---|
|
商品コード |
1023484247 |
|---|
NDC分類 |
410.96 |
|---|
|
|
本の性格 |
学生用 |
|---|
|
新刊案内掲載月 |
2017年01月2週 |
|---|
|
商品URL
| https://kw.maruzen.co.jp/ims/itemDetail.html?itmCd=1023484247 |
|---|
著者紹介
マーティン・デイヴィス（他）：1928年ニューヨーク市生まれ。アロンゾ・チャーチのもとで博士号を取得。ニューヨーク大学名誉教授。記号論理学の歴史に造詣が深い。
内容
コンピュータ前史 ライプニッツからチューリングに至る数理論理学の系譜は，コンピュータの理論的バックボーンを形成しAIの登場までも予見している．代数の記号表現を通じて人間の思考の範囲すべてを包括するような記号体系の構築に献身したロジシャンたちの苦闘を，時代背景を取り込みながら解説する．さらに本書を構成する7人のロジシャンたちを，豊富なエピソードをもとにその人となりを描写する． また，本文に取り込むと冗長になりすぎる数学的解説は，原註に取り込むことで半独立的な構成としている． 比較的平易に書かれているので，コンピュータロジックの成り立ちに関心のある高校生以上の読者や，人工知能のロジックの成り立ちに関心のある読者にも必携の書である．
