Why no Turing machine decides halting: a table of programs against their descriptions, a machine D that flips the diagonal, and what D does on its own description.
This interactive visualization needs JavaScript.