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

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 Undecidability

Undecidability Tangent (History of Undecidability Part 1):
Barber & Russell Paradoxes (History of Undecidability Part 2):
Turing & the Halting Problem:
Busy Beaver Turing Machines:

Shellshock, The Bashdoor Bug:

History of Undecidability (Playlist):

This video was filmed and edited by Sean Riley.

Computer Science at the University of Nottingham:

Computerphile is a sister project to Brady Haran’s Numberphile. See the full list of Brady’s video projects at:

Products You May Like

Articles You May Like

How To Turn Poop Into Power
How Asteroid Mining Will Save Earth
Why don’t we just breathe nitrogen? #shorts #science #SciShow
Why Americans don’t trust each other | Todd Rose for Big Think
Real Life Emoji Keyboard!

Leave a Reply

Your email address will not be published. Required fields are marked *