Computerphile
Turing Meets Paradoxes (History of Undecidability Part 3)
2014 • E63 Oct 9, 2014 10m
Taking a solemn oath to promise never to write a program that analyses other programs? - That's how Professor Brailsford felt when he first understood undecidability.