Mathematics, in pictures.
Some mathematical ideas are hard because they are genuinely hard. Others are hard only because nobody drew them properly. This is a collection of essays about the second kind — one idea at a time, illustrated to the point where the argument becomes visible.
Recently added
15 essays, 2 October 2026 — everything that has been added, in order
Logic
The machines that need a reason never to stop
Run every three-state machine on a blank tape and the ones that halt announce themselves: the longest stops after 21 steps. The work is in the others. Each needs a reason it will never stop, and four simple kinds of reason settle all but 27 of them — machines that sweep back and forth over a growing tape and defeat every check that looks for a repeat.
Dynamics
The column rule 30 will not explain
Start rule 30 from one live cell and read down the middle. The column has passed every test of randomness tried on it, and three plain questions about it are open: whether it ever repeats, whether its 1s make up half of it, and whether its n-th cell can be had without n steps of work. What can be measured says something about each — and the diagonals beside it are periodic, with periods that double going inwards.
Number
Is the partition count even half the time?
The number of partitions of n is even for 50.0% of the n up to half a million, its runs of one parity are as long as a coin's, and nothing proves that the share is a half — the best theorems only show there are at least about √n of each. Modulo 5 and 7 the zeros carry Ramanujan's congruences and something more: an excess that follows whether 1 − 24n is a square.
Number
The race that makes ζ(3) irrational
Roger Apéry's 1978 proof that the sum of the reciprocal cubes is not a fraction comes down to a race between two numbers. A whole-number multiplier grows by a factor of ten every 0.79 steps; the gap it multiplies shrinks by a factor of ten every 0.65. The gap wins, by a margin of about seventeen per cent, and that margin is the whole proof.
Algebra
The flattest polynomials of signs
A polynomial whose coefficients are all +1 or −1 has average size √n on the unit circle. Keeping it near √n everywhere is the problem Littlewood posed: the Rudin–Shapiro polynomials never exceed √2 times it, searching every sign pattern up to length 22 finds the best are the Barker sequences, and whether the maximum can come arbitrarily close to √n is still open.
Analysis
The best nodes have no formula
Interpolating through n points magnifies any error in the data by at most the Lebesgue constant of the points. Chebyshev's points keep it near (2/π)·log n; stretching them to the ends of the interval brings it within two hundredths of the best possible; and the best possible points, characterised in 1978 by having every bump of the error curve the same height, have never been given a formula.
Start anywhere
Eight of 846 essays — the whole collection is a click away, or search it.
Geometry
Two squares, four triangles, and no algebra
The Pythagorean theorem is usually met as a formula to be memorised. It is much better met as a rearrangement that can be checked by eye.
Geometry
Every square is a stack of odd numbers
Add up the odd numbers in order and the running totals are 1, 4, 9, 16, 25. This is not a coincidence, and the reason fits in a single picture.
Geometry
The oldest algorithm, drawn as a tiling
Euclid's method for finding a greatest common divisor is usually presented as a loop. It is also a way of tiling a rectangle with squares, and the tiling explains why it works.
Geometry
Why the list of perfect solids stops at five
There are infinitely many regular polygons and exactly five regular solids. The reason is not deep, but it is very sharp, and it can be checked on a single row of corners.
Geometry
One cone, four curves
The circle, the ellipse, the parabola and the hyperbola look like four separate objects with four separate equations. They are one object, cut at four angles.
Analysis
A sine wave is a circle seen from the side
Sine is introduced as a ratio in a right triangle, which is true and explains nothing about why its graph is a wave. There is a better picture.
Analysis
Adding up rectangles until they stop being rectangles
The integral is defined as a limit of sums of rectangles. The definition is exact, the picture is honest about what it costs, and the gap between them is the whole subject.
Analysis
A square wave built entirely out of round ones
Add enough sine waves together and flat tops and vertical cliffs appear from nothing. Almost — there is a 9% overshoot that never goes away, and it is not a bug.
The eleven fields
the spine — every essay sits in exactly one
Geometry
Shapes, and the arguments that can be made by rearranging them.
Analysis
Limits, curves, and what happens when the going does not stop.
Algebra
Structure — what stays true when the numbers change.
Discrete
Counting, graphs, and things that come in whole pieces.
Topology
What survives bending, and what does not.
Probability
Randomness with a shape.
Number
The whole numbers, and how much structure they turn out to have.
Dynamics
One rule, applied over and over, and what the sequence does in the end.
Logic
What can be said in a system, what follows from it, and what it cannot settle about itself.
Computation
A fixed set of operations, and the exact question of what it can and cannot build.
Applied
A rule for choosing, stated exactly, and what it forces on whoever adopts it.
Longest series
one idea, several arguments — all 134 of them
Equilibrium
- 1 The value from both sides
- 2 The road that makes everyone later
- 3 A signal both can see
- +6 more
Error-correcting codes
- 1 Distance is a picture
- 2 Sixteen spheres that fill a cube
- 3 Finding the error without reading the message
- +6 more
Euler characteristic
- 1 Every corner pays for itself
- 2 Two trees, and every edge in exactly one of them
- 3 Seven hundred and twenty degrees of gap
- +6 more
Fixed points
- 1 Something always stays put
- 2 Nothing on a sphere can be combed flat
- 3 A point that pulls, and a point that pushes
- +6 more
Knots
- 1 Three moves, and what they cannot undo
- 2 Colours that count more than three
- 3 A polynomial behind the colourings
- +6 more
Latin squares
- 1 The thirty-six officers
- 2 A field's worth of squares
- 3 The plane hiding in the squares
- +6 more
Threads running through
themes, not categories
Proof without words
Arguments that are complete once they have been looked at properly. Not illustrations of proofs — the proofs themselves.
Pi turns up uninvited
A constant defined by circles, appearing in places with no circle anywhere in sight, and what that tends to mean.
Doing infinitely many things
Sums that never end, subdivisions that never stop, and the care required to make either of them mean something.
The same thing twice
Two constructions that look unrelated and turn out to be the same object wearing different clothes.
Throwing things away
Progress made by deleting detail: the map that becomes a graph, the shape that becomes a number.
Order out of noise
Random processes that reliably produce the same shape, and the reason that is less mysterious than it looks.
One point away
Constructions that work perfectly except at a single exceptional place, and what is done about it.
Things that cannot be done
Results that close a door rather than open one — and the peculiar difficulty of drawing a picture of something that does not exist.
Counting the same thing twice
One collection, counted by two different methods, and an identity that falls out because both answers have to agree. The proof is the pair of counts.
Sensitive to everything
Systems where a difference too small to draw becomes the whole difference, and the reason that is a property of the rule rather than of the measurement.
Small rules, large behaviour
Rules short enough to write on one line, producing behaviour nobody can summarise — and the finding that the size of a rule predicts nothing about the difficulty of the questions it raises.
What a system cannot say
Rules asked a question about themselves, and an answer that is provably not available from inside — which is a different kind of limit from not knowing yet.
Decided by exhaustion
Questions with finitely many cases, settled by going through all of them — and what changes when a claim about every argument becomes a count.
Small cases lie
Patterns that hold for every example anyone would check by hand, and then stop. The cases within reach are not a sample of the cases.
All 846 essays · by series · by named object · by figure · what the figures prove · what is new