33 min
How people came up with the natural logarithm and the exponential function #SoME1Daniel RubinI try to cover how problems were solved originally. Here's my video on the history of exp and log that I submitted to 3b1b's SoME1: And I also have solo videos with advice about learning math, so far at the college level. I've done book recommendation videos for Fourier Analysis, Complex
Mentioned in r/math
28 min
What is PLUS times PLUS?2swapYou should definitely check out this amazingly crafted video on Lambda Calculus:
Mentioned in r/compsci
13 min
Lambda Calculus - ComputerphileComputerphileCheck out the computerphile video on Lambda Calculus. It’s simple and includes two exercises as well (kind of). Edit: The link.
Mentioned in r/compsci
13 min
Intro to differential forms (part 1)David MetzlerThey seem to generalize a lot of complicated and hard to remember formulas from "regular calculus". I've been watching this series and it is helping a lot. I would love to see Grant's take on an intuitive way of presenting these concepts.
Mentioned in r/3Blue1Brown
10 min
Backpropagation calculus | Deep Learning Chapter 43Blue1BrownBackpropagation calculus | Chapter 4, Deep learning
Mentioned in r/agi
18 min
How to do two (or more) integrals with just oneMorphocularI think he started for SoME1 and he's continu.ed to make great content sense. I especially like this one about Cauchy's formula for repeated integration because no one had ever been able to explain it in a way that didn't seem like magic before.
Mentioned in r/math
1 h 58 min
Math Talk! Devin Patterson, M.Sc. student, mathematical physicsK-TheoryI've interviewed some famous mathematicians including Kevin Buzzard, Emily Riehl, Wolfgang Soergel, and Andrej Bauer. I also have a (still incomplete) [series explainning tensor products](
Mentioned in r/math
15 min
A Strangely Deep Problem about SequencesThatMathThingA couple of fun videos I've put together, aimed at an audience with a background in Calculus, can be found here: A Strangely Deep Problem about Sequences: How I FAILED to Solve the Collatz Conjecture: This next video talks about spectral theory for c
Mentioned in r/math
18 min
What is the relation between the radii of these circles?Michael PennAbsolutely love his approach to teaching, it just clicks for me. Here's a recent video on comparing the radii of two inscribed circles.
Mentioned in r/math
4 min
3d vector field example | Multivariable calculus | Khan AcademyKhan AcademyIt is possible to visualize the full vector space: a way to do that is to use arrows on a grid as is shown here: Here the three components: E_x, E_z, E_y are turned into an arrow as can be readily done for any 3D vector.
Mentioned in r/AskPhysics
2 h 6 min
Infinite Sets and Foundations (Joel David Hamkins) | Ep. 17Daniel RubinHere's my most recent episode with set theorist/logician Joel David Hamkins: I have actual math lecture videos. So far they're all part of a series on the subtle and difficult parts of calculus that always get left out. I try to cover
Mentioned in r/math
38 min
Unit I: Lec 1 | MIT Calculus Revisited: Single Variable CalculusMIT OpenCourseWareNew school: Michael Penn. Old school OG math video god: Herbert Gross.
Mentioned in r/math
16 min
Who Gives a Sheaf? Part 1: A First ExampleK-Theory…the "defining joke" about them, and some videos about sheaves.
Mentioned in r/math
Playlist
Essence of Calculus3Blue1BrownMentioned in r/learnprogramming: Best YouTube Playlist to Learn Data Structures and Algorithms?
9 min
Fixed Point Iteration - Loki SLAPPED 16 times for SCIENCE!ThatMathThingI made this video on the Banach Fixed Point Theorem that was a lot of fun
Mentioned in r/math
1 h 2 min
Lambda Calculus - Fundamentals of Lambda Calculus & Functional Programming in JavaScriptFullstack AcademyHope no one did already answer that. Sorry if anyone did. This is the one video that i think you need to watch:
Mentioned in r/compsci
Playlist
Calculus BLUE 4: FieldsRobert GhristCalculus Blue fills that very niche area that's beyond proof based calculus/vector spaces courses, but not as advanced as differential geometry.
Mentioned in r/math
22 min
Programming with Math | The Lambda CalculusEyesomorphicPosted to r/functionalprogramming: Programming with Math | The Lambda Calculus