- 発売日：2021/03/02
- 出版社：星雲社
- ISBN：9784434284908
通常価格
2,860 円（税込）
通常価格
セール価格
2,860 円（税込）
単価
あたり
- 発売日：2021/03/02
- 出版社：星雲社
- ISBN：9784434284908
読み込み中...
My店舗在庫
My店舗登録で在庫確認と店舗お受け取りのご利用が可能になります。(要ログイン)
店舗在庫
商品説明
？本書は、カントール、ラッセル、ヒルベルト、ゲーデル、チューリング、そしてチャイティン自身の仕事を要約した「数学の基礎に関する百年論争」という講義で始まり、アルゴリズム情報理論を概観し、数学が準経験的であるという結論で締め括っている。その証明の多くはLISPプログラムで行っている。読者の熱心な復刻要望に応えました。限定500部の発行です。同じく復刻版の「数学の限界」も併読することを勧めます。
目次
はしがき
第1章 数学の基礎に関する百年論争
第2章 LISP：数学アルゴリズムを表現する形式
第3章 不完全性定理についてのゲーデルの証明
第4章 停止問題の解決不可能性についてのチューリングの証明
第5章 LISP式がエレガントであることを証明できないという私の証明
第6章 情報とランダムさ：アルゴリズム的情報理論概観
第7章 数学の第三千年紀
参考文献
第1章 数学の基礎に関する百年論争
第2章 LISP：数学アルゴリズムを表現する形式
第3章 不完全性定理についてのゲーデルの証明
第4章 停止問題の解決不可能性についてのチューリングの証明
第5章 LISP式がエレガントであることを証明できないという私の証明
第6章 情報とランダムさ：アルゴリズム的情報理論概観
第7章 数学の第三千年紀
参考文献
カスタマーレビュー
honto本の通販ストアのレビュー(0件)
並び順:
1/1ページ
