Jump to main content
図書

不完全性定理とはなにか : ゲーデルとチューリングの考えたこと (ブルーバックス ; B-1810)

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

不完全性定理とはなにか : ゲーデルとチューリングの考えたこと

(ブルーバックス ; B-1810)

Call No. (NDL)
MA41-L11
Bibliographic ID of National Diet Library
024377948
Material type
図書
Author
竹内薫 著
Publisher
講談社
Publication date
2013.4
Material Format
Paper
Capacity, size, etc.
246p ; 18cm
NDC
410.9
View All

Detailed bibliographic record

Summary, etc.:

不完全性定理は、智の限界ではない! 数学ファンならずともちゃんと理解しておきたい「ゲーデルの不完全性定理」を平易に解説する。(Provided by: 出版情報登録センター(JPRO))

Search by Bookstore

Table of Contents

Provided by:出版情報登録センター(JPRO)Link to Help Page
  • プロローグ 「心優しきプログラマーさんの悩み」 第0章 こころの準備  公理から集合まで  いわゆる3ワカランについて  他 第1章 無限に挑んだドン・キホーテ、ゲオルク・カントール   微小説「永代就職」  まちがいだらけのカントール  無限ホテルの怪  〔コラム〕無限ホテルのオチ  偶数も奇数も無限個あるけれど  順序数と濃度  〔コラム〕集合で数を生む方法  他 第2章 ラッセル卿の希望を打ち砕いたクルト・ゲーデル   微小説「魔法使いの朝」  ラテン語の文法を完全にマスターした子供  論理学超入門(真偽表)  論理学超入門(真偽表の続き)  〔コラム〕ヒルベルトの23の問題  論理学超入門(形式証明)  ペアノ算術とは  〔コラム〕プリンキピア・マテマティカとは  真であることと証明できること  嘘つきのパラドックス  ゲーデル数  〔コラム〕現代のゲーデル数?  不完全性定理の証明の「あらすじ」  自己言及の魔物が棲んでいる  ブラックボックスの中を覗いてみる  無限に増殖する魔物たち  超数学とはなにか  他 ほか

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/タ/
    Book Registration Number:
    4012889111
  • 青森県立図書館

    Paper
    Call No.:
    410.9-タケウチ*カ
    Book Registration Number:
    10214392203
  • 岩手県立図書館

    Paper
    Call No.:
    Y410.9/タケ/
    Book Registration Number:
    1106274903
  • 秋田県立図書館

    Paper
    Call No.:
    410.9/タフ/
    Book Registration Number:
    123242901
  • 福島県立図書館

    Paper
    Call No.:
    410.9-タカ134
    Book Registration Number:
    305076333
  • 石川県立図書館

    Paper
    Call No.:
    S410.9/タケ フ
    Book Registration Number:
    008437170
  • 福井県立図書館

    Paper
    Call No.:
    410.9/ケテル
    Book Registration Number:
    1015999749
  • 岐阜県図書館

    Paper
    Call No.:
    410.9-タ
    Book Registration Number:
    8134349630
  • 愛知県図書館

    Paper
    Call No.:
    410.9-タケ-1063213
    Book Registration Number:
    1110632130
  • 名古屋市図書館

    Paper
    Call No.:
    4109//
    Book Registration Number:
    0236213112
  • 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 Digital

Material Type
図書
ISBN
978-4-06-257810-3
Title Transcription
フカンゼンセイ テイリ トワ ナニカ : ゲーデル ト チューリング ノ カンガエタ コト
Author/Editor
竹内薫 著
Author Heading
竹内, 薫, 1960- タケウチ, カオル, 1960- ( 00187325 )Authorities
Publication, Distribution, etc.
Publication Date
2013.4
Publication Date (W3CDTF)
2013