Lolli

Lolli

Lolli Gabriele (Camagna, Alessandria, 1942) matematico e logico italiano. Studioso di teoria della dimostrazione, è stato professore di logica matematica all’università di Torino e dal 2008 insegna filosofia della matematica alla Scuola normale superiore di Pisa. Tra le opere: Teoria assiomatica degli insiemi. Insiemi costruibili e modelli booleani (1974), Introduzione alla logica formale (1991), Incompletezza. Saggio su Kurt Gödel (1992), La crisalide e la farfalla (2000, sulla discriminazione delle donne nel mondo accademico scientifico), Filosofia della matematica (2002), QED - Fenomenologia della dimostrazione (2005), Discorso sulla matematica (2011).