Séminaire de culture générale Mathématique
Friday 03 October 2025 à 15:00 - Salle 109
Simon André ()
Le problème de Tarski
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\