内容説明
ゲーデルの不完全性定理、チューリングの停止問題、そして、チャイティンのΩ数。アイデアと創造性にあふれた新しい数学への道が今ひらかれる。
目次
１ 最初に
２ ３つの奇妙な愛：素数／ゲーデル／ＬＩＳＰ
３ デジタル情報：ＤＮＡ／ソフトウェア／ライプニッツ
４ 間奏曲
５ 連続体の迷路
６ 計算量、ランダム性、不完全性
７ むすび
著者等紹介
チャイティン，グレゴリー［チャイティン，グレゴリー］［Ｃｈａｉｔｉｎ，Ｇｒｅｇｏｒｙ］
数学に何ができて何ができないか、という問題を解明することに人生を捧げてきた、デジタル哲学／デジタル物理学運動の推進者のひとり。１９４７年生まれ。ＩＢＭ Ｔ．Ｊ．ワトソン研究所勤務。ニュージーランド、オークランド大学情報科学部客員教授。ニューヨーク在住
黒川利明［クロカワトシアキ］
１９４８年大阪生まれ。１９７２年東京大学教養学部基礎科学科卒業。同年東芝入社、８２‐８５年新世代コンピュータ技術開発機構へ出向。８５年日本アイ・ビー・エム入社、８９‐９０年ＩＢＭＴ．Ｊ．ワトソン研究所。９９年ＣＳＫ入社。現在（株）ＣＳＫホールディングスＣＳＫフェロー、総合企画部勤務、文部科学省科学技術政策研究所科学技術動向センター客員研究官。専攻はソフトウェア科学、標準学、科学技術コミュニティ（本データはこの書籍が刊行された当時に掲載されていたものです）
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。
感想・レビュー
※以下の感想・レビューは、株式会社ブックウォーカーの提供する「読書メーター」によるものです。
やす
4
自転車通勤のため、読書メーターがフラットラインと死亡状態。ようやく１冊読み終わる。メタ数学の話であり、科学哲学の本でもある。ゲーテルの不完全性定理、チューリングの計算不能を敷衍し著者は公理サイズ以上のプログラムは正しいか否か判別できないという両者をマージしたような理論を打ち立てたそうだ。理論とは理解の圧縮という主張とかみ合わないので私の理解を超えている話なんだろうと思う。物理学は標準理論にいったん収まった後、ニュートリノの質量を説明するポスト標準理論が必要なのだがストリング理論は複雑すぎる。圧縮されてない2016/06/02
thinkeroid
2
規約性として数学に映り込むのは、あなた自身の影。2010/04/25
masmt
2
ゲーデル、チューリングらによって示されてきた数学の不完全性をさらに一般化し、ありふれたものだとして証明したチャイティンによる一般向け数学書。こりゃ数学の見方が変わるわ2008/10/15
Akiro OUED
1
理解とは情報の圧縮だ。よって、万物理論とは、宇宙の全情報の圧縮操作だ。じゃ、ビッグバン宇宙論は、宇宙の情報量が有限だと言ってるのと同じだね。数学的に定義可能だけど計算不可能な実数オメガは、ガブリエルの新実在論が生存を保証する空想の中のユニコーンのアニキだね。知的刺激がキツイ。2021/01/10
リオ
1
ランダムとか、無意識とか もう一回ちゃんと読みたい（可能ならば2017/07/21
