著者

新井 敏康

出版者

一般社団法人 日本数学会

雑誌

総合講演・企画特別講演アブストラクト (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] の証明を説明します。