HackerTube / Video
Math's Fundamental Flaw
Veritasium
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.
HN commenters recommend it as a clear, accessible introduction to incompleteness and the self-referential proof idea.
15 Hacker News mentions · 2021–2024