Alfred Tarski (1901-1983) is unanimously recognised as one of the greatest logicians in history. His contributions range from set theory to model theory, from the semantics of formal languages to the foundations of geometry, from the algebra of logic to the logic of algebra. This profile gives an overview of his work and its influence. Alfred Tarski (1901-1983) è unanimemente ritenuto uno dei grandi della storia della logica matematica. I suoi contributi spaziano dalla teoria degli insiemi alla teoria dei modelli, dalla semantica dei linguaggi ai fondamenti della geometria, dall’algebra della logica alla logica dell’algebra. Il profilo che segue cerca di darne resoconto adeguato.
