docente presso il Dipartimento di Matematica dell'Università di Torino.
è professore di Logica matematica presso il Dipartimento di Matematica dell’Università di Torino. Si occupa di teoria della ricorsività e di logica intuizionista. Alla ricerca analitica affianca un’intensa attività di chiarificazione su questioni centrali della matematica, della logica e dell’intelligenza artificiale, i cui risultati hanno consentito di reintegrare l’apporto delle scienze formali nel campo della storia della cultura. Tra le sue opere: Il Vangelo secondo la Scienza (Torino 1999); Il computer di Dio (Milano 2000); C’era una volta un paradosso (Torino 2001).