calculus

Gabriel Lebec's Fullstack Academy talk introduces lambda calculus syntax, the history of mathematical logic, and the essence of functional programming using JavaScript. It also covers combinators, currying and Church encodings.

David Beazley's PyCon 2019 tutorial derives the lambda calculus from the ground up in Python, using only single-argument functions. He builds booleans, numerals and more with no other language features.

The preface to Herb Gross's MIT OpenCourseWare 'Calculus Revisited: Single Variable Calculus', an older black-and-white lecture series. It introduces his approach to teaching calculus from the basics.

The first video of 3Blue1Brown's Essence of Calculus series, which builds toward integrals, derivatives, and the fundamental theorem of calculus from a simple geometry question. It aims to make viewers feel they could have invented calculus themselves.

3Blue1Brown's chapter 4 on deep learning gives a more formal, symbol-based account of backpropagation calculus, connecting the intuition from the previous chapter to the math found in textbooks and code.

Tom Stuart's Ruby Manor 3 talk builds FizzBuzz using nothing but Ruby lambdas, working through Church encodings of numbers, booleans and data structures. It is a hands-on introduction to lambda calculus.

2swap explores lambda calculus using John Tromp's lambda diagrams, with animated beta-reductions, asking what PLUS times PLUS gives. It touches on Church encodings and the equivalence of Turing machines and lambda calculus.

Jim Weirich's RubyConf 2012 talk derives the Y combinator step by step, live-coding in Ruby lambdas. It builds up an understanding of functional programming and lambda calculus from first principles.

Philip Wadler's Strange Loop talk on Propositions as Types, the link between logic and computation (the Curry-Howard correspondence). He traces its history through Church, Godel and Turing and shows how it shaped theorem provers and programming languages.

A short 3Blue1Brown video explaining Euler's formula e^(i*pi) = -1 through dynamics, treating velocity as the thing that moves a point to a new position. It builds geometric intuition for why an exponent with i produces rotation.

The first chapter of 3Blue1Brown's Essence of Linear Algebra series, introducing vectors with animated geometric visuals. It begins a series that builds intuition for linear algebra from the basics.

3Blue1Brown's animated visual introduction to the Fourier Transform, showing how a signal breaks into frequency components.

The first lecture of Gilbert Strang's MIT 18.06 Linear Algebra course, covering the geometry of linear equations. It opens a full 35-lecture university course.

Part 1 of a lecture by physicist Albert Bartlett on the exponential function and its consequences for population growth, resource use and energy. It argues that steady growth rates quickly lead to enormous quantities.

A SIGGRAPH 2019 course on geometric algebra. Charles Gunn gives an intro, then Steven De Keninck gives a programmer-focused course with live examples in ganja.js.

Meredith Patterson and Sergey Bratus argue that networked software stays insecure because protocols and inputs are too complex to recognize safely. They propose using formal language theory and grammars to build secure, verifiable input handling.

The first lecture in Bartosz Milewski's category theory series for programmers. It covers the motivation and philosophy behind category theory and why composition matters for handling complexity.

A five-minute preview of 3Blue1Brown's Essence of Linear Algebra series, which uses animation to build geometric intuition for topics from a standard linear algebra course.

An animated introduction to geometric algebra, presented as a language that can describe most of physics. It was made with manim and covers multivectors and how they generalize familiar tools like cross products and quaternions.

3Blue1Brown walks through a very hard Putnam competition problem and its elegant solution, emphasizing the visual intuition and the thought process behind solving it.

Christopher Domas's Derbycon 2015 talk on the M/o/Vfuscator, a compiler that emits only x86 mov instructions, showing mov is Turing complete. It explains how a full machine is built from mov and why the output is a nightmare to reverse engineer.

The first part of Welch Labs' series on imaginary numbers, presenting them as the natural extension of the number line into two dimensions. It covers the history and the math with strong visuals.

A 10-minute 3Blue1Brown chapter explaining the determinant as the factor by which a linear transformation scales area or volume. It builds the idea geometrically with animations before any formulas.

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.

3Blue1Brown explains fractal dimension and shows why many fractals are not strictly self-similar. Self-similarity turns out to be a special case of the broader idea of fractional dimension.

Vsauce's roughly 24 minute explainer on the Banach-Tarski paradox, building from infinity and set theory to the decomposition of a sphere into pieces that form two spheres.

A short SIGBOVIK 2017 presentation by Tom Wildenhain showing that PowerPoint animations are Turing complete, with a working Turing machine built in slides. The talk is delivered deadpan as a serious research result.

3Blue1Brown visualizes high-dimensional spheres to explain a surprising puzzle about how a sphere fits in a box as dimensions grow. It builds geometric intuition for counterintuitive properties of high-dimensional space.

Mathematician Kevin Buzzard explains why he believes the Lean theorem prover will shape the future of mathematics, and describes digitizing his university curriculum in Lean with undergraduates, plus the cultural challenges.

A two-minute video of Conway's Game of Life running inside Conway's Game of Life, built from OTCA metapixels and Golly. It zooms smoothly between scales.

3Blue1Brown's chapter on eigenvectors and eigenvalues in the Essence of Linear Algebra series. It builds a visual intuition for what they mean, why an eigenbasis is useful, and ends with a puzzle.

Matt Parker talks Numberphile through the different kinds of numbers: algebraic, transcendental, computable, normal, and beyond. It shows how few numbers we can actually name or describe.

3Blue1Brown builds visual intuition for quaternions, showing how to think about this four-dimensional number system using stereographic projection and rotations in 3D space. It is part one of a two-part series with an interactive companion site.

The first lecture of N J Wildberger's History of Mathematics course, starting with Pythagoras' theorem and following Stillwell's text. It emphasizes the flow of ideas over proofs.

Mathologer examines how identities like 1+2+3+... = -1/12 arise in Ramanujan's work, starting from his 1913 letter to Hardy. The video explains the rules for summing infinite series and why such results are meaningful but not naive sums.

Numberphile talks with mathematician Ron Graham about the magnitude of Graham's number, building up from arrow notation to show how impossibly large it is. It is part of a series of videos on this number.

Freya Holmer's Dutch Game Day 2023 talk asking why vectors can't be multiplied, building from complex numbers to a single axiom and arriving at geometric algebra, quaternions and multivectors.

Jiahao Chen's JuliaCon 2017 talk argues that vector transposes should be taken seriously in type systems and linear algebra libraries. It explains why treating vectors as matrices causes trouble in languages.

Physicist Al Bartlett's well-known lecture on the arithmetic of exponential growth, applied to population, energy consumption and resource depletion. He argues that steady percentage growth cannot be sustained on a finite planet and that most public discussion ignores this.

3Blue1Brown explores infinite sums from convergent to divergent, with an introduction to the 2-adic metric, themed on the cycle between discovering and inventing mathematics.