Search by Bookstore
Table of Contents
プロローグ 「心優しきプログラマーさんの悩み」 第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
Search by Bookstore
Publication bibliographic database 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.
Find by another way
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.
- Material Type
- 図書
- ISBN
- 978-4-06-257810-3
- Title Transcription
- フカンゼンセイ テイリ トワ ナニカ : ゲーデル ト チューリング ノ カンガエタ コト
- Author/Editor
- 竹内薫 著
- Series Title
- Author Heading
- 竹内, 薫, 1960- タケウチ, カオル, 1960- ( 00187325 )Authorities
- Publication, Distribution, etc.
- Publication Date
- 2013.4
- Publication Date (W3CDTF)
- 2013