Computerphile

Turing Meets Paradoxes (History of Undecidability Part 3) (2014x63)

:

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.