Les filtres : mode d'emploi

Orateur : Guillaume Dubach (école Polytechnique)

Résumé : L'objectif de cet exposé est de présenter les fondements de la théorie mathématique des filtres, et d'en illustrer l'utilité par la résolution d'une énigme logique. Outre les notations classiques de théorie des ensembles, tous les concepts nécessaires seront définis et expliqués; le seul véritable pré-requis sera de bien vouloir admettre l'Axiome du Choix, dont dépendra le résultat principal.