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:20100328T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20101031T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20100210T170000
DTEND;TZID=Europe/Paris:20100210T170000
DTSTAMP:20260420T002027
CREATED:20100210T160000Z
LAST-MODIFIED:20211028T100156Z
UID:8777-1265821200-1265821200@www.math.ens.psl.eu
SUMMARY:Soyons positifs !
DESCRIPTION:Après une brève présentation\, s’inspirant de la pensée de Dieudonné\, des différentes branches de la Logique mathématique\, nous insisterons sur la specificité de la Théorie des modèles.Puis\, pour ce qui est du contenu proprement mathématique de l’exposé\, nous montrerons combien il est avantageux de se passer de la négation pour exposer ses fondements\, en particulier pour le Théorème de compacité\, qui sera demontré.Cet exposé ne suppose aucune connaissance préalable en Logique.Référence : Itai Ben Yaacov et Bruno Poizat\, Fondements de la Logique positive\, the Journal of Symbolic Logic\, 2007 .Mots-clefs : limites inductives\, structures existentiellement closes\, morleyisation\, compacité de la Logique du premier ordre.
URL:https://www.math.ens.psl.eu/evenement/soyons-positifs/
LOCATION:ENS (amphithéâtre Galois sous la bibliothèque de mathématique)
CATEGORIES:ANNÉE 2009-2010,Archives Séminaire « Des mathématiques »,Séminaire Des mathématiques
END:VEVENT
END:VCALENDAR