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. MORE BASICS: https://www.youtube.com/playlist?list=PL96C35uN7xGLLeET0dOWaKHkAlPsrkcha Written with Sean Elliott https://twitter.com/SeanMElliott/ Graphics by William Marler https://wmad.co.uk Audio mix by Graham Haerther https://haerther.net/ 🟥 MORE FROM TOM: https://www.tomscott.com/ (you can find contact details and social links there too) 📰 WEEKLY NEWSLETTER with good stuff from the rest of the internet: https://www.tomscott.com/newsletter/ ❓ LATERAL, free weekly podcast: https://lateralcast.com/ https://youtube.com/lateralcast/ ➕ TOM SCOTT PLUS: https://youtube.com/tomscottplus 👥 THE TECHNICAL DIFFICULTIES: https://youtube.com/techdif