マーティンデイビス

Individuals/organizations Page

Books

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

マーティンデイビス

☆
☆
☆
☆
☆
Write review 

Product Details

Genre
：
Sciences&Physics
ISBN/Catalogue Number
：
ISBN 13 : 9784764904712
ISBN 10 : 4764904713
Format
：
Books
Publisher
：
近代科学社
Release Date
：
December/2016
Release Country
：
Japan
Co-Writer, Translator, Featured Individuals/organizations
:
マーティン・デーヴィス, 沼田寛, マーティン・デイヴィス ,  

Content Description

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

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

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

（「BOOK」データベースより）

Customer Reviews

Comprehensive Evaluation

☆
☆
☆
☆
☆

0.0

★
★
★
★
★
 
0
★
★
★
★
☆
 
0
★
★
★
☆
☆
 
0
★
★
☆
☆
☆
 
0
★
☆
☆
☆
☆
 
0
Write you own review

Book Meter Reviews

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

powered by

  • ide_an

    読了日：2019/09/04

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

  • 富士獣

    読了日：2021/10/28

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

レビューをもっと見る

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

Recommend Items

Sell This Item