知の限界 復刻改装版

Ｔｈｅ　Ｕｎｋｎｏｗａｂｌｅ

エスアイビー・アクセス 星雲社
グレゴリー・Ｊ．チャイティン　黒川利明　

• 価格: 2,860円（本体2,600円＋税）
• 発行年月: 2021年02月
• 判型: Ａ５
• ISBN: 9784434284908

内容情報

[BOOKデータベースより]

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

[日販商品データベースより]

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