キューネン数学基礎論講義
著者
書誌事項
キューネン数学基礎論講義
日本評論社, 2016.7
- タイトル別名
-
The foundations of mathematics
キューネン : 数学基礎論講義
- タイトル読み
-
キューネン スウガク キソロン コウギ
大学図書館所蔵 件 / 全114件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
文献: p[363]-367
内容説明・目次
内容説明
名著『集合論』の著者キューネンによる数学基礎論の教科書、待望の邦訳。公理的集合論からゲーデルの不完全性定理まで幅広い題材を、哲学的な話題も含めてていねいに解説します。
目次
- 第0章 導入(予備知識;述語論理 ほか)
- 第1章 集合論(方針;公理 ほか)
- 第2章 モデル理論と証明論(方針;証明論への史的導入 ほか)
- 第3章 数学の哲学(実際に真なのは何か;偽りのない理解のために)
- 第4章 再帰理論(概要;チャーチとチューリングの提唱 ほか)
「BOOKデータベース」 より