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...
Sparad:
| I publikationen: | Repères - IREM, N 50, janvier, 2003 ; p. 85 à 104 |
|---|---|
| Övriga upphovsmän: | |
| Materialtyp: | Article revue INSPE |
| Consulter le titre dans une bibliothèque: | Cliquer ici |
| LEADER | 01034nam a22001337a 4500 | ||
|---|---|---|---|
| 001 | 337532 | ||
| 008 | | 00k0xx ||| |||| 00| 0 ||| d | ||
| 022 | |a 1157285X | ||
| 245 | 1 | 0 | |a Le programme de Hilbert et les mathématiques constructives. |c Henri Lombardi. |
| 504 | |a Bibliographie p. 103-104 | ||
| 520 | |a 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é arithmétique de Peano). Pour ce qui concerne le corpus mathématiques de base, l'auteur défend l'idée que les mathématiques constructives sont les mieux à même de réaliser le programme de Hilbert, et donc de lever les doutes quand à la validité des mathématiques classiques. | ||
| 700 | |a Lombardi, Henri. | ||
| 773 | 0 | |t Repères - IREM |g N 50, janvier, 2003 ; p. 85 à 104 |x 1157-285X | |
| 997 | |0 337532 |1 Article revue INSPE |a Ressource papier | ||