不完全性定理
著者
書誌事項
不完全性定理
共立出版, 2014.10
- タイトル別名
-
The incompleteness theorems
- タイトル読み
-
フカンゼンセイ テイリ
大学図書館所蔵 件 / 全142件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
参考文献: p[328]-338
内容説明・目次
内容説明
専門的な予備知識は仮定せずに完全性定理や計算可能性から論じ、第一および第二不完全性定理、Ｒｏｓｓｅｒの定理、Ｈｉｌｂｅｒｔのプログラム、Ｇ¨ｏｄｅｌの加速定理、算術の超準モデル、Ｋｏｌｍｏｇｏｒｏｖ複雑性などを紹介して、不完全性定理の数学的意義と、その根源にある哲学的問題を説く。
目次
- 第１章 序：物語の起源
- 第２章 命題論理
- 第３章 述語論理
- 第４章 算術と集合論
- 第５章 計算可能性
- 第６章 定義可能性と表現可能性
- 第７章 不完全性定理
- 第８章 幾つかの話題
- 第９章 跋：形式主義のふたつのドグマ
「BOOKデータベース」 より