Verrà presentata la figura di Alfred Tarski e il suo contributo fondamentale allo sviluppo della logica matematica e in generale della matematica del Novecento, dai fondamenti e paradossi della geometria al concetto di verità matematica, dalla teoria degli insiemi alla teoria dei modelli.