
マイページに作品情報をお届け!
不完全性定理とはなにか 完全版 ゲーデルとチューリング 天才はなにを証明したのか
フカンゼンセイテイリトハナニカカンゼンバンゲーデルトチューリングテンサイハナニヲショウメイシタノカ
- 著: 竹内 薫

正しくても常に証明できるとはかぎらない。
ゲーデルの不完全性定理は、公理と推論規則から数学全体を導こうと考えていた、当時の数学界に衝撃を与えました。
チューリングは「決定問題」を考察するなかで、チューリング機械という仮想の計算機から「計算可能性と停止問題」に行き着きます。
2人は同じことを全く別の視点から証明したのです。この天才たちの思考の軌跡を、集合論、ロジックとその過程を考えながら楽しく読み解いていきたいと思います。
「そうですね……ゲーデルは、数学者が紙と鉛筆で証明をおこなうプロセスを厳密に考察しました。その結果、算数の計算ができるような理論があったとして、その理論の内部では証明できないことがある 、という結論に達しました。で、チューリングは、証明のかわりに計算の本質を追究した結果、無限ループに陥って計算が終わるかどうかわからない、いいかえると、計算できないことがある、という結論に達しました。どうです? 似てませんか?」(「プロローグ」より)
完全版 特別対談収録!
加藤文元×竹内 薫
不完全性定理――数学と哲学の交差点から
Ⓒ竹内薫
オンライン書店で購入する
目次
はじめに
プロローグ 「心優しきプログラマーさんの悩み」
第0章 こころの準備
公理から集合まで
いわゆる3ワカランについて
この本の構成と読み方
第1章 無限に挑んだドン・キホーテ、ゲオルク・カントール
微小説「永代就職」
まちがいだらけと揶揄されたカントール
無限ホテルの怪
コラム 無限ホテルのオチ
偶数も奇数も無限個あるけれど
順序数と濃度
コラム 集合で数を生む方法
対角線論法
連続体仮説とは
デデキントとの交流
カントールの最期
第2章 ラッセル卿の希望を打ち砕いたクルト・ゲーデル
微小説「魔法使いの朝」
ラテン語の文法を完全にマスターした子供
論理学超入門(真偽表)
論理学超入門(真偽表の続き)
コラム ヒルベルトの23の問題
論理学超入門(形式証明)
ペアノ算術とは
コラム プリンキピア・マテマティカとは
真であることと証明できること
嘘つきのパラドックス
ゲーデル数
コラム 現代のゲーデル数?
不完全性定理の証明の「あらすじ」
自己言及の魔物が棲んでいる
ブラックボックスの中を覗いてみる
無限に増殖する魔物たち
超数学とはなにか
コラム 次のレベルに進みたいあなたへ
コラム 完全性と2つの不完全性
スマリヤンのパズルでゲーデルの定理を
ゲーデルの最期
第3章 チューリングの辞書に「停まる」という文字はない
微小説 「は、自分の引用が前に来るとウソになる」
チューリングの肖像
友人の死と心脳問題
ケンブリッジ大学
チューリング機械とはなにか
チューリング機械の動きを見てみる
原始帰納的な計算
コラム ボナッチの息子と帰納的定義
一般帰納的
停止問題の証明のあらすじ
停止問題から不完全性へ
チューリングの死
第4章 Ω数、様相論理、エトセトラ
微小説 「ループ」
グレゴリー・チャイティンとΩ数
コラム チャイティンの「哲学」
いろいろな不完全性
様相論理から証明可能性へ
証明可能性論理と不完全性定理
物理学は影響を受けるのか
コラム あくまで私見ですが
不完全性と不確定性の関係?
視点の問題
不完全性定理と脳と宇宙
エピローグ 「とあるサイエンス作家のゲーデル遍歴」
特別対談
不完全性定理――哲学と数学の交差点から
加藤文元×竹内 薫
付録1 ベリーのパラドックスと不完全性定理
ブーロスの新しい証明の概略
付録2 「竹内流ゲーデル教程」(ええと、ようするに読書案内です)
謝辞
さくいん
書誌情報
紙版
発売日
2024年11月21日
ISBN
9784065362266
判型
新書
価格
定価:1,210円(本体1,100円)
通巻番号
2277
ページ数
288ページ
シリーズ
ブルーバックス
電子版
発売日
2024年11月20日
JDCN
06A0000000000803771W
著者紹介
サイエンス作家。1960年生まれ。東京大学教養学部教養学科、同大学理学部物理学科卒業。マギル大学大学院博士課程修了(高エネルギー物理学専攻、理学博士)。「サイエンスZERO」(NHKEテレ)の司会を長く務め、科学コミュニケーターとしても広く知られている。主な著書に『量子重力理論とはなにか』『超ひも理論とはなにか』『「ファインマン物理学」を読む・全3巻』『ペンローズのねじれた四次元〈増補新版〉』、『ゼロから学ぶ量子力学 普及版』(いずれもブルーバックス)などがある。また、教育にも強い関心を持っており、YES International School校長も務める。
オンライン書店一覧
既刊・関連作品一覧
関連シリーズ
-
中学数学で解く大学入試問題
-
はじめてのガロア
-
学びなおし! 数学
-
中学数学で磨く数学センス
-
やわらか頭「江戸脳」をつくる和算ドリル
-
無限とはなんだろう
-
「複雑系」入門
-
はまると深い! 数学クイズ 直感力・思考力を磨く
-
快感!算数力
-
数学史入門
-
世界は「e」でできている
-
マンガ 一晩でわかる中学数学
-
数学とはどんな学問か? 数学嫌いのための数学入門
-
数式図鑑
-
四角形の七不思議
-
多様体とは何か
-
多角形と多面体
-
ライブ講義 大学生のための応用数学入門
-
ゼロからできるMCMC マルコフ連鎖モンテカルロ法の実践的入門
-
高校数学からはじめるディープラーニング
-
数の概念
-
データサイエンスのための数学
-
数学にとって証明とはなにか
-
高校数学でわかる複素関数
-
数学は嫌いです!
-
居なおり数学のすすめ
-
ものぐさ数学のすすめ
-
ライブ講義 大学1年生のための数学入門
-
音楽から聴こえる数学
-
学問の発見 数学者が語る「考えること・学ぶこと」
-
美しすぎる数学の世界
-
いやでも数学が面白くなる
-
おもしろいほど数学センスが身につく本
-
数学ミステリー X教授を殺したのはだれだ!
-
群論入門
-
ようこそ「多変量解析」クラブへ 何をどう計算するのか
-
直感を裏切る数学 「思い込み」にだまされない数学的思考法
-
数学的思考
-
数学質問箱
-
数学の歴史
-
数学にときめく
-
現代数学小辞典
-
曲線の秘密
-
マンガ おはなし数学史
-
算法勝負!「江戸の数学」に挑戦
-
文系のための数学教室
-
数学的思考法
-
数学の考え方
-
数学でつまずくのはなぜか
-
人生を変える「数学」そして「音楽」
-
算数・数学が得意になる本