Math's Fundamental Flaw

Why it was recommended

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

Recommendationpandoro · Original2024-03

What it covers

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. It is for a general viewer who does not plan to take a prerequisite first.

Video details

Channel

Veritasium

Length

34 min

Year

2021

More in this topic

• Brian Beckman: Don't fear the Monad
• 28c3: The Science of Insecurity
• "Propositions as Types" by Philip Wadler
• The Banach–Tarski Paradox
• The Future of Mathematics?
• Leslie Lamport: Thinking Above the Code