図書

知の限界 復刻改装版

Icons representing 図書

知の限界

復刻改装版

Call No. (NDL)
MA41-M31
Bibliographic ID of National Diet Library
031297358
Material type
図書
Author
グレゴリー・J・チャイティン 著ほか
Publisher
エスアイビー・アクセス
Publication date
2021.2
Material Format
Paper
Capacity, size, etc.
111p ; 21cm
NDC
410.9
View All

Notes on use

Note (General):

原タイトル: The Unknowable

Detailed bibliographic record

Summary, etc.:

知の限界をアルゴリズム情報理論で明らかにした名著の復刻改装版。(Provided by: 出版情報登録センター(JPRO))

Author introduction:

グレゴリー・J・チャイティン アルゼンチン系米国人数学者で、不完全性に関するゲーデルとチューリングの研究をコンピュータプログラムのサイズに拡張したので「情報学のゲーデル」と称されています。IBMワトソン研究所勤務時代にはPowerプロセッサのアーキテクチャと関連ソフトウェア開発チームに所属していまし...

Search by Bookstore

Table of Contents

  • はしがき

  • 第1章 数学の基礎に関する百年論争

  • 第2章 LISP:数学アルゴリズムを表現する形式

  • 第3章 不完全性定理についてのゲーデルの証明

  • 第4章 停止問題の解決不可能性についてのチューリングの証明

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

Kanto

Tokai/Hokuriku

  • 石川県立図書館

    Paper
    Call No.:
    410.9/チヤ チ
    Book Registration Number:
    100615558

Kinki

  • 岡山県立図書館

    Paper
    Call No.:
    410.9/チヤ21/
    Book Registration Number:
    0015808199
  • CiNii Research

    Search Service
    Paper
    You can check the holdings of institutions and databases with which CiNii Research is linked at the site of CiNii Research.

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

Material Type
図書
ISBN
978-4-434-28490-8
Title Transcription
チ ノ ゲンカイ
Author/Editor
グレゴリー・J・チャイティン 著
黒川利明 訳
Edition
復刻改装版
Author Heading
訳者 : 黒川, 利明, 1948- クロカワ, トシアキ, 1948- ( 00125314 )Authorities
Publication Date
2021.2
Publication Date (W3CDTF)
2021