首页    期刊浏览 2025年07月11日 星期五
登录注册

文章基本信息

  • 标题:非可述性の分析としての証明論(<特集>あたらしい数理論理学の揺籃:証明論的な順序数と集合論的な順序数)
  • 本地全文:下载
  • 作者:秋吉 亮太
  • 期刊名称:科学基礎論研究
  • 印刷版ISSN:0022-7668
  • 电子版ISSN:1884-1236
  • 出版年度:2011
  • 卷号:39
  • 期号:2
  • 页码:93-107
  • DOI:10.4288/kisoron.39.2_93
  • 语种:Japanese
  • 出版社:科学基礎論学会
  • 摘要:

    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.

国家哲学社会科学文献中心版权所有