科学基礎論研究
Online ISSN : 1884-1236
Print ISSN : 0022-7668
ISSN-L : 0022-7668
非可述性の分析としての証明論(<特集>あたらしい数理論理学の揺籃:証明論的な順序数と集合論的な順序数)
秋吉 亮太
著者情報
ジャーナル フリー

2012 年 39 巻 2 号 p. 93-107

詳細
抄録

Proof theory was initiated by Hilbert for the foundation of mathematics, especially for carrying out "Hilbert's program". After Godel's incompleteness theorems, proof theory (ordinal analysis) has been developed as pure mathematics. It has been widely held that it is quite difficult to explain what has been gained in proof theory (ordinal analysis). In this paper we review the development of proof theory and its recent results for impredicative subsystems of analysis from the viewpoint of "analysis of impredicativity". We point out the main difficulties to explain conceptual significance of proof theory. Our conclusion is that such difficulties should be addressed by developing (not only proof theory as pure mathematics) philosophy of mathematics in future.

著者関連情報
© 2012 科学基礎論研究
前の記事 次の記事
feedback
Top