Bibliothèque Tangente. N° 49. Le monumental théorème de Feit-Thompson reçoit une preuve formelle. p. 82-84.
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 : Variations autour de la notion de preuve de l’ouvrage Bibliothèque Tangente n° 49 – Les maths de l’impossible.
Il est également paru dans Tangente Hors-série n° 49 – Mathématiques de l’impossible.
Données de publication
Éditeur Editions POLE Paris , 2013 Collection Bibliothèque Tangente Num. 49 Format 17 cm x 24 cm, p. 82-84
ISBN 2-8488-4156-7 EAN 9782848841564 ISSN 2263-4908
Public visé élève ou étudiant, enseignant, tout public Niveau 1re, 2de, licence, lycée, terminale Âge 15, 16, 17, 18, 19
Type chapitre d’un ouvrage, vulgarisation, popularisation Langue français Support papier
Classification