[article]
| Titre : |
Variations autour de la notion de preuve |
| Type de document : |
texte imprimé |
| Editeur : |
Archimède, 2013 |
| Article : |
p.33-43 |
| Note générale : |
Bibliographie. |
in Tangente. Hors-série (Paris) > 049 (03/2013)
| Descripteurs : |
démonstration mathématique
|
| Résumé : |
Dossier sur la notion de preuve en mathématiques. De la conjecture au théorème : conjecture d'Euler, conjecture de Polya, conjecture de Goldbach, conjecture de Syracuse ; théorème des quatre couleurs, théorème de Fermat-Wiles, théorème de Poincaré-Perelman. Théorème d'incomplétude établi par le logicien autrichien Kurt Gödel. Problèmes de David Hilbert, problèmes de Steve Smale. Question de la validation des résultats : calculs d'Euler, démonstration des nombres transcendants de Georg Cantor, démonstration du théorème des quatre couleurs par Kenneth Appel et Wolfgang Haken. Entretien avec Georges Gonthier qui a réussi, avec son équipe, à produire une preuve formelle du théorème de Feit-Thompson en théorie des nombres. |
| Nature du document : |
documentaire |
| Genre : |
Article de périodique |
[article]
|
Variations autour de la notion de preuve
In Tangente. Hors-série (Paris), 049 (03/2013), p.33-43
Dossier sur la notion de preuve en mathématiques. De la conjecture au théorème : conjecture d'Euler, conjecture de Polya, conjecture de Goldbach, conjecture de Syracuse ; théorème des quatre couleurs, théorème de Fermat-Wiles, théorème de Poincaré-Perelman. Théorème d'incomplétude établi par le logicien autrichien Kurt Gödel. Problèmes de David Hilbert, problèmes de Steve Smale. Question de la validation des résultats : calculs d'Euler, démonstration des nombres transcendants de Georg Cantor, démonstration du théorème des quatre couleurs par Kenneth Appel et Wolfgang Haken. Entretien avec Georges Gonthier qui a réussi, avec son équipe, à produire une preuve formelle du théorème de Feit-Thompson en théorie des nombres.
|
| |
Variations autour de la notion de preuve / Archimède (2013) in Tangente. Hors-série (Paris), 049 (03/2013)