Corsi
(2000) Logica matematica, RaiSatNettuno (20 lezioni)
(2002) Storia della logica, Rai Trade (24 lezioni-interviste)
(2004) Vite da logico, Radio2 (20 puntate)
Conferenze
(2005) Le menzogne di Ulisse, GiovedìScienza di Torino
(2006) Che cos’è la logica, Auditorium di Roma (solo audio)
(2009) Russell e la logica del Novecento, Repubblica (vedi Il caffé filosofico)
(2010) Godel e Turing. La nascita del computer, Repubblica (vedi Beatiful minds)
(2011) I sing the body electric, Mindset di Milano
(2012) Le tesi di Turing, Scuola Normale Superiore di Pisa
(2013) Leibniz e il migliore dei mondi possibili, Repubblica (vedi Il caffé filosofico)
(2013) Wittgenstein e la filosofia del linguaggio, Repubblica (vedi Il caffé filosofico)
(2013) L’uomo artificiale, Festival della Mente di Sarzana
(2014) Breve storia dell’essere, Leggendo Metropolitano di Cagliari
(2015) Logica e linguaggio, Dipartimento di Linguistica di Lecce
(2015) Che cos’è la verità, Festival di Scienza e Filosofia di Foligno
(2016) Il pensiero artificiale, Center for Mind and Brain Sciences di Trento
(2017) Intervista sull’Intelligenza Artificiale, Digitalic X di Milano
(2019) Kurt Godel, il dio della logica, Festa di Scienza e Filosofia di Foligno
Libri
Vedi la pagina Logica nel capitolo Matematica della sezione Libri
