De Kronecker à Gödel via Hilbert. Les fondements arithmétiques et une crise sans fondement
Article [Version publiée]
Résumé·s
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 ».
Autre·s localisation·s
Droits d'utilisation : Ce texte est publié sous licence Creative Commons : Attribution – Pas d’utilisation commerciale – Partage dans les mêmes conditions 2.5 Canada.