Corso di Logica Matematica di Uninettuno del matematico e logico Piergiorgio Odifreddi. Nelle varie lezioni vengono approfondite le opere di molti filosofi greci, come Pitagora, Platone, Aristotele, fondatori della logica, fino ad arrivare ai logici moderni, i vari Frege, Russell, Wittgenstein, Godel, Turing. Questi ultimi due sono anche protagonisti di un video di Beautiful Mind presente della Playlist nel quale lo stesso Odifreddi illustra come la logica, ed in particolare una sua branca moderna, la logica della ricorsione, sia alla base dell'informatica
