Jump to main content
図書

万能コンピュータ : ライプニッツからチューリングへの道すじ : チューリング生誕100周年記念版

Icons representing 図書
The cover of this title could differ from library to library. Link to Help Page

万能コンピュータ : ライプニッツからチューリングへの道すじ : チューリング生誕100周年記念版

Call No. (NDL)
M154-L269
Bibliographic ID of National Diet Library
027731603
Material type
図書
Author
マーティン・デイヴィス 原著ほか
Publisher
近代科学社
Publication date
2016.11
Material Format
Paper
Capacity, size, etc.
249p ; 23cm
NDC
548.2
View All

Notes on use

Note (General):

原タイトル: The Universal Computer 原著Turing Centenary Editionの翻訳

Detailed bibliographic record

Summary, etc.:

コンピュータの礎を創った,数学者,論理学者らの学術成果と,その人生を追いかけていく.(Provided by: 出版情報登録センター(JPRO))

Search by Bookstore

Table of Contents

Provided by:出版情報登録センター(JPRO)Link to Help Page
  • 第1章 ライプニッツの夢 第2章 論理を代数に変換したブール 第3章 フレーゲ:画期的達成から絶望へ 第4章 無限を巡り歩いたカントル 第5章 ヒルベルトの救済プログラム 第6章 ヒルベルトの計画を転覆させたゲーデル 第7章 汎用計算機を構想したチューリング 第8章 万能計算機の現実化 第9章 ライプニッツの夢を超えて

Holdings of Libraries in Japan

This page shows libraries in Japan other than the National Diet Library that hold the material.

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

Northern Japan

  • 北海道立図書館

    Paper
    Call No.:
    410.96/B
    Book Registration Number:
    1112096860
  • 札幌市中央図書館

    Paper
    Call No.:
    410.9/デ/
    Book Registration Number:
    0180059990

Kanto

  • 富山県立図書館

    Paper
    Call No.:
    410.2/163/
    Book Registration Number:
    009428871
  • 石川県立図書館

    Paper
    Call No.:
    410.96/テウ ハ
    Book Registration Number:
    009217548
  • 福井県立図書館

    Paper
    Call No.:
    548.2/テヒス
    Book Registration Number:
    1016372821
  • 岐阜県図書館

    Paper
    Call No.:
    410.9-デ
    Book Registration Number:
    8134748205

Search by Bookstore

Publication bibliographic database Books Find a bookstore where you can purchase books from

Books is a database of the publishing industry with information provided by publishers. You can search for currently available paperbacks and eBooks.

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper Digital

Material Type
図書
ISBN
978-4-7649-0471-2
Title Transcription
バンノウ コンピュータ : ライプニッツ カラ チューリング エノ ミチスジ : チューリング セイタン ヒャクシュウネン キネンバン
Author/Editor
マーティン・デイヴィス 原著
沼田寛 訳
Author Heading
沼田, 寛, 1948- ヌマタ, ヒロシ, 1948- ( 00222260 )Authorities
Publication, Distribution, etc.
Publication Date
2016.11
Publication Date (W3CDTF)
2016
Extent
249p