I found this nice video about probably the most famous logician and early computer scientists of all times. The documentary has this quality that we are expecting from the BBC.
Even if the concepts are quite deep, they’ve been able to make it accessible to anybody.
