- 著者
-
新井 敏康
- 出版者
- 一般社団法人 日本数学会
- 雑誌
- 総合講演・企画特別講演アブストラクト (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] の証明を説明します。