Georges Gonthier – Le génie mathématique, du théorème de quatre couleurs à la classification des groupes
18 nov. 2010 Voilà plus de trente ans que l’informatique et les ordinateurs ont fait irruption dans les mathématiques, avec la célèbre preuve du théorème des quatre couleurs par Appel et Haken. Leur rôle s’est amplifié récemment, car ils permettent maintenant de maîtriser non plus seulement des calculs, mais aussi…