| Titre : | Le projet de Hilbert (2003) |
| Type de document : | Article : texte imprimé |
| Dans : | Tangente. Hors série (15, mai 2003) |
| Article : | p. 27-40 |
| Descripteurs : | |
| 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 |
CDI Lycée Jeanne d'Arc
Bienvenue sur le portail PMB du CDI du lycée Jeanne d'Arc de Pontivy
Accueil
Se connecter
Adresse
CDI Lycée Jeanne d'Arc6, rue Théodore Botrel
Pontivy
France