Are There Problems That Computers Can't Solve?

All about Hilbert's Decision Problem, Turing's solution, and a machine that vanishes in a puff of logic.

English