Main annabelledelepouve-1 channel https://tube-sciences-technologies.apps.education.fr/c/annabelledelepouve-1_channel/videos Thu, 30 Apr 2026 09:23:57 GMT https://validator.w3.org/feed/docs/rss2.html PeerTube - https://tube-sciences-technologies.apps.education.fr Main annabelledelepouve-1 channel https://tube-sciences-technologies.apps.education.fr/client/assets/images/icons/icon-1500x1500.png https://tube-sciences-technologies.apps.education.fr/c/annabelledelepouve-1_channel/videos All rights reserved, unless otherwise specified in the terms specified at https://tube-sciences-technologies.apps.education.fr/about and potential licenses granted by each content's rightholder. https://tube-sciences-technologies.apps.education.fr/feeds/podcast/videos.xml?videoChannelId=29194 <![CDATA[Proof That Computers Can't Do Everything (The Halting Problem)]]> https://tube-sciences-technologies.apps.education.fr/w/qGtdDpvtnKRmz9eWQ58PEq https://tube-sciences-technologies.apps.education.fr/w/qGtdDpvtnKRmz9eWQ58PEq Tue, 10 Mar 2026 20:31:50 GMT 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

]]> Main annabelledelepouve-1 channel nonadult Proof That Computers Can't Do Everything (The Halting Problem) 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, high...