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.
- ANNÉE 2009-2010
- Archives Séminaire « Des mathématiques »
- Séminaire Des mathématiques