Computerphile

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

Air date: Oct 09, 2014

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.