Proof That Computers Cant Do Everything ( The Halting Problem)
An informal presentation of Alan Turing s Halting Theorem, a serious, highly influential result in computer science. Click here for a list of my other works: 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. E. g., Wikipedia s article 2) There really is an unbeatable checkers machine. See here: http
|
|