Gödel, constructivity, impredicativity and feasibility - HAL-SHS - Sciences de l'Homme et de la Société Accéder directement au contenu
Communication Dans Un Congrès Année : 2008

Gödel, constructivity, impredicativity and feasibility

Résumé

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.

Mots clés

Fichier non déposé

Dates et versions

halshs-00775665 , version 1 (21-01-2013)

Identifiants

  • HAL Id : halshs-00775665 , version 1

Citer

Jean Fichot. Gödel, constructivity, impredicativity and feasibility. 1907-2007 : Cent ans d'intuitionnisme, Jun 2007, Cerisy, France. pp.198-213. ⟨halshs-00775665⟩
161 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More