目次
第１章 数学の基礎に関する百年論争
第２章 ＬＩＳＰ：数学アルゴリズムを表現する形式
第３章 不完全性定理についてのゲーデルの証明
第４章 停止問題の解決不可能性についてのチューリングの証明
第５章 ＬＩＳＰ式がエレガントであることを証明できないという私の証明
第６章 情報とランダムさ：アルゴリズム的情報理論概観
第７章 数学の第三千年紀
著者等紹介
チャイティン，グレゴリー・Ｊ．［チャイティン，グレゴリーＪ．］ ［Ｃｈａｉｔｉｎ，Ｇｒｅｇｏｒｙ Ｊ．］
アルゼンチン系米国人数学者でリオデジャネイロ在住。ブエノスアイレス大学名誉終身教授、南米最古のアルゼンチンのコルドバ大学名誉博士。ＩＢＭワトソン研究所勤務時代にはＰｏｗｅｒプロセッサのアーキテクチャと関連ソフトウェア開発チームに所属。理論面では不完全性に関するゲーデルとチューリングの研究をコンピュータプログラムのサイズに拡張したので「情報学のゲーデル」と称されている。彼は、停止確率Ωの発見者でもあり、それによってＷｏｌｆｒａｍ Ｒｅｓｅａｒｃｈの２００７年ライプニッツ賞を受賞している。また進化をソフトウェア空間におけるランダムウォークと見なすメタバイオロジーの発案者でもある
黒川利明［クロカワトシアキ］
１９７２年、東京大学教養学部基礎科学科卒。東芝（株）、新世代コンピュータ技術開発機構、日本ＩＢＭ、（株）ＣＳＫ（現ＳＣＳＫ（株））金沢工業大学を経て、現在デザイン思考教育研究所主宰。ＩＥＥＥ ＳＯＦＴＷＡＲＥ Ａｄｖｉｓｏｒｙ Ｂｏａｒｄメンバー、町田市介護予防サポーター、次世代サポーター（本データはこの書籍が刊行された当時に掲載されていたものです）
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。
