Alfred Tarski

Logicien et mathématicien polonais du XXe siècle, célèbre pour sa définition sémantique de la vérité et ses travaux fondateurs en théorie des modèles et en logique formelle.