知の限界
著者
書誌事項
知の限界
エスアイビー・アクセス , 星雲社 (発売), 2021.2
復刻改装版
- タイトル別名
-
The unknowable
Il n'y a guère de paradoxe sans utilité
- タイトル読み
-
チ ノ ゲンカイ
大学図書館所蔵 全18件
この図書・雑誌をさがす
注記
初版: 2001年刊
参考文献: p[105]-111
内容説明・目次
目次
- 第１章 数学の基礎に関する百年論争
- 第２章 ＬＩＳＰ：数学アルゴリズムを表現する形式
- 第３章 不完全性定理についてのゲーデルの証明
- 第４章 停止問題の解決不可能性についてのチューリングの証明
- 第５章 ＬＩＳＰ式がエレガントであることを証明できないという私の証明
- 第６章 情報とランダムさ：アルゴリズム的情報理論概観
- 第７章 数学の第三千年紀
「BOOKデータベース」 より