ComputerphileTuring Meets Paradoxes (History of Undecidability Part 3)
2014 • A63 9 okt. 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.