書籍
書籍

販売価格

¥
2,860
税込
還元ポイント

在庫状況 について

構成数 : 1

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

  1. 1.[書籍]

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

作品の情報

フォーマット 書籍
発売日 2021年03月02日
国内/輸入 国内
出版社星雲社
構成数 1
パッケージ仕様 -
SKU 9784434284908
ページ数 114
判型 A5

メンバーズレビュー

レビューを書いてみませんか?

読み込み中にエラーが発生しました。

画面をリロードして、再読み込みしてください。