Ha insegnato logica matematica presso l’Università di Torino e in numerose altre università (tra cui la Cornell University, la Columbia University, la Monash University e l’Università di Nanchino). Oltre che per i suoi studi di logica matematica, è noto per la sua intensa attività culturale nel campo della divulgazione scientifica e nel dibattito sul rapporto tra scienza e fede. Tra le sue ultime pubblicazioni ricordiamo Pillole matematiche. I numeri tra umanesimo e scienza (Cortina 2022), A piccole dosi. Contro la crisi di astinenza dalla matematica (Cortina 2023) e C'è del marcio in Occidente (Cortina 2024).
