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