Tom Scott

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

: 11, 2020

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