著者
新井 敏康
出版者
一般社団法人 日本数学会
雑誌
総合講演・企画特別講演アブストラクト (ISSN:18843972)
巻号頁・発行日
vol.2002, no.Autumn-Meeting1, pp.42-53, 2002 (Released:2010-07-01)
参考文献数
3

D. Hilbert によって創始された「証明論」の目的は無矛盾性証明ですが、その企図についてお話します, cf. [2], [3]。それから、現在までのこの方向での「証明論」の進展について触れてから、Hilbert が与えた無矛盾性証明の指針に従って得られた W. Ackermann [1] の証明を説明します。