出版書誌データベース

？本書は、カントール、ラッセル、ヒルベルト、ゲーデル、チューリング、そしてチャイティン自身の仕事を要約した「数学の基礎に関する百年論争」という講義で始まり、アルゴリズム情報理論を概観し、数学が準経験的であるという結論で締め括っている。その証明の多くはLISPプログラムで行っている。読者の熱心な復刻要望に応えました。限定500部の発行です。同じく復刻版の「数学の限界」も併読することを勧めます。

はしがき
第1章　数学の基礎に関する百年論争
第2章　LISP：数学アルゴリズムを表現する形式
第3章　不完全性定理についてのゲーデルの証明
第4章　停止問題の解決不可能性についてのチューリングの証明
第5章　LISP式がエレガントであることを証明できないという私の証明
第6章　情報とランダムさ：アルゴリズム的情報理論概観
第7章　数学の第三千年紀
参考文献

著：グレゴリー・J・チャイティン
アルゼンチン系米国人数学者で、不完全性に関するゲーデルとチューリングの研究をコンピュータプログラムのサイズに拡張したので「情報学のゲーデル」と称されています。IBMワトソン研究所勤務時代にはPowerプロセッサのアーキテクチャと関連ソフトウェア開発チームに所属していました。現在リオデジャネイロ在住。ブエノスアイレス大学名誉終身教授、南米最古のアルゼンチンのコルドバ大学名誉博士。

訳：黒川　利明
東芝㈱、新世代コンピュータ技術開発機構、日本IBM、㈱CSK（現SCSK㈱）、金沢工業大学を経て、現在　デザイン思考教育研究所主宰。IEEE SOFTWARE Advisory Boardメンバー、町田市介護予防サポーター、次世代サポーター。