Nell’aprile del 2002 Odifreddi ha registrato per l’Enciclopedia Multimediale delle Scienze Filosofiche, diretta da Renato Parascandolo, una Storia della logica in 24 lezioni-interviste di circa mezz’ora l’una, raccolte nel 2007 da Rai Trade in un cofanetto di 6 dvd.
2. I paradossi nella dialettica antica
3. La matematica greca, da Pitagora a Euclide
4. Logica e matematica in Platone
5. La sillogistica di Aristotele
10. L’algebra della logica di Boole
12. La teoria ingenua degli insiemi di Cantor
13. Russell e la crisi dei fondamenti
15. Il Trattato e le Ricerche di Wittgenstein
16. Gödel, il nuovo Aristotele
17. Il teorema di incompletezza di Gödel
18. Metafore del teorema di Gödel
19. Il teorema di indefinibilità di Tarski
20. La definizione di verità di Tarski
22. Il sogno dell’Intelligenza Artificiale
