キューネン数学基礎論講義
Author(s)
Bibliographic Information
キューネン数学基礎論講義
日本評論社, 2016.7
- Other Title
-
The foundations of mathematics
キューネン : 数学基礎論講義
- Title Transcription
-
キューネン スウガク キソロン コウギ
Available at / 114 libraries
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
文献: p[363]-367
Description and Table of Contents
Description
名著『集合論』の著者キューネンによる数学基礎論の教科書、待望の邦訳。公理的集合論からゲーデルの不完全性定理まで幅広い題材を、哲学的な話題も含めてていねいに解説します。
Table of Contents
- 第0章 導入(予備知識;述語論理 ほか)
- 第1章 集合論(方針;公理 ほか)
- 第2章 モデル理論と証明論(方針;証明論への史的導入 ほか)
- 第3章 数学の哲学(実際に真なのは何か;偽りのない理解のために)
- 第4章 再帰理論(概要;チャーチとチューリングの提唱 ほか)
by "BOOK database"