Già ordinario di Logica Matematica all’Università di Torino e visiting professor alla Cornell University negli Stati Uniti.
Il suo campo di ricerca principale è la teoria della ricorsività, la branca della logica che studia i limiti del calcolo e dei computer.
Autore di una decina di saggi di alta divulgazione e grande successo, collabora con emittenti tv, quotidiani e periodici. Si batte per l’unità di scienza e umanesimo, l’interdisciplinarità e una visione politica progressista.
