Tom Scott talks about Hilbert’s Decision Problem, Turing’s solution, and a machine that vanishes in a puff of logic.