Alfred Tarski, né Alfred Teitelbaum le 14 janvier 1901 à Varsovie et mort le 26 octobre 1983 à Berkeley en Californie, est un logicien et un philosophe polonais, un des maîtres de l'école polonaise de logique et l'un des mathématiciens logiciens les plus éminents du XXe siècle, fondateur de la théorie des modèles et de la sémantique formelle. Wikipedia