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

The first video gives a good idea of how the halting problem fits in (for example 1st order logic in philosophy). The second video described the concept better for me.