内容紹介：正しくても常に証明できるとは限らない。「証明」を深く考察した「不完全性定理」は真な命題は必ず証明できるはずだと考えていた数学
正しくても常に証明できるとはかぎらない。ゲーデルの不完全性定理は、公理と推論規則から数学全体を導こうと考えていた、当時の数学界に衝撃を与えました。チューリングは「決定問題」を考察するなかで、「チューリング機械」という仮想的な計算機から「計算可能性と停止問題」に行き着きます。二人は同じことを全く別の視点から証明したのです。天才たちの思考の軌跡を楽しく見ていきましょう。
もくじ情報：第０章　こころの準備（公理から集合まで；いわゆる３ワカランについて；この本の構成と読み方）；第１章　無限に挑んだドン・キホーテ、ゲオルク・カントール（まちがいだらけと揶揄されたカントール；無限ホテルの怪　ほか）；第２章　ラッセル卿の希望を打ち砕いたクルト・ゲーデル（ラテン語の文法を完全にマスターした子供；論理学超入門（真偽表）　ほか）；第３章　チューリングの辞書に「停まる」という文字はない（チューリングの肖像；友人の死と心脳問題　ほか）；第４章　Ω数、様相論理、エトセトラ（グレゴリー・チャイティンとΩ数；いろいろな不完全性　ほか）；特別対談　不完全性定理―数学と哲学の交差点から　加藤文元×竹内薫

竹内　薫(タケウチ　カオル)
サイエンス作家。１９６０年生まれ。東京大学教養学部教養学科、同大学理学部物理学科卒業。マギル大学大学院博士課程修了（高エネルギー物理学専攻、理学博士）。「サイエンスＺＥＲＯ」（ＮＨＫＥテレ）の司会を長く務め、科学コミュニケーターとしても広く知られる。また、教育にも強い関心を持っており、ＹＥＳ　Ｉｎｔｅｒｎａｔｉｏｎａｌ　Ｓｃｈｏｏｌ校長も務める（本データはこの書籍が刊行された当時に掲載されていたものです）