Math's Fundamental Flaw 数学的基本缺陷

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.

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

“I found Veritaseum's video about it really clear and instructive”