Tangente Hors-série. N° 49. p. 42-43. Le monumental théorème de Feit-Thompson reçoit une preuve formelle.
Auteur : Thomas Edouard
Résumé
Cet article présente les résultats obtenus par Georges Gonthier et son équipe : produire une preuve formelle du théorème de Feit-Thompson en théorie des groupes.
Notes
Cet article est publié sous la rubrique « Interview ».
Il fait partie du dossier : Variation autour de la notion de preuve dans le numéro Tangente Hors-série n° 49 – Mathématiques de l’impossible.
Il est également paru dans l’ouvrage Bibliothèque Tangente n° 49 – Les maths de l’impossible.
Données de publication
Éditeur Editions POLE Paris , 2013 Format A4, p. 42-43
ISSN 1294-9949
Public visé élève ou étudiant, enseignant, tout public Niveau 1re, 2de, licence, lycée, terminale Âge 15, 16, 17, 18, 19
Type article de périodique ou revue, vulgarisation, popularisation Langue français Support papier
Classification