Partager cette page :

Le génie mathématique, du théorème de quatre couleurs à la classification des groupes

le 12 février 2013

de 15h30 à 17h00

ENS Rennes Amphithéâtre
Plan d'accès

Intervention de Georges Gonthier (Microsoft Research, Cambridge). Séminaire du département Informatique et télécommunications.

Il y a trente ans les ordinateurs faisaient irruption dans les mathématiques avec la célèbre preuve du théorème des quatre couleurs par Appel et Haken. Au départ limité au simple calcul, leur rôle s'élargit maintenant à des raisonnements dont la complexité dépasse les capacités de la plupart des humains, comme la preuve de la classification des groupes simples finis. Nous venons d'en formaliser la première étape importante, le théorème de Feit-Thompson, à l'aide d'un éventail de méthodes et techniques qui vont de la logique formelle au génie logiciel.

L'événement est organisé avec le département de mathématiques.
Thématique(s)
Formation, Recherche - Valorisation
Contact
François Schwarzentruber

Mise à jour le 9 septembre 2019