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:20250330T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20251026T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20251008T131500
DTEND;TZID=Europe/Paris:20251008T141500
DTSTAMP:20260418T231254
CREATED:20250919T084732Z
LAST-MODIFIED:20251118T083907Z
UID:19851-1759929300-1759932900@www.math.ens.psl.eu
SUMMARY:Le problème de Tarski
DESCRIPTION:Un énoncé du premier ordre dans le langage de la théorie des groupes est un énoncé mathématique dont les variables désignent uniquement des éléments d’un groupe\, et l’on dit que deux groupes sont élémentairement équivalents s’ils vérifient les mêmes énoncés du premier ordre. Je présenterai ces notions au moyen d’exemples simples puis m’intéresserai à une question posée par Tarski dans les années 40 au sujet du groupe libre de rang n (qui est\, informellement\, le plus gros groupe que l’on puisse fabriquer à partir de n éléments)\, connue comme le problème de Tarski : les groupes libres de rang au moins deux sont-ils élémentairement équivalents ? En dépit de l’apparente simplicité de son énoncé\, ce probème n’a été résolu qu’au début des années 2000 par Sela et Kharlampovich-Myasnikov\, mais leurs preuves\, très techniques et longues de plusieurs centaines de pages\, n’ont pas encore été parfaitement digérées par la communauté mathématique.
URL:https://www.math.ens.psl.eu/evenement/le-probleme-de-tarski/
LOCATION:ENS — amphi Galois\, 45 rue d'Ulm\, Paris\, France
CATEGORIES:ANNÉE 2025-2026,Séminaire Des mathématiques
END:VEVENT
END:VCALENDAR