THE VIDEO SHELF · godel incompleteness
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 readers recommended it
HN commenters recommend it as a clear, accessible introduction to incompleteness and the self-referential proof idea.
This is a summary from the source dataset, not an endorsement by Hacker News or the video creator.
Video & recommendation details
- Creator / channel
- Veritasium
- Topic
- godel incompleteness
- Format
- explainer
- Level
- general
- HN recommenders in dataset
- 7
- HN mentions in dataset
- 15
- Recommendation years in dataset
- 2021–2024
These counts and years describe the included Hacker News records; they are not YouTube views or the video’s publication date.
From the original HN conversations
Excerpts from the recorded comments. Follow each source for the full comment and surrounding discussion.
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 …
travisgriggs on Hacker News · 2021-11
In How imaginary numbers were invented [video]I'm not sure if it is what you want, but Intuitionism [1] is one area that challenges modern fashions in Mathematical thinking. It suffered greatly under the formalist approach lead by David Hilbert and still has little main-stream support despite Gödel and his incompleteness proofs. …
reggieband on Hacker News · 2021-05
In How inevitable is the concept of numbers?Veritasium recently released a very good video that explains Gödels incompletenes theorem such that even I could understand it: [VIDEO]
littlecranky67 on Hacker News · 2021-06
In 1931: Kurt Gödel shows limits of math, logic, computing, AI
Summaries, classifications and recommendation records are from the HackerTube source dataset. Read about this library and its limitations.