書店で探す
目次
提供元：出版情報登録センター（JPRO）ヘルプページへのリンク
プロローグ 「心優しきプログラマーさんの悩み」 第０章 こころの準備 公理から集合まで いわゆる３ワカランについて 他 第１章 無限に挑んだドン・キホーテ、ゲオルク・カントール 微小説「永代就職」 まちがいだらけのカントール 無限ホテルの怪 〔コラム〕無限ホテルのオチ 偶数も奇数も無限個あるけれど 順序数と濃度 〔コラム〕集合で数を生む方法 他 第２章 ラッセル卿の希望を打ち砕いたクルト・ゲーデル 微小説「魔法使いの朝」 ラテン語の文法を完全にマスターした子供 論理学超入門（真偽表） 論理学超入門（真偽表の続き） 〔コラム〕ヒルベルトの23の問題 論理学超入門（形式証明） ペアノ算術とは 〔コラム〕プリンキピア・マテマティカとは 真であることと証明できること 嘘つきのパラドックス ゲーデル数 〔コラム〕現代のゲーデル数？ 不完全性定理の証明の「あらすじ」 自己言及の魔物が棲んでいる ブラックボックスの中を覗いてみる 無限に増殖する魔物たち 超数学とはなにか 他 ほか
全国の図書館の所蔵
国立国会図書館以外の全国の図書館の所蔵状況を表示します。
所蔵のある図書館から取寄せることが可能かなど、資料の利用方法は、ご自身が利用されるお近くの図書館へご相談ください
北日本
札幌市中央図書館
紙- 請求記号：
- 410/ﾀ/
- 図書登録番号：
- 4012889111
青森県立図書館
紙- 請求記号：
- 410.9-ﾀｹｳﾁ*ｶ
- 図書登録番号：
- 10214392203
岩手県立図書館
紙- 請求記号：
- Ｙ４１０．９／タケ／
- 図書登録番号：
- 1106274903
秋田県立図書館
紙- 請求記号：
- 410.9/ﾀﾌ/
- 図書登録番号：
- 123242901
福島県立図書館
紙- 請求記号：
- 410.9-ﾀｶ134
- 図書登録番号：
- 305076333
書店で探す
出版書誌データベース 
から購入できる書店を探す
『Books』は各出版社から提供された情報による出版業界のデータベースです。 現在入手可能な紙の本と電子書籍を検索することができます。
別の方法で探す
書誌情報
この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。
- 資料種別
- 図書
- ISBN
- 978-4-06-257810-3
- タイトルよみ
- フカンゼンセイ テイリ トワ ナニカ : ゲーデル ト チューリング ノ カンガエタ コト
- 著者・編者
- 竹内薫 著
- シリーズタイトル
- 著者標目
- 竹内, 薫, 1960- タケウチ, カオル, 1960- ( 00187325 )典拠
- 出版事項
- 出版年月日等
- 2013.4
- 出版年（W3CDTF）
- 2013