知の限界 復刻改装版

目次 : 第１章　数学の基礎に関する百年論争/ 第２章　ＬＩＳＰ：数学アルゴリズムを表現する形式/ 第３章　不完全性定理についてのゲーデルの証明/ 第４章　停止問題の解決不可能性についてのチューリングの証明/ 第５章　ＬＩＳＰ式がエレガントであることを証明できないという私の証明/ 第６章　情報とランダムさ：アルゴリズム的情報理論概観/ 第７章　数学の第三千年紀

【著者紹介】
グレゴリー・J.チャイティン : アルゼンチン系米国人数学者でリオデジャネイロ在住。ブエノスアイレス大学名誉終身教授、南米最古のアルゼンチンのコルドバ大学名誉博士。ＩＢＭワトソン研究所勤務時代にはＰｏｗｅｒプロセッサのアーキテクチャと関連ソフトウェア開発チームに所属。理論面では不完全性に関するゲーデルとチューリングの研究をコンピュータプログラムのサイズに拡張したので「情報学のゲーデル」と称されている。彼は、停止確率Ωの発見者でもあり、それによってＷｏｌｆｒａｍ　Ｒｅｓｅａｒｃｈの２００７年ライプニッツ賞を受賞している。また進化をソフトウェア空間におけるランダムウォークと見なすメタバイオロジーの発案者でもある

黒川利明 : １９７２年、東京大学教養学部基礎科学科卒。東芝（株）、新世代コンピュータ技術開発機構、日本ＩＢＭ、（株）ＣＳＫ（現ＳＣＳＫ（株））金沢工業大学を経て、現在デザイン思考教育研究所主宰。ＩＥＥＥ　ＳＯＦＴＷＡＲＥ　Ａｄｖｉｓｏｒｙ　Ｂｏａｒｄメンバー、町田市介護予防サポーター、次世代サポーター（本データはこの書籍が刊行された当時に掲載されていたものです）