Ha studiato matematica in Italia, Stati Uniti e Unione Sovietica, insegnato Logica matematica presso l'Università di Torino e la Cornell University (Usa) e collaborato con La Stampa, Repubblica e Le Scienze. Nel 2011 ha vinto il Premio Galileo per la divulgazione scientifica. Alla ricerca analitica affianca un'intensa attività di chiarificazione e divulgazione scientifica su questioni centrali della matematica, della logica e dell'intelligenza artificiale, i cui risultati hanno consentito di mettere in relazione e integrare il contributo delle scienze formali nel campo della storia della cultura. Tra le sue opere: Il Vangelo secondo la Scienza (Torino 1999); Le menzogne di Ulisse (Milano 2004); Il matematico impertinente (Milano 2005); C'è spazio per tutti (Milano 2010); Il museo dei numeri (Milano 2013); Il dizionario della stupidità (Milano 2016); La democrazia non esiste (Milano 2018). Ha discusso a lungo di fede e ragione con Benedetto XVI, pubblicando con il papa emerito Caro papa teologo, caro matematico ateo (Milano 2013) e In cammino alla ricerca della verità (Milano 2022). I suoi ultimi libri scientifici sono: Il Dio della logica. Vita di Kurt Gödel (Milano 2018); Il genio delle donne (Milano 2019); Ritratti dell’infinito (Milano 2020); Sorella scimmia, fratello verme (Milano 2021); In principio era Darwin. La vita, il pensiero, il dibattito sull'evoluzionismo (Milano 2022).
Ultimo aggiornamento profilo: 2022