For something completely different, today I talk (erm, write) about a BBC documentary on **Logic**. It starts with **Socrates Syllogisms** up to **Boole algebra**. Then a quick visit on Mathematics nightmare of trying to prove Mathematics logically (yeah, Maths aren’t logic!), introducing **first order logic**. Then, we get back to Boole algebra and **Alan Turing**, and understand how it changed the world, and how you, my friend, are using Boole algebra in your computer, at levels you might not think of.

This should be a **required** documentary for every computer science student (or researcher). It is really worth to “*lose*” a class to show this to our students.