Se licenció en Matemáticas en la Universidad de Turín en 1973, de la que es profesor desde el año 2001, especializado en lógica matemática. Ha sido profesor visitante en numerosas universidades, en especial americanas. Publica artículos y comentarios en numerosos periódicos y revistas especializadas en temas científicos. Ateo y anticlerical activo, es presidente honorario de la Asociación de Ateos y Agnósticos Racionalista. Ha recibido varias distinciones y honores y en el año 2005 fue nombrado Comendador de la Orden del Mérito de la República Italiana.
Es autor de ensayos de temas políticos, religiosos y filosóficos, y de libros divulgativos sobre matemáticas e historia de la ciencia.
