Ron Pressler - Finite of Sense and Infinite of Thought: A History of Computation, Logic and Algebra
https://www.youtube.com/watch?v=2oNmR0q1uA0