Mathematical Reasoning and Distributed Systems by Erik Meijer and Leslie Lamport
I really like his point(s) about mathematics and programming, as he talks about functional programming, especially at 47:20.