Ha studiato matematica in Italia, negli Stati Uniti e in Unione Sovietica. Eminente studioso di logica e matematica, è docente presso la Cornell University e l’Università di Torino.
Collaboratore di «Repubblica», «L’Espresso», «Le Scienze» e «Psychologies», dirige per Longanesi la collana di divulgazione scientifica «La Lente di Galileo».
Ha partecipato a numerose trasmissioni televisive e radiofoniche, tra le quali, come ospite fisso, a Crozza Italia su La7.
Ha vinto nel 1998 il Premio Galileo dell’Unione Matematica Italiana, nel 2002 il Premio Peano della Mathesis e nel 2006 il Premio Italgas per la divulgazione.
Tra i suoi libri ricordiamo Il Vangelo secondo la Scienza (1999), Dalla terra alle lune (2018), Diario tra un cinico e un sognatore (2020), C’era una volta un paradosso (2021).