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...
Na minha lista:
| Publicado no: | Repères - IREM, N 50, janvier, 2003 ; p. 85 à 104 |
|---|---|
| Outros Autores: | |
| Formato: | Article revue INSPE |
| Consulter le titre dans une bibliothèque: | Cliquer ici |