Veritasium
Math's Fundamental Flaw
About this video
Veritasium's explainer on Godel's incompleteness theorems and the limits of mathematical proof, tracing set theory, Hilbert's program and the road to Turing and modern computing.
Keep your curiosity going.
A few more ideas from the same corner of the archive.
