逆数学 : 定理から公理を「証明」する
著者
書誌事項
逆数学 : 定理から公理を「証明」する
森北出版, 2019.2
- タイトル別名
-
Reverse mathematics : proofs from the inside out
逆数学 : 定理から公理を証明する
- タイトル読み
-
ギャクスウガク : テイリ カラ コウリ オ ショウメイ スル
大学図書館所蔵 件 / 全106件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
監訳・解説: 田中一之
参考文献: p189-195, p204-205
索引: p207-217
内容説明・目次
内容説明
定理の証明にはいったい、どれくらいの公理が必要なのだろう？考え方と歴史を知るための入門ガイド。
目次
- 第１章 逆数学に至る歴史
- 第２章 古典的算術化
- 第３章 古典的解析学
- 第４章 計算可能性
- 第５章 計算の算術化
- 第６章 算術的内包公理
- 第７章 再帰的内包公理
- 第８章 全体像
「BOOKデータベース」 より