逆数学と2階算術 (数学基礎論シリ-ズ)

著者 : 田中一之

• 河合出版 (1997年8月10日発売)

感想・レビュー・書評

[keisyunさんの感想 · 2012年5月1日]

通常の数学は公理を決めて定理を証明をしていくが、この定理を証明するのにどの公理が必要かを決めていくのが逆数学。
第1章の途中くらいまではついていけたが、以降はただ文字を追うのみ。
一読したくらいでは理解できませんでした。でも苦痛ではないんだな。

著者プロフィール

東北大学大学院理学研究科教授

「2019年 『山の上のロジック学園』 で使われていた紹介文から引用しています。」