Illustre studioso e professore di logica, laureato in matematica a Torino nel 1973 e seminarista a Cuneo, dal 1983 al 2002 ha insegnato in Italia (Torino, Alessandria, Siena, Milano), negli Stati Uniti (Cornell University) e nella allora Unione Sovietica. Ha vinto nel 1998 il Premio Galileo dell’Unione Matematica Italiana e nel 2002 il Premio Peano della Mathesis. Dal 2001 al 2007 è stato professore ordinario di logica matematica presso il Dipartimento di matematica dell'Università di Torino.
Nel 2007 cominciano le partecipazioni fisse al programma Crozza Italia su La7, varietà satirico condotto dal comico Maurizio Crozza.
Dirige per Longanesi la collana di divulgazione scientifica La Lente di Galileo. Autore di numerosi libri di successo nel campo della logica e la matematica.