← Aller à revueithaque.org/cahiers
Auteur: Gauthier, Yvon
Titre du chapitre: De Kronecker à Gödel via Hilbert. Les fondements arithmétiques et une crise sans fondement
Pages: 85 - 101
Directeur(s) de l'ouvrage: Lepage, François et Karine Fradet
Titre de l'ouvrage: La crise des fondements : quelle crise?
Ville: Montréal
Éditeur: Les Cahiers d'Ithaque
Nombre de pages: 216
URL: http://revueithaque.org/fichiers/cahiers/Lepage_Fradet.pdf
Résumé: La crise des fondements n’a pas affecté les fondements arithmétiques du constructivisme de Kronecker, Bien plutôt, c’est le finitisme kroneckerien de la théorie de l’arithmétique générale ou polynomiale qui a permis à Hilbert de surmonter la crise des fondements ensemblistes et qui a poussé Gödel, inspiré par Hilbert, à proposer une extension du point de vue finitiste pour obtenir une preuve constructive de la consistance de l’arithmétique dans son interprétation fonctionnelle « Dialectica ».