Events

13 June 2013

Digiteo Seminar: “Le génie mathématique, du théorème des quatre couleurs à la classification des groupes”

20 June 2013, 14:00-15:00, Orsay University, department of Mathematics, Bat 425 (ground floor)

Georges Gonthier, Microsoft Research-Inria Joint Centre

Summary:
“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.”

More information here.