Gödel's Reformulation of Gentzen's First Consistency Proof For Arithmetic: The No-Counterexample Interpretation
暂无分享,去创建一个
[1] Paul Bernays. On the Original Gentzen Consistency Proof for Number Theory , 1970 .
[2] K. Gödel,et al. Kurt Gödel : collected works , 1986 .
[3] Jeremy Avigad. Update Procedures and the 1-Consistency of Arithmetic , 2002, Math. Log. Q..
[4] G. Gentzen. Die Widerspruchsfreiheit der reinen Zahlentheorie , 1936 .
[5] J. Dekker,et al. Recursive function theory , 1962 .
[6] William W. Tait,et al. The substitution method , 1965, Journal of Symbolic Logic.
[7] Wilfried Buchholz. Explaining the Gentzen–Takeuti reduction steps: a second-order system , 2001, Arch. Math. Log..
[8] Wilhelm Ackermann,et al. Zur Widerspruchsfreiheit der Zahlentheorie , 1940 .
[9] Georg Kreisel,et al. On the interpretation of non-finitist proofs—Part I , 1951, Journal of Symbolic Logic.
[10] William W. Tait. Functionals Defined by Transfinite Recursion , 1965, J. Symb. Log..
[11] D. Hilbert,et al. Die Grundlegung der elementaren Zahlenlehre , 1931 .
[12] Thierry Coquand,et al. A semantics of evidence for classical arithmetic , 1995, Journal of Symbolic Logic.
[13] Ulrich Kohlenbach,et al. On the No-Counterexample Interpretation , 1997, Journal of Symbolic Logic.
[14] Gödel’s unpublished papers on foundations of mathematics , 2001 .
[15] W. W. Tatt. Godel's Unpublished Papers on Foundations of Mathematics , 2001 .
[16] K. Schütte. Beweistheoretische Erfassung der unendlichen Induktion in der Zahlentheorie , 1950 .