Turing Meets Paradoxes (History of Undecidability Part 3) - Computerphile

Oct 15, 2026 14:28

Audio file

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.Latest in our series on the History of UndecidabilityUndecidability Tangent (History of Undecidability Part 1): http://youtu.be/nsZsd5qtbo4Barber & Russell Paradoxes (History of Undecidability Part 2): http://youtu.be/FK3kifY-geM…