Le logicien polonais Alfred Tarski est né le 14 janvier 1902.
Tarski est notamment connu pour sa théorie de la vérité qui jeta les bases de la sémantique et de la théorie des modèles.
Il a laissé son nom au théorème de Tarski: on ne peut définir dans le langage de l'arithmétique la vérité des énoncés de ce langage.