BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Département de mathématiques et applications - ECPv6.2.2//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:Département de mathématiques et applications
X-ORIGINAL-URL:https://www.math.ens.psl.eu
X-WR-CALDESC:évènements pour Département de mathématiques et applications
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:Europe/Paris
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20140330T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20141026T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20141126T170000
DTEND;TZID=Europe/Paris:20141126T170000
DTSTAMP:20260410T154211
CREATED:20141126T160000Z
LAST-MODIFIED:20211028T094608Z
UID:8847-1417021200-1417021200@www.math.ens.psl.eu
SUMMARY:Le génie mathématique\, du théorème de quatre couleurs à la classification des groupes
DESCRIPTION: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.
URL:https://www.math.ens.psl.eu/evenement/le-genie-mathematique-du-theoreme-de-quatre-couleurs-a-la-classification-des-groupes/
LOCATION:ENS (amphithéâtre Galois sous la bibliothèque de mathématique)
CATEGORIES:ANNÉE 2014-2015,Archives Séminaire « Des mathématiques »,Séminaire Des mathématiques
END:VEVENT
END:VCALENDAR