Math's Fundamental Flaw

Veritasium · 30.8M views · 2021-05-22 · 34:00

Open on YouTube ↗

If playback is restricted in your region, try opening the original video. Use Mark watched to add it to your marked videos.

Overview

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.

On Hacker News

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

Recommended by 7 HN people across 7 months · HN mentions 2021–2024

Topics

Logic & formal methods Computability & complexity theory Recreational & visual math

What people said

travisgriggs · 2021-11 · Strong recommendation
I love Veritasium. Derek has done a number of videos that are awesome like this. The videos are great and educational, but he also manages to subtly weave in an almost spiritual subtext to them as well. For example, in this one, you learn about imaginary numbers in some cool ways, history, how awesome e^ix is, etc, but also this yen-yang balance between embracing not only what is real but taking a chance on what is imaginary. Some of my other favorites: - [LINK] - [VIDEO] - [LINK] - [LINK] - [LINK] I think he’s going to lose the $10,000 bet on the car though.
Read the original HN comment ↗

equanimitivity · 2024-04 · Recommendation
I used to think similarly, but learning about the proven incompleteness of sufficiently rigorous analytic systems has moved me towards appreciating less rigorous ways of interfacing with reality. Veritasium has a nice video on Godel’s incompleteness theorem. It’s quite ironic that it was mathematically provable that analytic systems can never be complete, and can’t be provably coherent. [VIDEO]
Read the original HN comment ↗

pandoro · 2024-03 · Recommendation
It's very entry-level (my level :)) but I found Veritaseum's video about it really clear and instructive: [VIDEO]
Read the original HN comment ↗

Sources

Video by Veritasium, played through YouTube.

HN Library · Source license

Data and selection notes

HN summaries and labels may contain AI errors. HN dates refer to discussions, not video publication.

HN Library: HackerTube export (2026-10-31) and open-index/hacker-news. Upstream summaries and classifications may contain AI errors.

Views, duration and playback status refresh separately from the published catalog. When an update fails, existing data remains visible.

Selection checks

SaaS & AI candidates: Topic keywords do not match
Editor-approved picks: Editorial review is required

Rule matches identify candidates. They do not guarantee video quality or financial results.

About the library and its sources