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: The Basics

Written with Sean Elliott Twitter: 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/ lateralcast
➕ TOM SCOTT PLUS: tomscottplus
👥 THE TECHNICAL DIFFICULTIES: techdif