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