Ha insegnato per 40 anni logica matematica presso le Università di Torino e Cornell. Negli ultimi 25 anni ha pubblicato due dozzine di libri di divulgazione, collaborato con La Stampa e Repubblica, e diretto tre Festival di Matematica a Roma. Il presidente Ciampi l'ha insignito del titolo di commendatore, e Benedetto XVI ha dialogato con lui in Caro papa teologo, caro matematico ateo.