Séminaire de culture générale Mathématique
vendredi 03 octobre 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\