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.

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 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.

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.

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.

A recording of physicist Albert Bartlett's well-known lecture on the arithmetic of exponential growth, applied to population and energy use. He argues that steady percentage growth in a finite world cannot continue and sneaks up suddenly.

Tom Wildenhain's guest lecture for CMU's Esoteric Programming Languages course shows that PowerPoint transitions and slides are Turing complete without macros, building up to a mind-bending fractal ending.

The first lecture of Francis Su's Harvey Mudd real analysis course, covering the construction of the rational numbers. It begins a full lecture series that follows a standard analysis text.

A segment from Carl Sagan's original Cosmos explaining the fourth spatial dimension through analogy with a two-dimensional world and shadow projection.

Timothy Gowers thinks aloud, in real time, as he tries to understand why Pascal's determinant equals 1. He does not fully solve it in this episode, but shows his exploratory process.

Richard Hamming's 1995 lecture on n-dimensional space, showing how geometric intuition about spheres and cubes breaks down in high dimensions. It is part of his course on learning to learn.

Christof Paar's university lecture introducing Galois fields and finite-field arithmetic as used in AES. It covers the mathematics behind the AES S-box.

The first lecture of Michael Sipser's MIT 18.404J Theory of Computation course, covering course mechanics, finite automata, regular languages and regular expressions. It proves closure of regular languages under union and begins concatenation.

The first lecture of MIT 6.042J Mathematics for Computer Science, taught by Tom Leighton, introducing mathematical proofs. It covers propositions, implication and basic proof methods.

Vladimir Voevodsky's IAS lecture starts from Godel's second incompleteness theorem to explore whether first-order arithmetic could be inconsistent. It motivates his vision of univalent foundations and computer-checked proofs.

John Gustafson presents posits, a proposed drop-in replacement for IEEE 754 floats that is simpler in hardware and more flexible in precision. The seminar includes a live demo and machine learning results.

The first lecture of an MIT course on Douglas Hofstadter's Godel, Escher, Bach, covering themes like self-reference, recursion and incompleteness. The full lecture series is on YouTube.

Andres Gomez Emilsson of the Qualia Research Institute presents a model of DMT experiences using hyperbolic geometry and dynamical systems theory. He describes how different intoxication levels correspond to changing curvature and information content of experience.

The introductory lecture of Stephen Boyd's Stanford Convex Optimization I course (EE 364A). It outlines convex sets, functions and problems, and the course's coverage of least-squares, linear and semidefinite programming, duality and interior-point methods.

A 3Blue1Brown live lockdown math episode asking what Euler's formula e^(pi i) is actually saying. It builds intuition through exponentials, rotation and vectors landing on the unit circle.

Andrej Bauer's IAS talk introduces constructive mathematics and what it feels like to do mathematics without excluded middle. It is framed as a tour for classical mathematicians.

Scott Aaronson's Harvard CMSA talk traces what mathematical truths are knowable, from Godel and Turing to the Busy Beaver function. He covers recent work on Busy Beaver values.

A clip of Richard Feynman contrasting the Greek and Babylonian traditions of mathematical reasoning. It compares the axiomatic approach of mathematicians with how physicists use mathematics.

An excerpt from Hal Abelson's opening SICP lecture introducing computer science and contrasting declarative and imperative knowledge. He argues that computer science is not really a science and is more like magic or engineering of ideas.

A talk by Eric Weinstein on gauge theory and its possible application to economics and inflation. It proposes extending the Wu-Yang dictionary into a geometric tool beyond physics.

Andrej Karpathy's first Neural Networks: Zero to Hero lecture, which builds micrograd, a tiny autograd engine, from scratch in Python. It explains backpropagation and neural network training step by step, assuming only basic Python and some high-school calculus.

Leonard Susskind opens Stanford Continuing Studies' Theoretical Minimum series with an introduction to quantum mechanics, a course for people who want real physics rather than popularization. It assumes some calculus and linear algebra.