Numberphile looks at mathematics' undecidable statements

Gödel's Incompleteness Theorem - Numberphile

Gödel's Incompleteness Theorem - Numberphile Watch this video on YouTube. The average person probably assumes that mathematics is a complete system in which all mathematical statements can be proved or…

The average person probably assumes that mathematics is a complete system in which all mathematical statements can be proved or disproved. The fine folks at Numberphile are ready to disabuse folks of this notion with a nice overview of Gödel's Incompleteness Theorem.

Here's a shorter and somewhat simpler explainer:

Math's Existential Crisis (Gödel's Incompleteness Theorems)

Gödel's Incompleteness Theorem (YouTube / Numberphile)