[article]
| Titre : |
Le projet de Hilbert |
| Type de document : |
texte imprimé |
| Année : |
2003 |
| Article : |
p. 27-40 |
in Tangente. Hors-série (Paris) > 15 (mai 2003)
| Descripteurs : |
logique mathématique / théorie des ensembles
|
| Résumé : |
Dossier sur les assertions vraies et non prouvables, le paradoxe du menteur, la preuve de Godel, vrai faux et indéterminé, les énigmes de Raymond Smullyan, les machines de Turing. Comment le programme du mathématicien "formaliste" Hilbert s'appuyant sur une démonstration absolue de la non-contradiction des mathématiques sera mis en cause par les théorèmes d'incomplétude de Godel. Bibliographie.
|
| Nature du document : |
documentaire |
[article]
|
Le projet de Hilbert
In Tangente. Hors-série (Paris), 15 (mai 2003), p. 27-40
Dossier sur les assertions vraies et non prouvables, le paradoxe du menteur, la preuve de Godel, vrai faux et indéterminé, les énigmes de Raymond Smullyan, les machines de Turing. Comment le programme du mathématicien "formaliste" Hilbert s'appuyant sur une démonstration absolue de la non-contradiction des mathématiques sera mis en cause par les théorèmes d'incomplétude de Godel. Bibliographie.
|
| |
Le projet de Hilbert in Tangente. Hors-série (Paris), 15 (mai 2003)