34:00Search results
- Category: Mathematics & Theoretical CS
Results for “incompleteness”
4 videos
34:00
58:30foundations of mathematicsLecture
What if Current Foundations of Mathematics are Inconsistent? | Vladimir Voevodsky
Institute for Advanced Study
3 HN recommenders
1:02:34
1:06:43busy beaver and computabilityLecture
Scott Aaronson | How Much Math Is Knowable?
Harvard CMSA
1 HN recommender
Sources and selection
A good mathematical explanation makes the reasoning visible. This section collects videos on mathematics and theoretical computer science, including algorithms, complexity, probability and visual approaches to difficult ideas. It is for learners building foundations as well as programmers looking for the theory behind a familiar technique.
Indie Picks is organized from video metadata and uploader descriptions; it is not a full-video editorial review. HN Library retains community discussions. Sources and data notes