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

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