Sciences & Technologies

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


Listen Later

If you disagree or get confused by this video, read this FAQ: https://www.udiprod.com/halting-problem/#faq

Visit my home page: https://www.udiprod.com

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#Computer_draughts

    ...more
    View all episodesView all episodes
    Download on the App Store

    Sciences & TechnologiesBy