Nella primavera del 2000 Odifreddi ha registrato per il Consorzio Interuniversitario Nettuno un corso di Logica Matematica in 20 videolezioni di 40 minuti l’una, trasmesse molte volte nel corso degli anni da RaiSatNettuno.
2. Il naso di Pinocchio (Il paradosso del mentitore)
3. Le gambe di Achille (Il paradosso di Zenone)
4. Il teatro dell’assurdo (Pitagora)
6. Una metafisica liceale (Aristotele)
7. Lezione sotto il portico (Crisippo)
8. Interregno (Dalla scolastica a Leibniz)
9. Un inglese calcolatore (Boole)
10. Un tedesco sensato e (in)significante (Frege)
11. Un Nobeluomo paradossale (Russell)
12. Alle Ricerche del Trattato perduto (Wittgenstein)
13. Questioni di forma (Hilbert)
14. L’intuizione al potere (Brouwer)
15. Un austriaco (mica tanto) completo (Gödel)
16. Metamorfosi di un teorema (Il teorema di Gödel)
17. Risposta a Pilato (Tarski)
18. L’Enigma dell’informatica (Turing)