Loading...

Proof That Computers Can't Do Everything (The Halting Problem)

568,849 views

Loading...

Loading...

Transcript

The interactive transcript could not be loaded.

Loading...

Loading...

Rating is available when the video has been rented.
This feature is not available right now. Please try again later.
Published on Sep 27, 2013

If you disagree or get confused by this video, read this FAQ: http://www.zutopedia.com/halting_prob...
Click here for a list of my other works: http://www.zutopedia.com/udia.html

This video gives an informal presentation of Alan Turing's Halting Theorem, a serious, highly influential result in computer science.

A few more comments on this video:

1) This video skips a lot of technicalities for sake of simplicity. There are many rigorous descriptions of this proof easily found on the web.

2) There really is an unbeatable checkers machine. See here: http://en.wikipedia.org/wiki/Draughts...

Loading...

Advertisement
When autoplay is enabled, a suggested video will automatically play next.

Up next


to add this to Watch Later

Add to

Loading playlists...