Bonjour à tous,
Suite à un empêchement de l'orateur, la séance de séminaire de Marco Gaboardi, initialement prévue le 28 avril, doit malheureusement être annulée et sera reportée à une date ultérieure.
Nous avons en revanche le plaisir d'accueillir Jean-Louis Krivine à la séance du séminaire PPS du:
Résumé: Tous les résultats de consistance relative en théorie des ensembles ont été obtenus en construisant des modèles de ZF, à partir d'un modèle donné, par deux méthodes:
=======
Vous pouvez noter dès maintenant que Pierre Hyvernat (LAMA) donnera le 19 mai un exposé intitulé foncteurs polynomiaux, jeux et logique linéaire (différentielle)
Plus de détails sur le séminaire à http://www.pps.jussieu.fr/seminaire.
À jeudi 5 mai,
Alexis
Jeudi 5 mai à 11h en salle 0C2
Réalisabilité classique et théorie des ensembles
Jean-Louis Krivine (PPS),Résumé: Tous les résultats de consistance relative en théorie des ensembles ont été obtenus en construisant des modèles de ZF, à partir d'un modèle donné, par deux méthodes:
- Les "modèles intérieurs", dont le plus connu est l'univers constructible (Gödel, 1940)
- Le "forcing" (Cohen, 1963)
Ces deux constructions ne changent pas la classe des ordinaux du modèle initial.
La technique de "réalisabilité classique", mise au point pour étudier la correspondance preuves-programmes, se révèle être un troisième méthode, qui donne des modèles de ZF complètement différents. En particulier, les ordinaux - et même les entiers - sont changés.
On montre, de cette façon, un résultat de consistance relative qu'on ne peut obtenir par les méthodes usuelles, concernant le "choix dépendant" et de curieuses propriétés de R.
=======
Vous pouvez noter dès maintenant que Pierre Hyvernat (LAMA) donnera le 19 mai un exposé intitulé foncteurs polynomiaux, jeux et logique linéaire (différentielle)
Plus de détails sur le séminaire à http://www.pps.jussieu.fr/seminaire.
À jeudi 5 mai,
Alexis
--
Alexis Saurin
Aucun commentaire:
Enregistrer un commentaire