■不完全性定理とはなにか

ブルーバックス

書籍

オンデマンド版

大活字版

書籍

雑誌

電子版

読み上げ可能電子版

オーディオブック

著：竹内薫

出版社：講談社

同一作品の他版

アクセシブルブック

内容紹介

正しくても常に証明できるとは限らない。「証明」を深く考察した「不完全性定理」は真な命題は必ず証明できるはずだと考えていた数学界に、大きな衝撃を与えました。しかし「証明が不可能であることを証明する」ことは数学者にとっても難題です。この難題を、二人の天才はどのように解決したのでしょうか。（ブルーバックス・2013年4月刊）

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

JP-eコード：0625781000100011000W
出版社：講談社
コンテンツ公開日：2013年06月07日
現在、購入できません
TTS対応：あり。

※同一作品の他版、アクセシブルブックにはAIにより推定されたものが含まれる場合があります。

■不完全性定理とはなにか

内容紹介

目次