11:15mathematical problem solvingExplainer
The hardest problem on the hardest test
3Blue1Brown
8 HN recommenders
Search results
- Category: Mathematics & Theoretical CS
Results for “proofs”
6 videos11:15
48:55history of mathematicsCourse
Pythagoras' theorem (a) | Math History | NJ Wildberger
Insights into Mathematics
6 HN recommenders
1:02:06real analysisLecture
Real Analysis, Lecture 1: Constructing the Rational Numbers
HarveyMuddCollegeEDU
5 HN recommenders
44:09mathematical proofsLecture
Lec 1 | MIT 6.042J Mathematics for Computer Science, Fall 2010
MIT OpenCourseWare
3 HN recommenders
58:30foundations of mathematicsLecture
What if Current Foundations of Mathematics are Inconsistent? | Vladimir Voevodsky
Institute for Advanced Study
3 HN recommenders
38:36dependent typesTalk
"A Little Taste of Dependent Types" by David Christiansen
Strange Loop Conference
2 HN recommenders
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