Gödel's Incompleteness Theorems Explained

HN commenters recommend it as a clear, accessible introduction to incompleteness and the self-referential proof idea.

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.