Math in Fifteen

The foundational text of mathematical logic — the book that demonstrated thought itself can be encoded algebraically. Boole's algebra of logic underpins digital computing, boolean search, and formal proof. Referenced in the Logic block (Year 1) and the Information Theory capstone (Year 4).

A physicist's account of how probabilistic models describe reality — from quantum mechanics to financial markets to epidemics. Jaffe replaces the Wigner "unreasonable effectiveness" view with something more grounded: models are approximations, and understanding their limits is as important as their power. Central to the Year 3 probability and Bayesian blocks.

Mumford, a Fields Medal winner, writes about mathematics the way a naturalist writes about the field — with wonder at what it actually is, not just what it produces. His four types of mathematical mind (explorer, alchemist, wrestler, detective) organize the Beauty Thread across all four years. The essay on the unreasonable effectiveness of mathematics is required reading before Year 2.

The foundational work in mathematical cognition. Dehaene established that humans share an innate Approximate Number System (ANS) with animals — calibrated for positive integers. Everything else (fractions, negatives, zero, irrationals) requires building new mental representations without evolutionary support. This explains why fractions are hard: there is no innate neural substrate for them. The curriculum's intuition-first philosophy is grounded in Dehaene's findings.

A calculus textbook written specifically for economists and applied social scientists — prioritizing interpretation and intuition over formal proof. Huber's treatment of derivatives as rates of change in economic models, and his integration examples drawn from cost and revenue functions, make calculus feel necessary rather than abstract. The primary technical reference for Year 2.

A fill-in-the-blanks lecture workbook where key definitions, theorems, and examples are left deliberately incomplete — the reader must supply them. This format forces active engagement rather than passive reading. Used as the exercise companion for Year 2 when additional practice is needed beyond the session.

The bridge between computational and proof-based mathematics. Part I covers mathematical language and logic. Part II covers number theory. Part III covers discrete mathematics including Bayes' Theorem and graph theory. Part IV covers rigorous real analysis. The book's governing insight: proof-writing is a skill developed through problems, not through memorizing logical rules.

Franklin argues that mathematical structures are not invented but discovered — that they are real features of a mind-independent reality. His treatment of the relationship between mathematical necessity and physical law is the philosophical complement to Mumford's more pragmatic view. Essential reading before the Year 4 topology and information theory blocks.

The definitive history of calculus — from Archimedes through Newton and Leibniz to Cauchy's rigorous formulation. Boyer shows that the concepts of limit, derivative, and integral were arrived at through centuries of struggle with infinitely small quantities. Reading this alongside Year 2 transforms calculus from a set of rules into a human achievement.

Strogatz is the finest mathematical narrator alive. This book tells calculus as a story — from Archimedes slicing circles to Einstein's field equations — with the insight that calculus is the mathematics of change, and change is what the universe is made of. Read it cover-to-cover before starting Year 2. It is not a textbook; it is a motivation.

Lockhart's famous essay arguing that mathematics education has systematically destroyed the subject by turning it into a series of rules to memorize rather than a creative act of discovery. Short enough to read in an evening, important enough to read before every year of this curriculum. The antidote to the feeling that mathematics is a set of procedures.

A short, dense book on getting close-enough answers fast — dimensional analysis, order-of-magnitude reasoning, pictorial proofs, and opportunistic algebra. Every technique is demonstrated on physics, engineering, and everyday problems. Pairs with Dehaene: that book explains why approximation is the brain's native mode; this one trains it deliberately. The session on Fermi estimation (L3) draws directly on Mahajan's framework.

A precalculus text that opens with a distinction most books skip: the difference between a variable (unknown to find), a parameter (constant that varies across problems), and an indeterminate (symbol in a general identity, never substituted). That three-way distinction is the foundation of the algebra block (L36–42). The book introduces Euler's formula in Chapter 1 as motivation, treats the Āryabhaṭa algorithm as a deep historical idea, and is honest throughout about what it proves versus what it defers to calculus.

A complete undergraduate mathematics reference covering arithmetic through differential equations — every topic presented with the minimum needed for competence: definition, theorem, worked example, exercises. At 1,296 pages it is exhaustive without being encyclopedic. Functions as the technical backbone of the curriculum when you need the full formal statement, the complete worked example, or more practice than any session provides.

The canonical comprehensive pre-calculus textbook — thorough, well-organized, thousands of graded exercises. Procedure-first throughout, which is the opposite of this curriculum's philosophy in teaching. But Swokowski is exactly right as an exercise bank: when a session covers polynomial functions, exponential growth, or trigonometric identities, open to the relevant section for ten more worked examples at the same level.

Mac Lane co-invented category theory and spent his career asking what mathematics, taken as a whole, actually is. This book is his answer: a philosophical and structural survey of the entire subject, asking what forms mathematics takes and what functions those forms serve. The opening chapter is accessible in Year 1. The category theory and foundations chapters are the natural endpoint of a four-year program.

A beautifully written invitation to mathematical thinking, tracing infinity from counting through geometry, algebra, and Cantor's set theory. Each chapter is a conversation between history, intuition, and proof. The book begins where this curriculum begins (what is a number?) and ends where Year 2 is heading (what is a limit?). Its aesthetic — mathematics as humanity's greatest conversation — runs through every Beauty Thread.