Colloquium
de mathématiques
http://lmb.univ-fcomte.fr/
jeu. 23 mai 2013 à 16h40
DESIGN GRAPHIQUE et ©PHOTO BOUTEILLER COMMUNICATION BESANÇON - IMPRESSION UFC - MAI 2013
Le génie mathématique, du théorème des quatre couleurs à la classification des groupes
L'ordinateur a fait sensation avec la preuve (sic !) du théorème des quatre couleurs puis avec celle, certifiée en 2013, du théorème de Feit-Thomson.
Aujourd'hui, l'ordinateur fait-il des maths à notre place ?
w Georges Gonthier
Microsoft Recherche - INRIA, Cambridge
Amphi B, UFR ST
16 route de Gray - Besançon