Tom Scott

Are There Problems That Computers Can't Solve? (2020x19)

:

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