Gödel, constructivity, impredicativity, and feasibility

  • Jean Fichot
Part of the Publications des Archives Henri Poincaré / Publications of the Henri Poincaré Archives book series (PAHP)


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.


Computable Function Intuitionistic Logic Constructive Proof Peano Arithmetic Induction Principle 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Birkhäuser Verlag AG 2008

Authors and Affiliations

  • Jean Fichot
    • 1
  1. 1.CaenFrance

Personalised recommendations