販売価格
販売中
お取り寄せお取り寄せの商品となります
入荷の見込みがないことが確認された場合や、ご注文後40日前後を経過しても入荷がない場合は、取り寄せ手配を終了し、この商品をキャンセルとさせていただきます。
| フォーマット | 書籍 |
| 発売日 | 2021年03月02日 |
| 国内/輸入 | 国内 |
| 出版社 | 星雲社 |
| 構成数 | 1 |
| パッケージ仕様 | - |
| SKU | 9784434284908 |
| ページ数 | 114 |
| 判型 | A5 |
構成数 : 1枚
はしがき
第1章 数学の基礎に関する百年論争
第2章 LISP:数学アルゴリズムを表現する形式
第3章 不完全性定理についてのゲーデルの証明
第4章 停止問題の解決不可能性についてのチューリングの証明
第5章 LISP式がエレガントであることを証明できないという私の証明
第6章 情報とランダムさ:アルゴリズム的情報理論概観
第7章 数学の第三千年紀
参考文献
?本書は、カントール、ラッセル、ヒルベルト、ゲーデル、チューリング、そしてチャイティン自身の仕事を要約した「数学の基礎に関する百年論争」という講義で始まり、アルゴリズム情報理論を概観し、数学が準経験的であるという結論で締め括っている。その証明の多くはLISPプログラムで行っている。読者の熱心な復刻要望に応えました。限定500部の発行です。同じく復刻版の「数学の限界」も併読することを勧めます。

※ショッピングカートおよび注文内容の確認画面にてフラゲのお届けになるかご確認ください。
※各種前払い決済をご利用の場合、フラゲは保証しておりません。
※フラゲは配送日時指定なしでご注文いただいた場合に限ります。
読み込み中にエラーが発生しました。
画面をリロードして、再読み込みしてください。
