Books

万能コンピュータ ライプニッツからチューリングへの道すじ

マーティンデイビス

Product Details

Genre
ISBN/Catalogue Number
ISBN 13 : 9784764904712
ISBN 10 : 4764904713
Format
Books
Publisher
Release Date
December/2016
Japan
Co-Writer, Translator, Featured Individuals/organizations
:

Content Description

目次 : 第1章 ライプニッツの夢/ 第2章 論理を代数に変換したブール/ 第3章 フレーゲ―画期的達成から絶望へ/ 第4章 無限を巡り歩いたカントル/ 第5章 ヒルベルトの救済プログラム/ 第6章 ヒルベルトの計画を転覆させたゲーデル/ 第7章 汎用計算機を構想したチューリング/ 第8章 現実化された万能計算機/ 第9章 ライプニッツの夢を超えて

【著者紹介】
マーティン・デイヴィス : 1928年、ニューヨーク市生まれ。アロンゾ・チャーチのもとで博士号を取得、1950年代にはヒルベルトの第10問題に関する重要な部分的結果を得ている。1950年代後半には「チューリング機械の停止問題」を定式化、超準解析を解説した著書(難波完爾訳、培風館)もある。現在はニューヨーク大学名誉教授、カリフォルニア在住

沼田寛 : 1948年、滋賀県生まれ。京都大学理学部卒。出版社勤務、フリーのサイエンスライター等を経て、2000年より公立はこだて未来大学システム情報科学部講師。2014年に定年退職後は、おもに科学書の翻訳の仕事をしている(本データはこの書籍が刊行された当時に掲載されていたものです)

(「BOOK」データベースより)

Customer Reviews

Comprehensive Evaluation

☆
☆
☆
☆
☆

0.0

★
★
★
★
★
 
0
★
★
★
★
☆
 
0
★
★
★
☆
☆
 
0
★
★
☆
☆
☆
 
0
★
☆
☆
☆
☆
 
0

Book Meter Reviews

こちらは読書メーターで書かれたレビューとなります。

powered by

  • ide_an

    チューリングに至るまでの数学史・論理学史をまとめた本。 著者自身がチャーチの弟子であり、プリンストン高等研究所で実際にゲーデルらと会ってたりフォン・ノイマンのIASマシンに触れてたりと、生き字引感がすごい。 ロジコミックス( https://bookmeter.com/books/9786461 )の後に読んだので、このシーンはこのことだったのか、というのが分かってよかった。

  • 富士獣

    ライプニッツからチューリングまでの理論計算機科学前史。著者はチャーチの下で博士号取って教授で、学術的内容が正確だし自分の目で見たエピソードも盛り込まれていて価値が高い。 「…その発展が何を導くかを小賢しく予測することの無益さを強調している。…科学者たちに…支援を供給する側の人たちは、すぐ目に見える結果が出るように彼らを仕向けることを、あまりにもしばしば試みる。こうしたやり方は短期的に見ても無益なことを引き起こしがちなだけでなく…未来に対する不公正を行うことにもなりかねないのである(終)」

レビューをもっと見る

(外部サイト)に移動します

Recommend Items