Le programme de Hilbert et les mathématiques constructives.
Cet article discute le programme de Hilbert. L'auteur soutient que seule sa version primitive a été mise en échec par le théorème d'incomplétude de Gödel. Il explique en quoi on peut considérer qu'il a été réalisé par l'arthmétique élémentaire (décrite par le systéme formel appel...
Enregistré dans:
| Dans: | Repères - IREM, N 50, janvier, 2003 ; p. 85 à 104 |
|---|---|
| Autres auteurs: | |
| Format: | Article revue INSPE |
| Consulter le titre dans une bibliothèque: | Cliquer ici |