逆数学 : 定理から公理を「証明」する
Author(s)
Bibliographic Information
逆数学 : 定理から公理を「証明」する
森北出版, 2019.2
- Other Title
-
Reverse mathematics : proofs from the inside out
逆数学 : 定理から公理を証明する
- Title Transcription
-
ギャクスウガク : テイリ カラ コウリ オ ショウメイ スル
Available at / 108 libraries
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
監訳・解説: 田中一之
参考文献: p189-195, p204-205
索引: p207-217
Description and Table of Contents
Description
定理の証明にはいったい、どれくらいの公理が必要なのだろう？考え方と歴史を知るための入門ガイド。
Table of Contents
- 第１章 逆数学に至る歴史
- 第２章 古典的算術化
- 第３章 古典的解析学
- 第４章 計算可能性
- 第５章 計算の算術化
- 第６章 算術的内包公理
- 第７章 再帰的内包公理
- 第８章 全体像
by "BOOK database"
