逆数学と2階算術 の商品レビュー

田中一之(著者),倉田令二朗

2012/05/01

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