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