Abstract
The purpose of this paper is to discuss Gentzen’s first consistency proof for arithmetic, the ‘galley proof’ (published for the first time in the Collected Papers, Amsterdam, 1969), by analyzing its methods of proof. Opposing positions on this subject have been taken by Bernays (1970) and Kreisel (1971). According to Kreisel’s analysis, which uses a result of Tait, it turns out that the ‘galley proof’ does not involve methods of proof exceeding transfinite induction up to ε0.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Bibliography
Bernays, P. (1970), ‘On the originals Gentzen consistency proof’, in Intuitionism and Proof Theory. Amsterdam, North-Holland. pp. 409–17.
Gentzen, G. (1969), Collected Papers, ed. by M.E. Szabo. Amsterdam, North Holland.
Kreisel, G. (1971), ‘Book review of Gentzen’s Collected Papers,’ Journal of Philosophy, 68, 238–65.
Kreisel, G. (1976), ‘Wie die Beweistheorie zu ihren Ordinalzahlen kam und kommt’, Jahresbericht der Deutschen Mathematiker-Vereinigung 78, 177–223.
Tait,W.W. (1961), ‘Nested recursion,’ Mathematische Annalen 143, 236–50.
Tait, W.W. (1965), ‘Functional defined by transfinite recursion’, Journal of Symbolic Logic 30, 155–192.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1980 D. Reidel Publishing Company
About this chapter
Cite this chapter
Negri, M. (1980). Constructive Sequent Reduction in Gentzen’s First Consistency Proof for Arithmetic. In: Dalla Chiara, M.L. (eds) Italian Studies in the Philosophy of Science. Boston Studies in the Philosophy of Science, vol 47. Springer, Dordrecht. https://doi.org/10.1007/978-94-009-8937-5_10
Download citation
DOI: https://doi.org/10.1007/978-94-009-8937-5_10
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-277-1073-4
Online ISBN: 978-94-009-8937-5
eBook Packages: Springer Book Archive