Abstract
This paper does not pretend to be an exhaustive survey of Gödel’s interpretation of intuitionism. This long and rather complicated story has already been told and analyzed by others, for instance in (Kreisel 1987b) and (Tait 2006a, b). More modestly, our first aim here is to present a different appearance of a ghost during that story, the one of impredicativity, and to show that only one case is to be taken seriously from a strict anti-realist point of view: the impredicativity of the concept of natural number. This leads to our second aim, which is to present some of the feasible versions of Gödel’s Dialectica interpretation.
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.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Birkhäuser Verlag AG
About this chapter
Cite this chapter
Fichot, J. (2008). Gödel, constructivity, impredicativity, and feasibility. In: van Atten, M., Boldini, P., Bourdeau, M., Heinzmann, G. (eds) One Hundred Years of Intuitionism (1907–2007). Publications des Archives Henri Poincaré / Publications of the Henri Poincaré Archives. Birkhäuser Basel. https://doi.org/10.1007/978-3-7643-8653-5_13
Download citation
DOI: https://doi.org/10.1007/978-3-7643-8653-5_13
Publisher Name: Birkhäuser Basel
Print ISBN: 978-3-7643-8652-8
Online ISBN: 978-3-7643-8653-5
eBook Packages: Humanities, Social Sciences and LawHistory (R0)