Concepts

• Abelian group 1 essay
• Absolute convergence 1 essay
• Absorbing state 2 essays — A state of a Markov chain that cannot be left once entered, so every walk reaching it stays there. Their presence replaces the question of where a chain settles with two others — how long until it stops, and where — and both have exact answers rather than limits.
• Absorption 1 essay
• Abstraction 1 essay
• Abundance 1 essay
• Accessibility 3 essays — The relation between worlds of a Kripke model saying which are visible from which, and the whole of what a modal operator quantifies over. Every classical modal axiom turns out to hold on exactly the frames whose accessibility relation has a stated property.
• Accumulation 1 essay
• Additivity 1 essay
• Affine function 1 essay
• Affine plane 1 essay
• Aggregation 3 essays — Combining several individuals' positions into one collective position. Whether it can be done coherently depends on the logical structure of what is being aggregated, and the impossibility theorems say when it cannot.
• Airport problem 1 essay
• Alabama paradox 1 essay
• Aleph 1 essay
• Algebra tiles 1 essay
• Algebraic identity 4 essays — An equation that holds for every value of the letters in it rather than for particular ones, so that both sides are two descriptions of the same object. Proving one usually means transforming one side into the other, and a counting identity is a claim that two ways of counting the same collection agree.
• Algebraic number 4 essays — A number that is a root of some polynomial with whole-number coefficients. They include every fraction and every root of a whole number, they arrive in finite batches when sorted by the size of the polynomial that catches them, and so they can be listed — which is why almost every real number is not one.
• Algorithm 1 essay
• Allocation 2 essays — A way of dividing a fixed total between a fixed set of recipients, given as one number for each. It is the object every rule for sharing produces, and what distinguishes one rule from another is which allocations it is prepared to return.
• Almost everywhere 1 essay
• Alternating group 2 essays — The group of permutations of a finite set that can be built from an even number of swaps, exactly half of all of them. It is the rotation group of the tetrahedron at four letters and of the icosahedron at five, and on five or more letters it cannot be broken into smaller pieces.
• Alternating series 2 essays — A series whose terms change sign at every step, so its partial sums land on either side of the total in turn. Its partial sums therefore bracket the total, so stopping anywhere gives an error no larger than the first term left out.
• Altitude 2 essays — The line from a corner of a triangle perpendicular to the opposite side, and the segment of it inside. The three altitudes of any triangle meet at a single point, and each is the shortest distance from its corner to the opposite side.
• Analytic continuation 2 essays — Extending an analytic function beyond where its defining formula works. A new series is built at a point inside the current region and used where the old one has nothing to say, and the extension is unique wherever the region swept out has no hole - which is what lets the result be called the function rather than an extension of it.
• Analytic function 3 essays — A function that equals its own Taylor series on a neighbourhood of every point of its domain. Analytic implies infinitely differentiable and the converse fails on the real line, which is the whole difference between a flexible category and a rigid one: an analytic function vanishing on any interval vanishes everywhere.
• Angle 3 essays — The amount of turning between two rays from a common point, measured as a fraction of a full turn or in degrees or radians. It is what a rotation is measured by, and the quantity that trigonometric functions take as their input.
• Angle defect 2 essays — The amount by which the faces meeting at a corner of a polyhedron fall short of closing up flat, measured as an angle. Summed over every corner of a convex polyhedron it comes to a full seven hundred and twenty degrees, whatever the solid.
• Annulus 1 essay
• Antichain 3 essays — A collection of elements of an order no two of which are comparable — none is above or below another. The largest one measures how much of an order is undecided, and for the subsets of a set it turns out to be a whole layer of them, which is Sperner's theorem.
• Antiderivative 1 essay
• Antipodal map 2 essays — The map sending each point of a sphere to the point diametrically opposite it. It moves every point, so the quotient by it is again a surface, and that quotient is the projective plane — the standard way a one-sided surface is built out of a two-sided one.
• Antipodal pair 1 essay
• Apollonian gasket 1 essay
• Apollonius problem 1 essay
• Apportionment 6 essays — The problem of turning shares that are not whole numbers into whole numbers adding to the same total. It arises whenever seats are divided between regions in proportion to their populations, and every rule for doing it breaks one of three obviously desirable properties — which one is a decision rather than a calculation.
• Approximation 19 essays — A value put in place of another, together with a stated bound on how far apart the two can be. What makes one usable is the bound rather than the value: without a stated error it says nothing about the quantity it replaces.
• Arc length 1 essay
• Archimedean solid 1 essay
• Archimedes 1 essay
• Arcsine distribution 1 essay
• Arcsine law 1 essay
• Area 22 essays — The amount of surface a shape covers, measured against a chosen unit square. It is additive over pieces that do not overlap, and it is what a dissection proof compares before and after the pieces are moved.
• Area preservation 1 essay
• Argument 1 essay
• Arithmetic mean 1 essay
• Arithmetic progression 2 essays — A sequence of numbers each a fixed step above the last. Which of them contain infinitely many primes is decided entirely by whether the step and the starting value share a factor, and the answer is that every progression not obviously ruled out does.
• Arithmetisation 1 essay
• Arrangement 1 essay
• Arrows theorem 1 essay
• Assignment 6 essays — A way of giving each of several people exactly one of several tasks, with no task handed out twice. The count of them grows as a factorial, so which one is best is settled by structure — a matching condition, or the corners of a polytope — rather than by trying them all.
• Associativity 5 essays — The condition that bracketing does not matter: combining three things as (a·b)·c gives the same result as a·(b·c). It is what separates a group from a bare table of products, and among all the multiplication tables of a given small size it holds for a vanishing fraction of them.
• Astrolabe 1 essay
• Asymptotic 2 essays — A description of how a quantity behaves in the limit, ignoring everything that stays comparatively small. Two quantities are asymptotic when their ratio approaches one, which permits an error growing without bound so long as it grows more slowly.
• Asymptotics 4 essays — The behaviour of a quantity in the limit, stated as a ratio: two expressions are asymptotic when their quotient tends to one. That says nothing about their difference, which can grow without bound while the ratio settles, so an asymptotic formula needs an error term before it can be used at a particular size.
• Atlas 1 essay
• Attractor 5 essays — A set that nearby trajectories approach and stay near, and which contains no smaller set with that property. It is what an orbit settles onto once the transient has died away, and its shape is what distinguishes steady behaviour from chaotic.
• Automorphism 1 essay
• Average 1 essay
• Axiom 7 essays — A condition imposed on a rule or a structure in advance, from which its behaviour is then derived rather than argued about. Stating a set of them turns a matter of taste into a theorem, because anybody who dislikes the conclusion must name the condition to drop.
• Axiom of choice 3 essays — The assumption that one member can be picked from every set in a family at once, with no rule given for the picking. It is independent of the other axioms of set theory, and a surprising number of ordinary theorems — that a countable union of countable sets is countable, among them — quietly need it.
• Axiomatic characterisation 1 essay
• Axiomatic set theory 1 essay

• Backward induction 2 essays — Solving a sequential decision by starting at the end, where the answer is forced, and working towards the present. Each step compares acting now against a value already computed for everything later, which is what makes the calculation finite rather than a search over strategies.
• Baire category 1 essay
• Balancedness 1 essay
• Ballot problem 2 essays — The question of how likely the eventual winner of a count is to lead at every moment of it. Its answer is the difference of the two vote totals divided by their sum, and the reflection argument that gives it is the same one that counts lattice paths above a diagonal.
• Banzhaf index 1 essay
• Barbier's theorem 1 essay
• Barycentric coordinates 1 essay
• Base point 2 essays — The point at which loops in a space are required to start and finish, so that one can be run after another. Changing it gives an isomorphic fundamental group, but only up to conjugation by the path used, which is why base-point-free statements are about conjugacy classes.
• Base rate 1 essay
• Basin of attraction 2 essays — The set of starting points whose orbits all end up at the same place. Iterating a map divides the space into basins, one for each attractor, and the boundaries between them can be extremely intricate.
• Basis 14 essays — A smallest set of vectors from which every other vector in a space can be built, and built in exactly one way. Choosing one turns abstract vectors into lists of coordinates, and the number of vectors in it is the dimension of the space.
• Bayes' theorem 2 essays — The rule for turning a probability around: how likely a cause is, given that its effect has been observed. It is computed from the prior chance of the cause and how likely the effect is under each cause, and is most easily drawn as two rectangles.
• Best reply 4 essays — The option that pays a chooser most, given what everybody else is doing. An equilibrium is exactly a state where every chooser's option is one, which is why marking every best reply on a payoff matrix and boxing the cells carrying both is a complete search for equilibria.
• Bias 2 essays — A persistent lean in a quantity that is equal in the limit, showing up in a lower-order term rather than in the leading one. The primes leaving remainder 3 on division by 4 lead those leaving 1 at almost every bound, and the two classes still have the same density.
• Bifurcation 5 essays — A parameter value at which a system's long-run behaviour changes kind rather than merely changing size. The parameter values at which they occur are what a bifurcation diagram plots, and the sequence of them can be a route to chaos.
• Bijection 28 essays — A pairing that matches every member of one collection with exactly one member of another, leaving nothing over on either side. Exhibiting one is how two collections are shown to be the same size, without either of them being counted.
• Billiards 6 essays — The motion of a point bouncing inside a region, leaving each wall at the angle it arrived. The shape of the region decides the long-run behaviour completely, from paths that repeat forever to paths that come arbitrarily close to every point.
• Binary 4 essays — Notation in which every number is written with two digits only, each place worth twice the one to its right. It is the notation in which a number's digits record which powers of two it is built from, one for each place.
• Binary expansion 2 essays — A number written as a sum of powers of two, so that it is a string of noughts and ones. Doubling shifts the string one place, which is why maps that double are exactly readable from the expansion and why finite arithmetic loses them after fifty-odd steps.
• Binary trees 2 essays — Trees in which every node has a left child and a right child, either of which may be absent. They are counted by the Catalan numbers, and the count is where several apparently unrelated families of objects turn out to be the same family.
• Binomial coefficient 14 essays — The number of ways of choosing k things from n without regard to order, and the entry in row n of Pascal's triangle. It counts lattice paths, subsets and coefficients of an expanded power alike, which is why the same numbers appear in unrelated problems.
• Binomial distribution 2 essays — The distribution of how many successes come out of a fixed number of independent trials with the same chance each. Its mean is the number of trials times the chance of success, and its spread grows like the square root of that number.
• Bipartite 1 essay
• Bipartite matching 1 essay
• Birthday problem 1 essay
• Bisection 1 essay
• Bisimulation 2 essays — A relation between two labelled graphs matching worlds that carry the same labels and can answer each other's moves along arrows, forever. Two worlds related by one satisfy exactly the same modal formulas, of every depth.
• Block design 1 essay
• Block stacking 1 essay
• Blocking pair 3 essays — Two people on opposite sides of a matching who each prefer the other to the partner they were given. A matching with none of them is stable, so hunting for one is how stability is checked.
• Borda count 1 essay
• Borromean rings 1 essay
• Bound 4 essays — A number known to lie above or below a quantity nobody can compute exactly. Its value is in being provable rather than sharp, and a bound met exactly somewhere is worth far more than one that is merely close everywhere.
• Boundary 6 essays — The edge of a region — the points lying in neither its inside nor its outside. What a set does at its boundary decides whether it is open or closed, and both fixed-point and extreme-value arguments turn on it.
• Boundedness 1 essay
• Bounds 1 essay
• Box dimension 4 essays — The exponent relating how many boxes of side epsilon are needed to cover a set to how small epsilon is. It is a growth rate rather than a size, and its value is that it can be measured on any bounded set at all - including the attractor of a system nobody designed, where no construction rule exists to compute a dimension from.
• Braess paradox 1 essay
• Branching 2 essays — A point at which an argument or a construction splits into cases that must all be handled. In a proof tree it is where a formula forces one of two things rather than both, and it is what makes the tree grow in width rather than in depth.
• Branching process 1 essay
• Brouwer 5 essays — The Dutch topologist whose fixed-point theorem says that every continuous map of a disc to itself leaves some point exactly where it was. He also founded intuitionism, under which the non-constructive proof he gave of his own theorem would not count as a proof at all.
• Brunnian link 1 essay
• Buffon's needle 1 essay

• Cancellation 4 essays — The disappearance of terms of opposite sign from a sum, leaving fewer than were written down. It is what makes a determinant computable by elimination and a signed count exact, and its absence is exactly why the same sum with the signs deleted is far harder to evaluate.
• Cantor set 10 essays — The set left in the unit interval after the middle third of every remaining piece is discarded, for ever. It has no interval inside it and total length zero, and yet as many points as the interval it came from, which makes it the standard example of a set that measure and cardinality describe quite differently.
• Capacity 1 essay
• Cardinal arithmetic 1 essay
• Cardinality 7 essays — The size of a collection, measured by whether its members can be matched one to one with another collection's. It is compared by matching rather than by counting, which is what makes it usable for collections with no last member.
• Catalan numbers 7 essays — The sequence 1, 1, 2, 5, 14, 42 and onward, counting bracket sequences, polygon triangulations and binary trees alike. Each term is computed from the ones before it by a convolution, and the same sequence counts a dozen apparently unrelated families.
• Categorical statement 1 essay
• Cauchy schwarz 2 essays — The inequality saying that an inner product is never larger in size than the product of the two lengths. Equality holds exactly when one vector is a multiple of the other, and the bound is what makes the ratio of a product to two lengths a cosine, so that an angle can be defined in a space with no picture.
• Caustic 2 essays — A curve that every trajectory of a family stays tangent to and never crosses. In a billiard table the caustics bound the regions a path cannot enter, and a table filled with them is one whose motion is completely organised rather than chaotic.
• Cayley graph 1 essay
• Cayleys formula 1 essay
• Cellular automaton 2 essays — A row or grid of cells updated together, each one deciding its next state from its immediate neighbours. The rule is a lookup table on the neighbourhood, and the interest is in how much behaviour a very small table can produce.
• Central angle 1 essay
• Central limit 1 essay
• Central limit theorem 4 essays — The statement that a standardised sum of many independent contributions is approximately bell-shaped. It describes a window of width one over the square root of the count around the mean, and says nothing about probabilities further out than that.
• Centroid 2 essays — The average position of the points of a region, weighted by area. It is the point about which the mean squared distance to the region is smallest, and the parallel-axis identity is what makes that true.
• Certificate 3 essays — A short piece of data accompanying an answer that lets anybody verify it without repeating the computation. A set of dual prices certifies an assignment's optimality in a quadratic number of comparisons, against a factorial search.
• Chain 3 essays — A collection of elements of an order every two of which are comparable, so that they can be listed one above another. Chains are the opposite extreme from antichains, and the two are related by a min-max theorem: the fewest chains covering an order equals the size of its largest antichain.
• Chain decomposition 1 essay
• Change of basis 1 essay
• Change of variable 1 essay
• Chaos 8 essays — Behaviour that is fully determined by its rule yet unpredictable in practice, because nearby starts separate exponentially. It requires sensitivity to the starting point together with mixing, and it is compatible with the rule being simple and fully known.
• Character table 1 essay
• Characteristic 1 essay
• Characteristic polynomial 2 essays — The polynomial whose roots are the eigenvalues of a square matrix, got as the determinant of that matrix with a variable taken off the diagonal. Its coefficients are the trace, the determinant and the quantities between them, so it records only what a change of basis leaves alone.
• Chart 1 essay
• Check digit 1 essay
• Chinese remainder theorem 1 essay
• Choice function 1 essay
• Chord 1 essay
• Chromatic number 3 essays — The fewest colours a graph can be properly coloured with, so that no edge joins two vertices of one colour. It is at most four for any map drawn in the plane, and computing it in general means searching rather than evaluating a formula.
• Chromatic polynomial 1 essay
• Circle 12 essays — The set of points at a fixed distance from a centre, which is the shape a fixed length sweeps out as it turns. It is the shape enclosing the most area for its perimeter, and the unit circle is where the trigonometric functions are read off.
• Circle area 1 essay
• Circle map 1 essay
• Circle packing 1 essay
• Circle preserving 2 essays — A property of a map: every circle and every straight line is carried to a circle or a straight line. Inversion has it, and it is why lines and circles are one family rather than two — a line being the circle that passes through the point at infinity.
• Circumcircle 2 essays — The unique circle passing through the three corners of a triangle, centred where the three perpendicular bisectors meet. Whether it is empty of other points is the condition defining the Delaunay triangulation.
• Classification 5 essays — A complete list of the objects of some kind, together with a proof that nothing else qualifies. What distinguishes it from a catalogue is the second half: a classification says what does not exist, which is the part no amount of searching supplies.
• Clique 1 essay
• Closed curve 6 essays — A curve that returns to where it began, so that it has no loose ends anywhere along it. It divides the plane into an inside and an outside, which is obvious to look at and requires a real theorem to establish.
• Closed form 1 essay
• Closed surface 2 essays — A surface with no edge and no boundary, finite in extent. Every one of them is a sphere with some number of handles or with some number of cross-caps, and which of the two lists it is on is decided by whether a sense of turning survives being carried round every loop.
• Closure 6 essays — The smallest set containing a starting collection and shut under a stated set of operations, so applying one never leaves it. It is what makes a definition well posed: without it, applying an allowed operation could take an object outside the set it was defined in.
• Coalition 3 essays — A subset of the players in a cooperative game, together with the value that subset could secure acting alone. Every question the theory asks is settled by comparing a proposed division against what each coalition could take by walking out.
• Cobweb 2 essays — A staircase drawn between a map's graph and the diagonal, which traces an orbit on the picture of the map itself. Its spiralling in or out shows at a glance whether a fixed point attracts, and the slope at the crossing is what decides.
• Code rate 1 essay
• Codimension 1 essay
• Coefficient 3 essays — One of the numbers multiplying the powers of the variable in a polynomial, listed in order of that power. A great deal about the roots — their sum, their product, whether two polynomials share one — is a computation on the coefficients with no root ever found.
• Cofinality 1 essay
• Collatz 3 essays — The rule that halves an even number and sends an odd one to three times itself plus one. Whether every starting value reaches one is unproved, though almost every value is known to fall below its own start.
• Collatz conjecture 2 essays — The claim that halving every even number and tripling every odd one and adding one always leads to one. Every number anybody has tried does, no proof exists, and the two ways it could fail — a cycle or an escape to infinity — need completely different arguments.
• Collinear 1 essay
• Collision 3 essays — Two things landing in the same place, which is what a counting argument produces when there are more things than places. Bounding how many places there are is therefore a way of proving that two things must coincide, without saying which two.
• Colour refinement 1 essay
• Combinatorial proof 2 essays — An argument establishing an identity by exhibiting the collection both sides count, rather than by manipulating expressions. It usually generalises where an algebraic verification does not, and it says where the identity fails, because a bijection announces the case it cannot handle.
• Commutativity 3 essays — The condition that the order of two operands does not matter. It holds for ordinary addition and multiplication and fails for composition, for matrices and for the arithmetic of order types, where a step placed in front of infinitely many is absorbed and a step placed after them is not.
• Commutator 3 essays — The element aba⁻¹b⁻¹ of a group, which is the identity exactly when a and b commute. It measures how far two elements are from commuting, and the subgroup all the commutators generate is the smallest one whose quotient is abelian.
• Compactness 3 essays — The property that a statement about an infinite object follows from the same statement about all its finite parts. It turns finite combinatorial theorems into infinite ones and back, and is what makes a colouring of every finite stretch of the integers extend to a colouring of all of them.
• Compass 2 essays — An instrument that draws a circle of a given radius about a given point, and thereby carries a length from place to place. Removing the straightedge entirely, or fixing its opening, changes neither what it reaches nor what its partner reaches.
• Competitive ratio 1 essay
• Complementary counting 2 essays — Counting what is wanted by counting everything and subtracting what is not wanted. It is the shorter route whenever the unwanted cases have more structure than the wanted ones, and the count of derangements is the standard example.
• Complementary slackness 2 essays — The condition that every constraint a solution uses is tight in its dual, and every dual variable that is positive names a constraint met with equality. It is what turns two matching optima into a proof of each other, and it restricts an optimal solution to a much smaller set of candidates.
• Complete bipartite 1 essay
• Complete graph 6 essays — A graph in which every pair of vertices is joined, so nothing is left unconnected. It has one edge for every pair, so its edge count is a binomial coefficient and it is the worst case for any drawing without crossings.
• Completeness 7 essays — The property of a proof system that every statement true in all models of its axioms can be derived in it. With soundness it makes derivability and truth-in-every-model the same relation, which is what makes searching for a derivation worth doing.
• Completing the square 1 essay
• Complex exponential 1 essay
• Complex numbers 12 essays — Numbers with a real and an imaginary part, which multiply by turning and scaling in a plane. Multiplying by one adds angles and multiplies lengths, which is what makes them the natural setting for rotations and for roots of polynomials.
• Complexity 5 essays — How the cost of a computation grows with the size of its input, ignoring constant factors. It is what separates a method that is usable at a million items from one that is usable at a thousand, and the separations are usually about which structure the method exploits.
• Component 3 essays — A maximal set of points of a graph reachable from each other. A sparse random graph has all of them small; past a threshold it has one holding a definite fraction of everything and all the rest still small.
• Composite 4 essays — A whole number above one that is the product of two smaller ones, and therefore not prime. Every composite has a prime factor no larger than its own square root, which is what makes sieving to that bound sufficient.
• Compound-interest 1 essay
• Comprehension 1 essay
• Computation 1 essay
• Computer-assisted proof 1 essay
• Concentration inequality 2 essays — A bound on how much probability can sit far from a distribution's average. What separates one from another is how much it assumes — a variance, a bounded range, an exponential moment — and correspondingly how fast the bound falls away.
• Condition number 1 essay
• Conditional convergence 1 essay
• Conditional probability 8 essays — The chance of one event given that another is known to have happened. It is the quantity every updating rule is written in terms of, and it is computed as a ratio of two probabilities on the same space.
• Condorcet cycle 4 essays — A set of candidates each of which loses to another, so following the majorities round arrives back where it started. Its existence is why a majority verdict between pairs need not assemble into any ranking at all.
• Configuration 1 essay
• Conformal 2 essays — Preserving angles: two curves crossing at some angle have images crossing at the same angle. A conformal map is a similarity at each point separately, scaling by a factor that varies from place to place, so it keeps shapes small-scale and distorts sizes.
• Conformal map 5 essays — A map that keeps the angle at which two curves cross, while changing lengths and areas freely. Any hypothesis about tangency or perpendicularity survives one, which is what lets a configuration be moved to an easier position and moved back.
• Congestion 2 essays — The situation in which a resource gets worse the more it is used, so what an option is worth depends on how many others take it. Games of this shape always have a pure equilibrium, and a search that lets participants move one at a time to whatever is currently better always finds one.
• Congruence 7 essays — The relation between two figures of the same shape and size, so that one can be carried onto the other by a rigid motion. It is what a dissection proof asserts about its pieces, and it is checked by comparing edge lengths rather than by looking.
• Conic 7 essays — A curve cut from a cone by a plane — a circle, an ellipse, a parabola or a hyperbola, according to the angle of the cut. The kind is decided by the angle of the cut against the cone's own slope, and all four share one description in terms of a focus and a directrix.
• Conic section 1 essay
• Conjecture 5 essays — A statement believed true and not proved, usually on the strength of computation or of a pattern holding in every case anybody has checked. Its value is in what it organises, and the proof of a good one generally needs machinery invented for the purpose.
• Conjugacy 4 essays — A change of coordinate carrying one map onto another, so that the two are the same map differently labelled. It preserves everything defined from orbits and neighbourhoods — cycles, entropy, chaos — and destroys everything defined from distances or derivatives.
• Conjugacy class 4 essays — The set of elements of a group that are the same operation seen from different positions, obtained from one of them by composing with every element and its inverse. Classes partition a group, and a subgroup that is a union of them is exactly one that can be quotiented by.
• Conjugate 2 essays — The function recording, for each slope, how far the line of that slope must be pushed to touch a given curve. It is convex whatever it came from, and applying the construction twice returns the original exactly when the original was convex.
• Conjugate partition 1 essay
• Connected sum 1 essay
• Connectedness 6 essays — The property of a set that cannot be split into two separated pieces. It is what the intermediate value theorem needs, and losing it is one of the ways a fixed-point argument fails.
• Connective 2 essays — A word or symbol that builds a compound statement out of simpler ones, taking their truth values to a truth value. There are sixteen of them on two inputs, and a single well-chosen one is enough to build every other.
• Connectivity 3 essays — The property of a graph that every point is reachable from every other. For a random graph it arrives much later than a giant component does, and what holds it up is the last point with no edges at all.
• Conservation 1 essay
• Consistency 8 essays — The property of a set of assumptions from which no statement and its own negation can both be derived. It is what a model establishes, by exhibiting a world in which every assumption holds at once.
• Constant width 5 essays — A convex shape that measures the same across between parallel supporting lines whatever direction they take. The circle is not the only one: a Reuleaux triangle rolls as smoothly under a plank and is not round.
• Constraint 1 essay
• Constructible number 11 essays — A length reachable from a unit segment by straightedge and compass, which is exactly one expressible with the four operations and square roots. The characterisation is what settles the classical impossibilities, since doubling a cube and trisecting an angle need cube roots.
• Construction 13 essays — A figure produced by a stated sequence of permitted operations, so that what is drawn is reachable rather than merely plausible. Which figures are constructible depends entirely on which operations are permitted, so the operation set is part of the problem.
• Constructive proof 2 essays — An argument that establishes something exists by exhibiting one, rather than by ruling out its absence. It is the stronger of the two: it settles existence and hands over an example, at the cost of usually being harder to find.
• Continued fraction convergent 2 essays — A fraction obtained by cutting a continued fraction short, which is the best approximation available for the size of its denominator. The convergents of an irrational number are exactly the fractions that beat every fraction with a smaller denominator.
• Continued fractions 11 essays — A number written as a whole part plus one over a whole part plus one over another, nested as far as it goes. The expansion terminates exactly when the number is rational, and it is periodic exactly when the number is a quadratic irrational.
• Continuity 21 essays — The property of a function whose output moves only a little when its input moves a little — a graph with no jumps in it. It is what makes a sign change force a crossing, and it is far weaker than differentiability — a continuous curve need have no tangent anywhere.
• Continuum hypothesis 2 essays — The statement that there is no size between the whole numbers and the real numbers. It can neither be proved nor disproved from the usual axioms of set theory, so both it and its negation may consistently be assumed, and the size of the continuum is left undetermined by them.
• Contraction 1 essay
• Contradiction 1 essay
• Convergence 26 essays — The behaviour of a sequence or a sum that settles on a single value rather than growing or oscillating without end. What it does not say is how fast: a rate is a separate result, and usually a harder one than the convergence itself.
• Convergence rate 15 essays — How quickly a sequence closes on its limit, measured by how the remaining error shrinks each step. It is what decides whether an iteration is worth running, and it can be geometric, quadratic or as slow as one over a square root.
• Convergent 1 essay
• Converse 1 essay
• Convex hull 6 essays — The smallest convex set containing a given collection of points, which is what an elastic band snapped round them would enclose. Its corners are exactly the points that are not mixtures of the others, and finding them is the basic problem of computational geometry.
• Convex position 1 essay
• Convexity 26 essays — The property of a shape that contains the whole straight line between any two of its own points. For the unit ball of a distance it is exactly the triangle inequality, and it is what makes an optimum reachable by going downhill.
• Convolution 3 essays — The sequence whose n-th term sums the products of terms of two sequences whose indices add to n. It is what a product of generating functions computes, which is why a recurrence involving a split becomes an algebraic equation.
• Cooperative game 4 essays — A list of players together with a number for every subset of them, saying what that group could secure on its own. It carries no moves and no order of play; what is asked of it is how the value of the whole group should be divided.
• Coordinates 1 essay
• Core 2 essays — The set of ways of dividing what a group is worth that no smaller coalition can beat by walking out. It can be a polygon, a single point or empty, and its emptiness on games as simple as three-player majority is what forces rules such as the nucleolus to be defined instead.
• Correlated equilibrium 3 essays — A distribution over the cells of a game such that neither party, told privately which of their own options was drawn, prefers to do something else. It generalises Nash equilibrium by dropping the requirement that the two randomisations be independent, and the set it defines is a polytope rather than a fixed point.
• Coset 4 essays — One of the equal-sized shifted copies a subgroup cuts the whole group into. Their equal size is what forces a subgroup's order to divide the group's, which is Lagrange's theorem in one line.
• Cosine 4 essays — The horizontal coordinate of a point travelling round the unit circle, as a function of the angle turned through. It is the derivative of sine, and the law of cosines is the Pythagorean relation with the term it supplies restored.
• Cost-sharing 1 essay
• Countability 9 essays — The property of a collection whose members can be arranged in a single numbered list. The rationals have it and the reals do not, which is what the diagonal argument establishes — and the two facts together are what make most numbers unnameable.
• Counterexample 33 essays — A single case satisfying a claim's hypotheses and failing its conclusion, which is enough to refute the claim entirely. One is enough, which is the asymmetry between proving a general statement and refuting it.
• Counting 5 essays — Determining how many members a finite collection has without listing them. The two standard routes are a pairing with something already counted, and a decomposition into pieces whose counts add or multiply.
• Counting argument 55 essays — A proof that establishes a fact by counting a collection rather than by producing an example. It is what pigeonhole and parity arguments are made of, and it establishes existence without locating anything.
• Counting two ways 31 essays — Counting one collection by two different routes and reading off the identity that the two answers are forced to agree on. It is the standard route to a combinatorial identity, and the identity is forced rather than verified term by term.
• Coupon collector 1 essay
• Covering 3 essays — A collection of sets whose union contains the set in question. Both definitions of dimension are about covers - box counting fixes their size and takes a count, Hausdorff's allows any sizes and takes an infimum - and the difference between the two answers is exactly what that freedom buys.
• Covering space 8 essays — A space mapping onto another so that each point below has a neighbourhood whose preimage is a stack of separate copies. Paths lift to it uniquely, which turns a question about which loops shrink into a question about where a lifted path ends.
• Covolume 1 essay
• Cramér's model 1 essay
• Critical exponent 1 essay
• Cross-cap 1 essay
• Cross-ratio 2 essays — A number computed from four points, as a ratio of two ratios of differences between them. It is unchanged by every map that carries circles to circles and preserves angles, and it is real exactly when the four points lie on one circle or one line.
• Crossing number 3 essays — The fewest pairs of edges that must cross in any drawing of a graph in the plane. It is zero exactly for planar graphs, and the first two graphs with crossing number one are the obstructions Kuratowski named.
• Cryptography 2 essays — The study of what can be kept secret from an adversary with bounded resources. Its constructions are conditional by necessity: an unconditional one would separate complexity classes nobody has separated.
• Cubic 1 essay
• Curse of dimensionality 1 essay
• Curvature 5 essays — How sharply a curve or a surface bends away from being straight or flat, measured at a point. It is what distinguishes a sphere's geometry from the plane's, and it is why a triangle drawn on a globe has angles summing past a straight line.
• Curve 1 essay
• Cut 1 essay
• Cut elimination 1 essay
• Cyclic group 11 essays — A group generated by repeating one operation, which is the abstract form of a dial. Every group of prime order is one, and the whole numbers on a dial of any size are the standard example.
• Cyclic order 1 essay
• Cyclic quadrilateral 1 essay
• Cyclic word 1 essay
• Cyclotomic polynomial 2 essays — The polynomial whose roots are the n-th roots of unity of exact order n. Its coefficients are whole numbers, it is irreducible over the rationals, and its degree counts the residues coprime to n — which is what decides whether a regular polygon can be constructed.

• Dandelin spheres 2 essays — Two spheres inscribed in a cone on either side of a cutting plane, touching that plane at the section's two foci. They turn the definition by a cut through a cone into the definition by two foci, with no algebra anywhere in the argument.
• De bruijn sequence 5 essays — A cyclic sequence of letters in which every word of a fixed length appears exactly once, and in a cycle just long enough to hold them all. One exists for every alphabet and every word length, because the overlaps between consecutive windows form a graph in which every vertex has as many edges leaving as arriving.
• De bruijn torus 1 essay
• De gua theorem 1 essay
• Decidability 1 essay
• Decided by exhaustion 1 essay
• Decimal expansion 1 essay
• Decision procedure 16 essays — A method guaranteed to halt on every input and report a correct yes or no. Whether one exists is a separate question from whether the answer is determined, and for some questions it provably does not.
• Decisive set 1 essay
• Deck transformation 3 essays — A symmetry of a covering space that leaves the covering map unchanged, permuting the sheets over each point. The collection of them is a group whose size is the number of sheets, and it records what the covering remembers that the base has forgotten.
• Defective matrix 2 essays — A square matrix with fewer independent eigenvectors than its size, so that no change of basis makes it diagonal. The shortfall is always at a repeated eigenvalue, and the nearest available form keeps ones just above the diagonal to record what is missing.
• Deferred acceptance 3 essays — A construction in which one side proposes down its lists while the other holds the best offer so far and releases the rest. It always terminates with a stable matching, and which side proposes decides which side gets its best stable outcome.
• Deficiency 1 essay
• Definability 1 essay
• Deformation 2 essays — A continuous movement of one object into another, with no cutting and no gluing along the way. What survives every deformation is what topology studies, and a quantity unchanged by all of them is called an invariant.
• Degenerate conic 2 essays — The solution set of a quadratic that is a point, a line, a pair of lines or nothing at all rather than a curve. These are the sections of a cone by planes through its apex, and the discriminant names their type while a second determinant detects the degeneracy.
• Degree 8 essays — The highest power appearing in a polynomial, or the number of edges meeting a vertex in a graph. In both senses it bounds what the object can do: a polynomial has at most that many roots, and a graph's degrees sum to twice its edge count.
• Degree of an extension 6 essays — The dimension of one field regarded as a space of vectors over a smaller one inside it. It multiplies along a tower of extensions, which is what turns a question about constructibility into arithmetic on powers of two.
• Delaunay triangulation 3 essays — The triangulation of a set of points in which no triangle's circumcircle contains any other point. It is the dual of the Voronoi diagram, it maximises the smallest angle, and it contains the shortest spanning tree of the same points.
• Deletion contraction 1 essay
• Deliberation 1 essay
• Dense orbit 1 essay
• Dense set 3 essays — A set meeting every interval of the line, however short, so that no gap in it can be found. Being dense says nothing about how much room a set takes up: the rationals are dense and have measure nought.
• Density 8 essays — How thinly a set is spread through the whole numbers, measured as the fraction of them it occupies up to a bound. It is what a counting theorem estimates, and it constrains a total while saying nothing about how the members are arranged inside it.
• Derangement 2 essays — An arrangement of a set of objects that leaves none of them in its original place. The proportion of all arrangements that are derangements settles almost immediately on the reciprocal of the number e, because the count is a truncated series for it.
• Derivative 21 essays — The instantaneous rate at which a quantity is changing, and the slope of the tangent to its graph. In more than one variable it is a linear map rather than a number, and the number was always the one-dimensional case of that.
• Derived series 1 essay
• Descent 4 essays — Fermat's method: from a supposed solution in whole numbers, construct a strictly smaller one, and conclude there was none. It works because a strictly decreasing sequence of positive whole numbers cannot go on forever, which is the whole of the machinery.
• Detailed balance 2 essays — The condition that a Markov chain's traffic along each edge is equal in the two directions, one edge at a time. It is strictly stronger than being stationary, and where it holds the long-run shares can be read off the edge weights with no system to solve.
• Determinant 16 essays — The factor by which a linear map multiplies area or volume, together with the sign saying whether it turns the space over as well. It is computed from the entries and measured off the drawn image, and it is zero exactly when the map collapses the space.
• Determinism 3 essays — The property of a rule whose next state is a function of the present one, with nothing left to chance. It is compatible with unpredictability: a fully determined rule can separate nearby starts fast enough that no measurement pins down the future.
• Diagonal argument 3 essays — The construction that reads one entry from each row of a table and changes it, producing something that cannot be any row. It is what shows that no list holds every real number, and the same construction underlies the incompleteness and halting results.
• Diagonalisation 4 essays — Rewriting a linear map against a basis of its own eigenvectors, so that it becomes a stretch along each axis and mixes nothing. It makes powers of the map cost two multiplications rather than many, and is available exactly when the eigenvectors span the space.
• Dictatorship 1 essay
• Difference quotient 3 essays — The change in a function divided by the change in its input, which is the slope of a chord and the thing a derivative is a limit of. Its behaviour as the two points come together is the whole question: it may settle on a number, on two different numbers, or on none.
• Differentiability 3 essays — The property of having a tangent at a point, meaning the chord slopes settle on a single value as the two points come together. It is strictly stronger than continuity, and it is what licenses replacing a curve by a straight line near a point.
• Differential equation 2 essays — An equation relating a quantity to its own rate of change, whose solutions are functions rather than numbers. Solving one means finding every function satisfying it, and the useful ones pin down a single solution once a starting value is given.
• Diffusion 3 essays — The spreading of a quantity from where there is more of it to where there is less, at a rate set by how sharply it varies. It sends a quantity's spread up like the square root of time rather than in proportion to it, which is why it is so bad at covering distance.
• Dihedral angle 2 essays — The angle between two faces of a solid, measured across the edge they share. A cut through a polyhedron either preserves such an angle or splits it into two that add back to it, which is why it appears in the invariant that blocks a dissection.
• Dihedral group 4 essays — All the rotations and reflections that leave a regular polygon occupying the same place. It has twice as many elements as the polygon has sides, half of them turns and half of them flips.
• Dilworth theorem 1 essay
• Dimension 15 essays — The number of independent directions in a space, and so the number of coordinates a point in it needs. It is what a basis counts, and it is preserved by every invertible linear map, which is why it can be used to tell spaces apart.
• Diophantine approximation 3 essays — How closely a real number can be approached by fractions with small denominators. The continued fraction supplies the best approximations and nothing else comes near, which turns questions about real numbers into questions about a short list of fractions.
• Directrix 1 essay
• Dirichlet 3 essays — Peter Gustav Lejeune Dirichlet, whose name is on both the pigeonhole principle and the theorem that every irrational has unreasonably good rational approximations. Both results carry the same signature: a counting bound forcing something to exist without exhibiting it.
• Dirichlet theorem 2 essays — The statement that every arithmetic progression whose step and start share no factor contains infinitely many primes. Its proof abandons arithmetic for analysis, and what it establishes is stronger than infinitude: the admissible classes hold equal shares.
• Dirichlet's function 1 essay
• Disc 1 essay
• Discharge 1 essay
• Discrepancy 1 essay
• Discrete logarithm 2 essays — The exponent solving g to the power x equals h in a finite group, when one exists. It is easy to state, easy to check, and believed to be hard to compute in the groups cryptography uses — which is what a great deal of public-key cryptography rests on.
• Discriminant 4 essays — A number computed from a polynomial's coefficients that vanishes exactly when the polynomial has a repeated root. It is the resultant of the polynomial and its own derivative, and its sign decides how many of the roots are real.
• Dissection 11 essays — A cutting of a shape into pieces that reassemble into another shape with no gap, no overlap and nothing left over. It is the site's flagship kind of proof, and the assertion behind one is that the pieces tile the target with no gap and no overlap.
• Dissipation 2 essays — The contraction of volume by a map or flow, so that a region of starting points shrinks as it is carried along. It is what forces an attractor to have no volume, and its rate is the sum of the Lyapunov exponents, which is the logarithm of the determinant of the derivative.
• Distance 1 essay
• Distribution 1 essay
• Divergence 4 essays — The failure of a sequence or a sum to settle on a value, whether by growing without bound or by never coming to rest. It comes in two kinds worth separating: growth without bound, and oscillation that never settles on anything.
• Divide-and-choose 3 essays — The two-person rule under which one person cuts the thing in two and the other takes whichever part they prefer. It guarantees each of the two a share they value at half or more, and it needs no agreement about what the parts are worth.
• Divisibility 7 essays — The relation between two whole numbers when one is a whole multiple of the other. It is the relation the whole of number theory is built on, and it is what a factorisation records.
• Division algebra 3 essays — An algebra in which every non-zero element can be divided by. Over the real numbers there are exactly four with a multiplicative length — dimensions one, two, four and eight — and each step up the list gives up a law the one below it kept.
• Divisor 1 essay
• Divisor function 3 essays — The count of a number's divisors, which comes out as the product of one more than each exponent in its factorisation. Its multiplicativity is what makes it computable from the factorisation rather than by trial, and it is odd exactly for square numbers.
• Divisor method 6 essays — A rule for apportionment that divides every population by a common number and rounds the result. The divisor is adjusted until the rounded shares add to the right total, and the five classical methods differ only in where the rounding boundary sits between two whole numbers.
• Divisor-sum 2 essays — The total of all a number's divisors, the number itself included. Comparing it with twice the number itself is what sorts numbers into deficient, perfect and abundant, and Euclid's rule builds a perfect one from every Mersenne prime.
• Domain restriction 1 essay
• Dominant strategy 2 essays — An option that pays its owner more than every alternative, whatever the other chooser does. When one exists the game needs no reasoning about the opponent, which is what makes it the strongest kind of solution.
• Dot product 4 essays — The number obtained from two vectors by multiplying matching coordinates and adding. It is the signed length of the shadow one casts on the other times the length of that other, so it is zero exactly at right angles, and every notion of angle in a space without a picture is defined from it.
• Double cover 1 essay
• Double negation 1 essay
• Doubling map 1 essay
• Doubling the cube 1 essay
• Doubly stochastic 1 essay
• Drift 1 essay
• Dual graph 1 essay
• Duality 19 essays — A correspondence turning each object of one kind into an object of another and back again, with their roles exchanged. It halves the work whenever it holds, since every theorem proved on one side arrives free on the other.
• Dummy player 1 essay
• Durfee square 1 essay

• e, the number 8 essays — The number whose exponential curve has slope equal to its own height everywhere, near enough 2.71828. It is the base at which the exponential is its own derivative, and it is the limit of compounding a hundred per cent interest ever more often.
• Eccentricity 2 essays — The fixed ratio of a conic's distance from a focus to its distance from a directrix. It is below one for an ellipse, exactly one for a parabola and above one for a hyperbola, so a single number produces the whole family from one focus and one line.
• Eckmann hilton 1 essay
• Edge count 1 essay
• Edge disjoint paths 1 essay
• Efficiency 1 essay
• Ehrenfeucht fraisse game 2 essays — A two-player game on a pair of structures whose outcome decides which sentences can tell them apart. Spoiler picks a point and Duplicator answers in the other structure, and surviving k rounds means no sentence of quantifier depth k separates them.
• Ehrhart polynomial 1 essay
• Eigenfunction 1 essay
• Eigenvalue 8 essays — The factor by which a linear map stretches one of the directions it does not turn. It is a root of the characteristic polynomial, and its size decides whether repeated application of the map grows or shrinks that direction.
• Eigenvector 8 essays — A direction a linear map leaves pointing the same way, changing only its length. The directions a map leaves alone are what make its long-run behaviour legible, since repeated application simply scales each of them.
• Elementary equivalence 3 essays — The relation holding between two structures when every sentence of first-order logic true of one is true of the other. It is weaker than isomorphism — a structure can have elementarily equivalent companions of every infinite size — and games are how it is established.
• Elimination 1 essay
• Ellipse 5 essays — The closed conic section, and the set of points whose distances to two fixed points add to a constant. It is the cut of a cone by a plane meeting every generator, and its two foci are where the inscribed spheres touch.
• Embedding 1 essay
• Empirical distribution 1 essay
• Encoding 2 essays — A rule attaching to each object of one kind a distinct object of another, usually a string of symbols. It turns comparison and computation on the originals into operations on the strings, and its cost is the length those strings need.
• Entropy 2 essays — A number measuring how spread out a distribution is, computed as the average logarithm of one over each outcome's probability. It is the shortest average length any code for those outcomes can achieve, in the units the logarithm is taken in.
• Enumeration 1 essay
• Envelope 1 essay
• Envy matrix 1 essay
• Envy-freeness 3 essays — The property of a division that nobody values another's share above their own. It is a stronger requirement than each person getting a fair share by their own reckoning, and for three or more people it is much harder to achieve.
• Epsilon nought 2 essays — The smallest ordinal that cannot be written out of smaller ones using addition, multiplication and powers of omega. It is the limit of the tower ω, ω raised to ω, and so on, and it measures precisely how much induction ordinary arithmetic is able to carry out.
• Equidistribution 5 essays — The property of a sequence that the share of its terms landing in an interval tends to that interval's length. It is the strongest sense in which a deterministic sequence imitates a random one, and repeated rotation by an irrational angle has it.
• Equilateral triangle 1 essay
• Equilibrium selection 2 essays — The question of which equilibrium happens when a game has several and the definition prefers none. The standard tie-breakers - preferring the one that pays more, or the one that is safer against an unknown opponent - can disagree, and the safer one usually has the larger basin under any best-reply rule.
• Equivalence 5 essays — A relation that pools things into classes: reflexive, symmetric and transitive, so no thing is in two classes. It is what licenses working with classes instead of members, which is how modular arithmetic and quotient groups are built.
• Equivalence class 1 essay
• Equivalence relation 4 essays — A relation that is reflexive, symmetric and transitive, and therefore cuts a set into classes with every element in exactly one. It is the standard way of declaring two things the same for a stated purpose without them being identical.
• Erasure 1 essay
• Erdos ko rado 1 essay
• Erdos szekeres 1 essay
• Ergodicity 3 essays — The property that a single trajectory spends time in each region in proportion to that region's size. It makes a long-run average along one orbit equal to an average over the whole space, which is the assumption that statistical mechanics rests on and which is hard to prove in any particular case.
• Error analysis 2 essays — Accounting for how far a computed answer is from the exact one, and where the discrepancy came from. It separates what the mathematics guarantees from what the arithmetic delivers, which are routinely different: a construction can be exact on paper and lose every significant digit in floating point.
• Error bound 1 essay
• Error term 1 essay
• Error-correcting code 7 essays — A chosen set of words far enough apart that a corrupted one can be repaired to the nearest. How many errors it can repair is decided by its minimum distance, which is the smallest disagreement between two of its words.
• Escape-time 2 essays — The number of steps an orbit takes to leave a bounded region, used to shade the plane around a set. It is what colours a picture of the Mandelbrot set or of a Newton basin, and the boundary is where the count stops being stable.
• Estimate 1 essay
• Estimator bias 3 essays — The difference between what a random estimate gives on average and the quantity it is meant to estimate. An estimator with none is centred on the answer however noisy it is, which is why unbiasedness and precision are separate questions with separate remedies.
• Euclid 1 essay
• Euclid lemma 1 essay
• Euclidean algorithm 2 essays — Repeatedly replacing a pair of numbers by the smaller and the remainder, until nothing is left over. It finds the greatest common divisor, and a ring in which it can be run has unique factorisation as a consequence.
• Euler characteristic 18 essays — Vertices minus edges plus faces, which comes out the same for every way of dividing a given surface up. It is a topological invariant, so two surfaces with different values cannot be deformed into one another.
• Euler formula 5 essays — For a connected graph drawn in the plane, corners minus edges plus faces is two, counting the region outside as a face. It is what forbids a sixth regular solid and what makes the two obstructions to planarity obstructions.
• Eulerian circuit 1 essay
• Eulerian path 3 essays — A walk through a graph using every edge exactly once. One exists precisely when the graph is connected and at most two of its vertices have an odd number of edges — the first theorem of graph theory, and the reason de Bruijn sequences exist.
• Exact arithmetic 2 essays — Computation carried out in whole numbers or fractions, with no rounding anywhere. It is what a claim of strict inequality requires, because an arithmetic that has already rounded a quantity to the edge of an interval cannot say whether it was strictly inside.
• Exceptional object 1 essay
• Excess 1 essay
• Excluded middle 1 essay
• Exhaustive search 32 essays — Settling a question by generating every candidate and testing each one. It needs no cleverness and gives a definite answer, and it is available only when the candidates can be listed and the list is short enough to finish.
• Existence proof 26 essays — An argument establishing that something exists without producing it. Pigeonhole and fixed-point arguments are of this kind, and they are usually far shorter than any construction of the object.
• Existential import 1 essay
• Expectation 21 essays — The average of a quantity's values, each weighted by how likely it is. It need not exist at all: for a heavy-tailed quantity the defining sum or integral diverges, and every argument using it fails.
• Exponential 1 essay
• Exponential constant 1 essay
• Exponential decay 1 essay
• Exponential growth 1 essay
• Expressive power 5 essays — What a language can and cannot distinguish, measured by the equivalence between structures it respects rather than by a list of what it can say. Naming that equivalence settles every question of the form *can this be expressed* at once.
• Extremal configuration 2 essays — An arrangement achieving the largest or smallest possible value of some count, given a constraint. Finding one settles half of an extremal problem; the other half is proving that nothing does better, and the two halves are usually different arguments.
• Extremal example 1 essay
• Extremal graph 1 essay
• Extremal problem 3 essays — A question asking how large or small a structure can be while keeping some property. The answer usually has two halves that are proved separately: a bound saying nothing can beat some number, and a construction reaching it.
• Extreme point 1 essay

• Factorial 4 essays — The product of all the whole numbers up to a given one, written with an exclamation mark. It counts the orderings of that many things, and it outgrows every fixed base raised to the same power — which is what makes it the multiplier in almost every squeeze argument.
• Factoring 1 essay
• Factorisation 2 essays — A way of writing an object as a product of smaller objects of the same kind. Whether the decomposition is unique is a property of the surrounding system rather than of the object, and uniqueness fails in arithmetics only slightly larger than the whole numbers.
• Fair division 5 essays — The problem of splitting one resource among people who value its parts differently, judged against a property the split must have. The properties usually asked for are proportionality and envy-freeness, and the difficulty is that they are not the same requirement.
• Fairness 7 essays — A stated condition a division or a rule must meet for nobody to have a complaint of a specified kind. Several such conditions conflict with one another, so choosing which to insist on decides which procedures remain available.
• False-positive 1 essay
• Fano plane 3 essays — The smallest projective plane, with seven points and seven lines, three points on each line and three lines through each point. It is the smallest example of a finite geometry, and its incidence structure is also the multiplication table of the octonions.
• Farey sequence 2 essays — Every fraction in the unit interval with denominator at most a given bound, listed in increasing order. Adjacent entries always satisfy a determinant condition of one, which is what makes their circles tangent and what keeps every entry in lowest terms.
• Fast growing hierarchy 1 essay
• Feasible region 2 essays — The set of points satisfying every constraint of a program, which is where any optimum has to be found. It is an intersection of half-planes and so convex, which is why a linear objective attains its optimum at a corner of it.
• Feigenbaum constant 1 essay
• Fermat prime 1 essay
• Fermats little theorem 4 essays — The fact that raising any whole number to a prime power leaves it unchanged on a dial of that prime. It is what makes fast primality testing possible, and its combinatorial proof counts necklaces that cannot be turned into themselves.
• Ferrers diagram 1 essay
• Fibonacci 4 essays — The sequence in which each term is the sum of the two before it — 1, 1, 2, 3, 5, 8 and onward. Consecutive terms have ratio approaching the golden ratio, and they are the denominators of that number's continued-fraction convergents.
• Fibration 1 essay
• Field extension 5 essays — A field containing a smaller one, so that the larger one's elements can be built from the smaller one's. Adjoining a root of a polynomial is the standard way to build one, and its degree is what decides what can be constructed.
• Finite automaton 1 essay
• Finite branching 1 essay
• Finite field 9 essays — A finite set with addition, multiplication and division that obey the ordinary rules, which exists exactly when its size is a prime power. Its multiplicative group is cyclic, which is what makes discrete logarithms and Reed-Solomon codes possible.
• Finite geometry 1 essay
• Finite intersection 1 essay
• Finite model property 1 essay
• First moment 2 essays — The expected number of copies of a structure, used to prove none exists. A count taking whole values and having a small mean is usually zero, which needs no independence at all and gives one direction of a threshold immediately.
• First return 2 essays — The first moment at which a walk or an orbit comes back to the place it started from. On the line it happens with certainty and takes infinitely long on average, which is a pairing worth holding on to.
• Fixed field 1 essay
• Fixed point 21 essays — A point that a map leaves exactly where it was. Whether one must exist is decided by the shape of the set and the continuity of the map, and the theorems saying so are the deepest in the subject.
• Flip 1 essay
• Floating point 1 essay
• Flow 1 essay
• Focus 5 essays — A point that a conic section is defined in terms of, and to which the curve reflects rays from its partner or from infinity. An ellipse has two of them with distances summing to a constant, a parabola one, and the reflection property follows in each case.
• Forcing 1 essay
• Ford circles 1 essay
• Formal power series 2 essays — An infinite sequence of coefficients written with powers of a variable as position markers, added and multiplied by the usual rules. Nothing is ever substituted for the variable, so convergence never arises, and each coefficient of a product is settled by finitely many terms.
• Formal system 2 essays — A set of axioms and rules under which proofs are finite objects a machine could check. What such a system can say about its own proofs is itself a mathematical question, and the answers are the incompleteness theorems.
• Fourier analysis 4 essays — The decomposition of a function into sines and cosines, whose amounts are found by projecting the function onto each one in turn. It turns convolution into multiplication, which is why it settles questions about sums of independent quantities and about differential equations alike.
• Fourier series 2 essays — A periodic function written as a sum of sines and cosines at whole-number multiples of one frequency. It turns a condition on a shape into a condition on which frequencies may appear, and differentiating becomes multiplication by the frequency.
• Fourier transform 1 essay
• Fractal 4 essays — A set with detail at every scale, whose measured dimension need not be a whole number. Its dimension is measured by how its content scales with the ruler used, and the answer is generally not a whole number.
• Fractal dimension 4 essays — An exponent saying how a set's content scales with the scale it is measured at, which need not be a whole number. It is computed by counting boxes of shrinking size, and it distinguishes sets that have the same topology and different roughness.
• Frame 4 essays — An ordered list of independent directions at a point, one for each dimension. Two frames at the same point are compared by the determinant of the matrix carrying one to the other, and the sign of that determinant is the whole of what an orientation is.
• Free action 1 essay
• Free group 6 essays — The group of all reduced words in a set of letters and their inverses, with no relations beyond a letter cancelling against its own inverse. It is the fundamental group of a wedge of circles, and every group generated by that many elements is a quotient of it.
• Function space 1 essay
• Functional completeness 1 essay
• Fundamental group 11 essays — The loops in a space based at one point, counted up to deformation, composed by running one after another. It separates spaces that no count of pieces can separate, and for a ring it is the whole numbers under addition.
• Fundamental solution 1 essay
• Fundamental theorem 4 essays — The result naming the central fact of a subject: for calculus, that integration and differentiation undo each other. The calculus one is what makes areas computable by antidifferentiation, and it is why the two halves of the subject are one subject.

• Galois group 1 essay
• Galton board 1 essay
• Gamblers ruin 1 essay
• Gauss bonnet 1 essay
• Gauss lemma 2 essays — The rule that the Legendre symbol of a is minus one to the number of the multiples a, 2a, … that fold down from the top half of the residues. It is the count that reaches the two supplements, which the lattice-point proof of reciprocity cannot.
• Gauss sum 1 essay
• Gaussian integers 3 essays — The complex numbers with whole real and imaginary parts, forming a ring with unique factorisation and four units. A prime of the ordinary integers stops being prime there exactly when it is a sum of two squares.
• Generating function 7 essays — A series whose coefficients are the terms of a counting sequence. Multiplying two of them convolves the coefficients, so combining independent choices becomes multiplication and a recursion becomes an equation that can be solved.
• Generating set 1 essay
• Generator 2 essays — An element of a group from which, together with its fellows, every other element can be built by multiplication and inversion. A group given by generators and relations is presented rather than described, and almost every question about it is then a question about words.
• Genus 7 essays — The number of holes in a surface, and the single number deciding which surfaces can be deformed into one another. It is one half of the classification of closed surfaces, the other being whether the surface is orientable.
• Geodesic 2 essays — The shortest path between two points along a surface, staying on the surface the whole way. On a sphere they are great circles, which is why the shortest air route between two cities looks bent on a flat map.
• Geometric mean 5 essays — The nth root of the product of n positive numbers, which is the average of their logarithms exponentiated. It is never larger than the arithmetic mean, with equality only when every number is the same, and the gap between the two is the logarithm's concavity.
• Geometric series 9 essays — A sum whose terms shrink by a fixed ratio each step, finite in total exactly when that ratio is under one. Its total is the first term divided by one minus the ratio, and the picture of that is a square dissected into ever smaller pieces.
• Gibbs' phenomenon 3 essays — The overshoot near a jump in a Fourier partial sum, which narrows as terms are added and never shortens. It is why a truncated Fourier series of a square wave rings at the edges, and the overshoot settles at about nine per cent of the jump.
• Glider 1 essay
• Gluing 1 essay
• Gluing diagram 4 essays — A polygon with its edges paired and arrowed, describing the surface those identifications produce. Every closed surface has one, and reading the edge word off it computes the surface's characteristic and orientability.
• Gnomon 1 essay
• Golden ratio 5 essays — The proportion in which the whole is to the larger part as the larger part is to the smaller, which makes it one more than its own reciprocal. Its continued fraction is all ones, which makes it the number rational fractions approximate worst.
• Goodstein sequence 1 essay
• Gradient 2 essays — The vector of a function's partial derivatives, pointing in the direction of steepest increase. It vanishes at every minimum and at a great many other places, which is why a vanishing gradient certifies an optimum only under convexity.
• Gram schmidt 3 essays — The procedure that turns any independent set of vectors into a perpendicular one by subtracting from each vector its shadows on those already built. It preserves the space the vectors span, it reports dependence by returning a vector of length zero, and the coefficients it discards form the triangular half of a QR factorisation.
• Graph 23 essays — A set of points with a set of connections between them and nothing else — no distances, no angles, no positions. Everything else about a picture has been thrown away, which is what makes graph statements survive any redrawing.
• Graph colouring 6 essays — An assignment of colours to a graph's vertices in which no edge joins two of the same colour. The fewest colours needed is the chromatic number, and four suffice for every graph that can be drawn without crossings.
• Graph isomorphism 1 essay
• Gray code 2 essays — An ordering of the binary words in which each step changes exactly one place. It is a Hamiltonian cycle on the cube of binary words, and it is used wherever two bits changing at once would be read as a third value.
• Greatest common divisor 6 essays — The largest whole number dividing two others, which is also the side of the largest square that tiles a rectangle with those sides. It is computed by the Euclidean algorithm in a number of steps proportional to the digits, and never by factorising.
• Greedy algorithm 2 essays — A rule that repeatedly makes the choice which looks best at the moment and never reconsiders. It gives the true optimum for problems with a matroid structure, such as the minimum spanning tree, and only an approximation for most others.
• Group 10 essays — A set with a way of combining any two of its elements that is associative, has an identity, and gives every element an inverse. It is the standard object for describing symmetry, because the motions that leave something unchanged always form one.
• Group action 8 essays — A group applied to a collection, each element permuting it, so that composing the elements composes the permutations. Counting orbits under one is what Burnside's lemma does, by averaging how much each element leaves fixed.
• Group order 1 essay
• Group presentation 1 essay
• Group representation 1 essay
• Growth rate 1 essay

• Half life 1 essay
• Halls condition 1 essay
• Halting problem 1 essay
• Hamming code 2 essays — A code of sixteen seven-bit words whose balls of radius one fill the whole space exactly, correcting any single error. It is perfect in the technical sense that its correction balls fill the space exactly, leaving no word unaccounted for.
• Hamming distance 6 essays — The number of places in which two strings of the same length disagree. It is city-block distance restricted to the corners of a cube, and it is what decides how many errors a code can survive.
• Handedness 1 essay
• Harmonic conjugate 1 essay
• Harmonic series 8 essays — The sum of the reciprocals of the whole numbers, which grows without bound even though its terms shrink to nothing. Its partial sums track the natural logarithm, and its divergence is what forces the sum over the primes to diverge too.
• Harmonics 4 essays — The whole-number multiples of a base frequency, and the components a periodic wave is built from. How much of each one a wave holds is its spectrum, and that list determines the wave as completely as its shape over time.
• Hash collision 1 essay
• Hasse diagram 3 essays — A drawing of an ordering in which each element sits directly above those it covers, with the implied steps left out. It is the smallest drawing from which the whole ordering can be recovered, since the implied relations are exactly the paths upward.
• Hausdorff dimension 2 essays — The exponent at which a set's measure stops being infinite and becomes zero. The measure is defined by covering the set with pieces of any sizes at all and adding the s-th powers of their diameters, and the freedom in the sizes is why this dimension is at most the box one and is the notion theorems are stated about.
• Heat equation 1 essay
• Heavy tails 5 essays — A distribution whose extreme values are common enough to dominate averages, and whose variance or mean may not exist at all. The largest of a sample is then comparable to the whole sum, which is why averaging such quantities buys so little.
• Heawood number 1 essay
• Height 1 essay
• Hereditary base 2 essays — A number written in a base with its exponents written in that base too, and their exponents likewise, until every digit visible is smaller than the base. Replacing the base by a larger one then leaves the shape of the expression unchanged, which is what a Goodstein sequence is built on.
• Heuristic 3 essays — An argument that predicts an answer without establishing it, usually by replacing a determined object with a random one that resembles it. A good one gets the constants right and fails on exceptional cases, which is exactly what the proof would have to handle.
• Hexagonal packing 1 essay
• Heyting algebra 1 essay
• Hierholzer's algorithm 2 essays — The procedure that builds a closed walk using every edge of a graph exactly once, by walking until stuck and splicing in detours from vertices with edges to spare. It is a proof as well as a method: the splicing fails only when the degree condition does.
• Higher homotopy 1 essay
• Hilbert hotel 2 essays — The illustration in which a hotel with a room for every whole number is full and can still take another guest. It makes the shifting bijection vivid and it is not itself the argument, since the correspondence is a single function rather than a sequence of moves in time.
• Hinged dissection 1 essay
• Homeomorphism 6 essays — A continuous correspondence between two spaces whose inverse is continuous too. It is the notion of sameness topology uses, and it preserves exactly what is defined from open sets — connectedness, holes, dimension — and nothing defined from distance.
• Homology 1 essay
• Homomorphism 1 essay
• Homotopy 6 essays — A continuous family of maps interpolating between two of them, and the relation of being joined by one. Objects related this way are indistinguishable to any invariant defined by continuity alone, which is most of what topology computes.
• Hopf fibration 1 essay
• Horseshoe 1 essay
• Hyperbola 6 essays — The conic section obtained by cutting a cone at an angle steeper than its own side, giving two separate branches. Its points are those whose distances to two foci differ by a fixed amount, and the whole-number points on one branch are what Pell's equation asks for.
• Hyperbolic geometry 1 essay
• Hypercube 5 essays — The shape whose corners are all the ways of choosing true or false for each of several variables, with edges between corners differing in one. Its edges join words differing in one place, so a path along them is a sequence of single changes and its diameter is the word length.
• Hyperplane 1 essay
• Hypotenuse 4 essays — The side of a right triangle opposite the right angle, and the longest of its three sides. It is the side whose square the other two account for, and the one every parametrisation of a triple treats separately.

• Identity 1 essay
• Identity element 1 essay
• Image 1 essay
• Imaginary unit 2 essays — A square root of minus one, multiplication by which turns the plane through a quarter turn. Adjoining it to the reals gives a field in which every polynomial has a root, which is what the fundamental theorem of algebra says.
• Immersion 2 essays — A smooth map whose derivative never collapses, so that every small patch of the source is a faithful patch of the image. It is weaker than an embedding, which is also one to one, and it is what allows a Klein bottle to be drawn in three dimensions at the cost of a crossing.
• Implication 1 essay
• Importance sampling 1 essay
• Impossibility 9 essays — A theorem stating that no object of a described kind exists, as against a report that none has been found. What makes one is an argument covering every candidate at once, usually a quantity a candidate would have to change and provably cannot.
• Impossibility theorem 1 essay
• Imputation 1 essay
• Incidence 7 essays — The relation saying which points lie on which lines, taken as the whole of a geometry's structure. Taking it as the whole structure is what makes finite geometries possible, since no notion of distance or angle is required.
• Inclusion exclusion 2 essays — Counting a union by adding the parts, subtracting the overlaps, adding back the triple overlaps, and continuing. It is exact and has one term per subset, so every practical use of it is a truncation — and truncating alternates between over- and under-counting.
• Incommensurability 4 essays — The property of two lengths with no common measure — no unit, however small, dividing both a whole number of times. Its discovery is what forced the Greeks to separate number from magnitude, and it is what the Euclidean algorithm failing to terminate detects.
• Incompleteness 2 essays — The fact that any consistent formal system strong enough for arithmetic has true sentences it cannot prove, and cannot prove its own consistency. Both halves follow from one modal axiom about what provability implies.
• Incremental cost 1 essay
• Independence 15 essays — The relation between two events when knowing that one happened says nothing about the chance of the other. It is what makes variances add, and it is a hypothesis that fails invisibly — no picture of a sample shows whether it holds.
• Independence of axioms 1 essay
• Independence of irrelevant alternatives 2 essays — The condition that a verdict between two candidates depends only on how the voters ranked those two. It is one of the conditions Arrow's theorem shows cannot all be met at once, and it is the one most rules give up.
• Independent set 1 essay
• Index 6 essays — The number of blocks a subgroup cuts its group into, which for finite groups is the group's size divided by the subgroup's. It counts the sheets of the corresponding covering space and the degree of the corresponding field extension.
• Indivisible goods 1 essay
• Induction 2 essays — A method of proof in which a statement about every whole number follows from the first case and from each case implying the next. Its strength is that a single argument covers infinitely many claims, and its cost is that the conclusion is only as sharp as the step.
• Inequality 3 essays — A statement that one quantity is at least another. Most named ones are a single supporting line at a well-chosen point of a convex function, which is why collecting convex functions is a way of collecting inequalities.
• Infimum 1 essay
• Infinite descent 2 essays — An argument that from any solution in whole numbers a strictly smaller one can be produced, which is impossible because the whole numbers do not descend forever. It proves an impossibility by exhibiting a procedure, and it survives into settings where no polynomial is available to argue about.
• Infinite path 1 essay
• Infinite set 1 essay
• Information 1 essay
• Initial condition 1 essay
• Injection 1 essay
• Inner product 7 essays — The operation pairing two vectors or functions into a number, from which length and the angle between them are defined. Only one of the p-norms comes from one, which is why angles and projections exist for ordinary distance and for no other exponent.
• Inscribed angle 2 essays — The angle a chord subtends at a point of the circle, the same wherever on its arc that point sits. It is exactly half the central angle on the same arc, which is why a triangle on a diameter always has a right angle.
• Instant runoff 1 essay
• Integer 1 essay
• Integrability 3 essays — The property of a dynamical system that enough conserved quantities exist to confine each trajectory to a low-dimensional set. An integrable system's orbits are orderly and describable in closed form; the typical system has no such quantities.
• Integral 8 essays — It is the limit of sums of rectangles under a curve, and it measures accumulated total rather than instantaneous rate. The fundamental theorem says that it undoes differentiation, which is what makes areas computable from antiderivatives.
• Integral geometry 2 essays — The study of geometric quantities recovered from averages over random lines, positions or orientations. Buffon's needle is its first result: a probability computed by averaging over positions and orientations turns out to contain the circle constant.
• Integrality 5 essays — The fact that a rational root of a polynomial whose leading coefficient is one must be a whole number. It turns an infinite search over fractions into a finite search over the divisors of the constant term, and it is what decides which roots of whole numbers are irrational.
• Integration by parts 1 essay
• Interleaving 1 essay
• Intermediate value theorem 2 essays — A continuous quantity that takes two values also takes every value between them. It is what makes bisection work, and it is the one-dimensional ancestor of every fixed-point theorem in this collection.
• Interpolation 2 essays — Finding a function of a chosen kind that passes exactly through given data points. For polynomials there is exactly one of degree below the number of points, and how good it is depends far more on where the points were placed than on how many there are.
• Interpretation 1 essay
• Intersecting family 1 essay
• Interval 3 essays — A stretch of the line between two endpoints, with or without them. It is the object measure is defined against — every other set's length is an infimum over coverings by intervals — and a set containing none of them is nowhere dense.
• Intractability 1 essay
• Intrinsic property 1 essay
• Intuitionistic logic 1 essay
• Invariance 1 essay
• Invariance of domain 2 essays — The theorem that a continuous one-to-one map from an open piece of n-dimensional space into n-dimensional space has an open image. Its consequence is that spaces of different dimensions are never homeomorphic, which is what makes dimension a property of a space rather than of a way of describing it.
• Invariant 25 essays — A quantity computed from an object that does not change under the transformations being allowed. Finding one is how impossibility is proved: if a quantity never changes, no sequence of moves reaches a position where it differs.
• Invariant density 1 essay
• Invariant direction 3 essays — A line through the origin that a linear map sends into itself, stretched but never turned. It is an eigenvector by another name, and the factor by which the map stretches it is the eigenvalue.
• Invariant set 2 essays — A set that a map or flow sends into itself, so that a point starting inside never leaves. The interesting ones are much smaller than the space they sit in, and the dynamics restricted to them is what a system's long-run behaviour is.
• Invariant subspace 1 essay
• Inverse 2 essays — The element that undoes another under an operation, returning the identity. Modulo a whole number it exists exactly for the residues coprime to the modulus, and the extended Euclidean algorithm finds it in a few steps.
• Inversion 7 essays — The map that sends each point out along its own ray from a fixed centre, to the distance whose product with the original is the square of a fixed radius. It carries circles and lines to circles and lines and preserves angles, which is what turns a hard tangency question into an easy one.
• Involution 4 essays — An operation that undoes itself, so that applying it twice returns what it started from. Pairing objects by an involution that reverses a sign is the standard way to make a signed sum collapse: the paired terms cancel and only what the pairing cannot touch survives.
• Irrational rotation 4 essays — Turning a circle repeatedly by an angle that is not a rational part of a full turn, so no point is ever revisited. Its orbit fills the circle densely, which is why the three-distance theorem and equidistribution both concern it.
• Irrationality 5 essays — The property of a number that no fraction of whole numbers equals it. It is proved either by a descent, by a finite search over candidates, or by a squeeze in which something forced to be a whole number is shown to lie strictly between nought and one.
• Irreducible 2 essays — An object with no smaller one of its kind hiding inside it. A representation is irreducible when it has no invariant subspace, and the irreducible ones are the pieces every other is assembled from.
• Irreducible polynomial 4 essays — A polynomial that cannot be written as a product of two smaller ones with coefficients from the same field. It is what plays the role of a prime in a polynomial ring, and quotienting by one is how a field extension is built.
• Irreversibility 1 essay
• Irrevocable decision 4 essays — A choice that cannot be revisited once made, so that a rejected option is gone and an accepted one ends the process. It is the hypothesis that makes a stopping problem hard, and no amount of information about the alternatives removes the cost it imposes.
• Isolated vertex 2 essays — A point of a graph with no edges. In a random graph their expected number is the point count times e to the minus the average degree, and their disappearance is exactly when the graph becomes connected.
• Isosceles triangle 1 essay
• Isotopy 1 essay
• Iterated function system 3 essays — A finite list of contracting maps, whose attractor is the unique set equal to the union of its own images under them. It is the standard way of specifying a fractal, and the dimension it forces can be read off the maps' contraction ratios without covering anything.
• Iteration 26 essays — Applying a rule to its own output, over and over, and asking what the resulting sequence does. What the sequence does is decided by the slope at the fixed point, and the same rule can settle, cycle or wander depending on a parameter.
• Iterative scaling 1 essay
• Itinerary 1 essay

• Jensen inequality 1 essay
• Jordan curve 4 essays — A closed curve in the plane that never crosses itself. The theorem named after it says the complement of such a curve falls into exactly two pieces, which is obvious for the curves anyone draws and needs real machinery for the ones the hypotheses actually allow.
• Judgement aggregation 3 essays — Combining several people's yes-or-no verdicts on a set of logically connected propositions into one collective verdict. No rule that responds to the votes is both decisive on every proposition and free of self-contradiction.
• Julia set 1 essay

• Karnaugh map 2 essays — A grid of a formula's truth values laid out so that squares which touch differ in exactly one variable. Adjacent squares differ in one variable, so a block of them is a single simplified term and minimising a formula becomes covering a picture.
• Kempe chain 1 essay
• Kepler poinsot 1 essay
• Kernel 1 essay
• Kissing number 1 essay
• Klein bottle 3 essays — The one-sided closed surface made by gluing a square's edges with one pair joined straight and one flipped. It cannot be embedded in three dimensions without passing through itself, and cutting it in half gives two Mobius bands.
• Knot 6 essays — A closed curve in space, considered up to deformations that never pass one strand through another. Telling two apart means finding an invariant, since no amount of failed rearranging proves that a rearrangement does not exist.
• Knot determinant 1 essay
• Koch curve 2 essays — The curve obtained by repeatedly replacing the middle third of every segment with two sides of a triangle. It has infinite length and no area, four pieces at a third the size, and a dimension of log 4 over log 3 - which is the standard first example of a dimension that is not a whole number.
• Konig lemma 1 essay
• Kripke model 7 essays — A set of worlds with arrows between them, together with an assignment saying which statements hold at each world. It gives the modal operators their meaning: necessary at a world means true at every world that world points to.
• Kummer's theorem 2 essays — The statement that a prime divides a binomial coefficient exactly as many times as there are carries when the two lower indices are added in that prime's base. It turns a question about an enormous number into a question about column addition, and Lucas' theorem is its case of no carries.

• Labelled graph 1 essay
• Labelled tree 1 essay
• Lagrange theorem 3 essays — The rule that the size of any subgroup divides the size of the group containing it. It follows from the cosets all having the same size, and it is what limits which subgroups a group can have at all.
• Lamé's theorem 1 essay
• Large deviations 2 essays — The study of how fast the chance of a fixed-size departure from the typical falls as the sample grows. The answer is exponential in the sample size, and the exponent is computed from the summand before any sample size is chosen.
• Latin rectangle 1 essay
• Latin square 7 essays — A square array in which every symbol appears exactly once in each row and each column. It is the multiplication table of a quasigroup, and the question of when two can be superimposed with all symbol pairs distinct is two centuries old.
• Lattice 14 essays — The regular array of points reached by taking whole-number steps along a fixed set of directions. It is where number theory and geometry meet: counting its points inside a region turns arithmetic questions into questions about area.
• Lattice paths 5 essays — Paths on a grid built from steps in a fixed set, usually one to the right or one upward. Counting them is a matter of choosing which steps go which way, so their numbers are binomial coefficients, and families of them that never touch are counted by a determinant.
• Lattice point 1 essay
• Lattice walk 1 essay
• Law of cosines 2 essays — The relation giving the third side of any triangle from the other two and the angle between them, whose extra term vanishes at a right angle. It is the Pythagorean theorem with a correction term, and the correction vanishes exactly when the angle is a right angle.
• Law of large numbers 2 essays — The statement that the average of independent repetitions of a measurement settles on the underlying mean as their number grows. It is what makes an average an estimate at all, and it says nothing about how fast — that is a separate and finer question.
• Leaf 1 essay
• Least squares 2 essays — The rule that fits a model to data by minimising the total of the squared discrepancies. Squaring is what makes the answer a projection: the fitted values are the point of the subspace the model can reach that is nearest the data, and the leftover meets that subspace at a right angle.
• Lebesgue integral 1 essay
• Legendre symbol 5 essays — A quantity that is plus one when a is a non-zero square modulo the prime p, minus one when it is not, and nought when p divides a. It multiplies over its top argument, which reduces any such question to the primes and the two supplements.
• Legendre transform 2 essays — The construction sending a convex function to the record of its own tangent lines, indexed by slope. It converts minimisation into evaluation, addition into an infimal convolution, and undoes itself — which is why duality appears wherever it does.
• Lexicographic order 2 essays — The order in which words appear in a dictionary: compare the first letters, and where they agree compare the next. It is used to pick a canonical representative from a collection of equivalent objects, because it costs nothing to state and two parties can arrive at the same one independently.
• Lifting 3 essays — Following a path or a map upstairs through a covering, so that it projects back to the original. A path lifts uniquely once a starting point above is chosen, and whether a loop lifts to a loop is what decides which subgroup a cover names.
• Lifting map 2 essays — Sending a planar point to the point above it on the paraboloid, so that its height is the square of its distance from the origin. It turns every circle in the plane into a plane in space, and every inside-the-circle question into an inequality.
• Likelihood 1 essay
• Limit 27 essays — The value a sequence or a function approaches as closely as anybody likes, whether or not it ever arrives. Its existence is separate from its value, and separate again from the rate at which the approach happens.
• Limit function 1 essay
• Limit ordinal 3 essays — An ordinal with things below it and nothing immediately below: the least thing above an increasing collection rather than one step past a predecessor. Induction along the ordinals needs a case of its own for these, and that case is where arithmetic's own strength runs out.
• Linear convergence 1 essay
• Linear dependence 1 essay
• Linear extension 1 essay
• Linear independence 2 essays — The property of a set of vectors that none of them is a combination of the others, so that each contributes a direction the rest cannot reach. It is what makes coordinates unique, and Gram-Schmidt tests for it as a side effect by measuring how much of each vector survives the removal of its shadows.
• Linear inequality 1 essay
• Linear map 1 essay
• Linear program 5 essays — The problem of making a weighted sum as large or as small as possible subject to finitely many straight-line inequalities. Its optimum is always at a corner of the feasible region, which is what makes searching corners a complete method.
• Linear programming 3 essays — Maximising a linear expression subject to linear inequalities. Its optimum is always attained at a corner of the region the inequalities cut out, which is what makes it solvable and what makes the corners' arithmetic decide everything about it.
• Linear recurrence 1 essay
• Linear system 3 essays — A collection of linear equations in several unknowns, solved by elimination. A great many quantities in probability that look like limits — expected times, absorption chances, hitting times — are exact solutions of one instead.
• Linearisation 1 essay
• Linearity 5 essays — The property that a quantity applied to a sum is the sum of the quantities, and scales with a multiple. It is what makes superposition work, and it is the property every approximation in this collection tries to arrange locally.
• Link 1 essay
• Linking number 5 essays — A whole number attached to two disjoint closed loops in space, counting with signs how often one passes through a surface the other bounds. No deformation keeping the loops apart can change it, so a non-zero value proves they cannot be separated.
• Liouville number 2 essays — A number approachable by fractions faster than any fixed power of the denominator allows. Every one of them is transcendental, since an algebraic number of degree d cannot be approached better than the dth power permits, and one is built by spacing decimal digits factorially.
• List decoding 1 essay
• Listing 1 essay
• Literal 2 essays — A variable, or the negation of a variable — the smallest piece from which a clause is built. Working in literals rather than in variables is what allows a single inference rule to cancel one variable between two clauses.
• Local minimum 3 essays — A point at which a function is no larger than at every nearby point. For a convex function there is only one such value and it is the global minimum; without convexity a local minimum can be arbitrarily worse than the best, and nothing local tells them apart.
• Local optimum 1 essay
• Locality 4 essays — The restriction that each part of a system is affected only by what is immediately next to it. It is what makes a cellular automaton's global behaviour surprising, since every rule in it sees only its immediate surroundings.
• Locus 2 essays — The set of all points satisfying a stated condition, taken as a shape in its own right. Describing a curve as one turns a geometric condition into an equation, which is the whole method of coordinate geometry.
• Logarithm 10 essays — The exponent a base must be raised to in order to give a number, which turns multiplication into addition. Turning products into sums is exactly why it appears in the prime counting theorem and in every entropy.
• Logarithmic spiral 1 essay
• Logic 2 essays — The study of which conclusions follow from which assumptions, made precise enough to be checked mechanically. It supplies the notion of consistency that every aggregation problem is measured against.
• Logical connective 1 essay
• Logistic map 7 essays — The one-parameter rule that sends a number to r times itself times one minus itself, on the unit interval. As the parameter rises it goes from a fixed point through period doubling into chaos, all with one quadratic rule.
• Loop 4 essays — A path in a space that ends where it began. Which loops can be shrunk to a point is the first question topology asks of a space, and the answer already distinguishes a disc from a ring.
• Lorenz system 1 essay
• Lottery 1 essay
• Lowest terms 5 essays — A fraction written so that its numerator and denominator share no factor above one. Every fraction has exactly one such form, and nearly every argument about rational numbers begins by taking it, since it is where unique factorisation gets its grip.
• Lucas' theorem 2 essays — The statement that a binomial coefficient is odd exactly when the binary digits of the lower index sit under those of the upper. It is the reason shading the odd entries of Pascal's triangle produces a fractal, and it generalises to any prime with that prime's digits in place of binary.
• Lyapunov exponent 5 essays — The average rate at which two nearby orbits of a map separate, measured as the logarithm of a factor per step. A positive value is what chaos means quantitatively, and its reciprocal is how many steps a computed orbit tracks the true one before the rounding has been amplified to full size.
• LYM inequality 1 essay
• Lyndon word 1 essay

• Majority 3 essays — The rule that accepts a proposition when more than half of those voting do. It is the only anonymous rule treating acceptance and rejection alike, and on an agenda whose propositions imply one another it can produce a collectively inconsistent verdict.
• Majority rule 1 essay
• Mandelbrot set 2 essays — The parameters for which the orbit of zero under squaring-and-adding stays bounded. It is connected, its boundary has dimension two, and which parameters lie in it is decided by an escape-time test.
• Manifold 1 essay
• Manipulation 1 essay
• Marginal contribution 4 essays — What a player adds to a coalition on joining it — the value of the group with them, less its value without. Averaging it over every order in which the players could have arrived is the Shapley value, and the four conditions that pick out that average are conditions on the averaging rather than on the contributions.
• Marked straightedge 1 essay
• Markov chain 8 essays — A process moving between states with fixed probabilities that depend only on the state it is in, never on how it got there. Its long-run behaviour is read off the powers of its transition matrix, and the stationary distribution is the direction that matrix leaves alone.
• Martingale 1 essay
• Matching 8 essays — A set of pairings in which no element appears twice. Whether one covering everything exists is decided by a condition on every set of elements at once, and a largest one is found by improving a partial one along alternating paths.
• Matrix 20 essays — A rectangular grid of numbers, read as the instructions for a linear map. Multiplying two of them composes the maps, which is why the chain rule in several variables is a matrix product.
• Matrix exponential 1 essay
• Maximal element 1 essay
• Mean value theorem 3 essays — The statement that a differentiable function's change across an interval equals its slope somewhere inside, times the interval's length. It converts a bound on the derivative into a bound on the function, which is how nearly every error estimate in analysis is obtained.
• Measure 13 essays — An assignment of size to the parts of a set, adding up whenever disjoint parts are put together. It is what makes it possible to say that a set has length zero while still having uncountably many points.
• Measure zero 6 essays — The property of a set that can be covered by intervals of total length as small as desired. Every countable set has it, and so do uncountable ones such as the Cantor set — so it is a notion of smallness quite separate from how many members a set has.
• Measurement 1 essay
• Mediant 4 essays — The fraction formed by adding two fractions' numerators and adding their denominators. It is not addition and not an average, it lies strictly between its two parents, and repeating it from the right starting pair produces every positive rational exactly once and already in lowest terms.
• Membership 1 essay
• Membership pattern 1 essay
• Mersenne prime 1 essay
• Method of exhaustion 2 essays — Pinning a quantity down by bounding it above and below with pieces that can be made as small as needed. It is what Archimedes used for the circle and it is the ancestor of the limit, arriving two thousand years before one was defined.
• Metric 1 essay
• Metropolis algorithm 1 essay
• Midpoint 3 essays — The point halfway along a segment, equidistant from both ends. It is the piece of metric information a straightedge cannot produce, and having one is equivalent to being able to draw parallels.
• Milnor invariant 1 essay
• Min-max theorem 1 essay
• Minimal counterexample 1 essay
• Minimal polynomial 4 essays — The smallest-degree polynomial with whole-number coefficients that a given number satisfies. Its degree is the degree of the extension the number generates, which is what settles constructibility questions.
• Minimality 1 essay
• Minimax 2 essays — The most a cautious chooser can guarantee, which in a zero-sum game is the same number the opponent can hold them to. For a zero-sum game the two players' guarantees coincide, which is what the minimax theorem establishes.
• Minimum distance 3 essays — The smallest number of places in which two different codewords of a code disagree. A code corrects up to half of it in errors, which makes it the single number describing what a code can do.
• Mixed strategy 4 essays — A weighting over the options open to a chooser, judged by the payoff it returns on average. Allowing them is what makes an equilibrium always exist, since a game with no equilibrium in pure choices may have one in weights.
• Mixing 1 essay
• Mixing time 1 essay
• Möbius band 2 essays — A strip joined end to end after a half twist, leaving one side and one edge. It is the standard example of non-orientability, and cutting it down the middle gives one longer two-sided band rather than two.
• Mobius transformation 3 essays — A map of the plane, extended by one point at infinity, given by a quotient of two linear expressions in a complex variable. Such maps carry circles and lines to circles and lines, preserve angles, and are exactly the compositions of an even number of inversions in circles.
• Modal logic 6 essays — The logic of an operator meaning *necessarily*, evaluated over diagrams of worlds and arrows. Its axioms are not a matter of taste: each holds on exactly the diagrams whose arrows have a stated property.
• Model 4 essays — A structure giving each symbol of a formal language a meaning, so that every sentence of it becomes true or false. Exhibiting one is how a statement is shown unprovable from a set of axioms, since a derivation would have to hold in every model.
• Modular arithmetic 25 essays — Arithmetic on a finite dial, in which numbers differing by a multiple of the dial's size count as the same number. Addition and multiplication are well defined on the classes, which is what makes the dial a ring and not merely a labelling.
• Modular group 1 essay
• Modulus 4 essays — The size of the dial that arithmetic is being done on — the number that counts as zero. Whether the dial's arithmetic has division depends entirely on it: every non-zero element is invertible exactly when it is prime.
• Moment generating function 1 essay
• Monodromy 1 essay
• Monoid 1 essay
• Monotone 1 essay
• Monotone function 1 essay
• Monotone property 1 essay
• Monotone subsequence 1 essay
• Monotonicity 3 essays — The property that a rule's output moves in one direction when its input moves in one direction — more of something in never gives less of something out. It is the property most often quietly assumed and most often violated by rules that look reasonable.
• Monte Carlo 6 essays — Computing a deterministic quantity by averaging a random process designed to have that quantity as its mean. Its error falls like one over the square root of the sample size whatever the dimension, which makes it slow everywhere and the only workable method in high dimensions.
• Monty hall 1 essay
• Morley triangle 1 essay
• Moving knife 1 essay
• Multilinearity 2 essays — The property of being linear in each argument separately, with the others held fixed. It is what lets a function of several vectors be expanded over a basis one argument at a time, and it is the first of the three conditions that leave the determinant as the only possibility.
• Multinomial 1 essay
• Multiplication 1 essay
• Multiplicative function 4 essays — A function on the whole numbers whose value at a product of two coprime numbers is the product of its values at each. Its values are determined by what it does at prime powers, which is what turns a sum over the integers into a product over the primes.
• Multiplier 1 essay

• Nash equilibrium 5 essays — A choice by every participant such that none of them can do better by changing their own while the rest stay fixed. Its existence for finite games follows from a fixed-point theorem, and finding one is a different matter from knowing it is there.
• Natural deduction 2 essays — A proof system whose rules come in pairs, one saying how to make a formula with a given connective and one saying how to use one. Its distinguishing feature is the discharge, which withdraws an assumption once its consequence has been derived and so turns a conditional derivation into a proof of an implication.
• Natural frequencies 1 essay
• Natural logarithm 4 essays — The power to which e must be raised to reach a given number. Its derivative is one over the input, which is what makes it appear whenever a sum over the whole numbers is estimated.
• Nearest-neighbour 1 essay
• Necessity 1 essay
• Necklace 1 essay
• Negation 1 essay
• Neighbourhood 1 essay
• Neusis 1 essay
• Newtons method 2 essays — The iteration that replaces a guess at a root by where the tangent there crosses the axis. Its derivative at a simple root is exactly zero, so the error is squared at each step and the number of correct digits doubles — which is why it converges in a handful of steps and why it fails badly at a multiple root.
• Next-bit test 1 essay
• Non-crossing partition 1 essay
• Non-measurable set 1 essay
• Non-orientable 3 essays — A surface on which a consistent sense of clockwise cannot be chosen, because some route reverses it. A shape carried round the offending route comes back mirrored, and no consistent choice of normal exists.
• Nonconstructive 8 essays — Said of a proof that establishes something exists while giving no way to find it. Such a proof is worth having and worth flagging, since it leaves the question of finding the object entirely open.
• Norm 7 essays — A measure of the size of a vector or a number, and the notion of distance that follows from it. Which one is chosen decides what nearest means, and only the ordinary one is unchanged by rotation.
• Normal distribution 8 essays — The bell-shaped distribution that sums of many small independent contributions settle into. It is the fixed point of convolution followed by rescaling, which is why it and no other shape is what sums arrive at.
• Normal form 4 essays — A standard way of writing an expression, chosen so that equivalent expressions written that way are identical. Having one turns the question of whether two expressions are equal into the question of whether two strings are identical.
• Normal subgroup 4 essays — A subgroup carried into itself by conjugation with every element of the group. It is exactly the condition under which the cosets can be multiplied, so it is what makes a quotient group exist, and a chain of them with abelian steps is what solvability by radicals requires.
• Normal vector 1 essay
• Notation 1 essay
• Nowhere dense 1 essay
• Nowhere differentiable 1 essay
• Nucleolus 1 essay
• Null-player 1 essay
• Nullity 1 essay
• Numerical artefact 1 essay

• Open problem 5 essays — A question that has been stated precisely, attacked seriously, and not settled. The useful ones come with an identified obstruction — a named reason the available methods stop short — rather than merely an absence of answers.
• Open set 1 essay
• Operation set 10 essays — The fixed collection of moves a construction is allowed, which decides what can and cannot be reached. Changing it changes the answer completely: trisection is impossible with straightedge and compass and easy with a marked ruler.
• Optimal stopping 4 essays — Choosing when to accept an offer that arrives in a sequence, with no going back. What the answer looks like depends entirely on what the chooser is told and what counts as success, and changing either produces a different constant from the same arrival process.
• Optimality 4 essays — The property of being best under a stated objective, together with a proof that nothing else does better. The proof is the substance: a value with no argument that nothing beats it is a candidate rather than an optimum.
• Optimisation 4 essays — Finding the value of a variable that makes a quantity as small or as large as possible, subject to constraints. Whether it is tractable turns almost entirely on convexity, which decides not how fast an answer is found but whether a found answer can be recognised.
• Orbit 16 essays — The set of places a point is carried to by repeating an operation until it returns. It may be finite, may return exactly, or may never repeat, and which of the three happens is the first question asked of any iteration.
• Order 2 essays — The number of times an operation has to be repeated before it returns to where it started. It divides the size of the group, which is Lagrange's theorem applied to the subgroup that one element generates.
• Order lattice 3 essays — An ordering in which every two elements have a greatest lower bound and a least upper bound, whatever else is incomparable. The power set of any collection is one, with intersection and union playing the two roles.
• Order type 4 essays — What is left of an ordered set when the identity of its members is forgotten and only the arrangement is kept. Two sets share an order type when some relabelling matches them in order, and the order types of well-ordered sets are the ordinals.
• Ordering 1 essay
• Ordinal 5 essays — The order type of a well-ordered set: a way of counting that continues past the finite while recording arrangement rather than size. Ordinals can be compared, added and multiplied, and a process that strictly decreases one at every step must terminate.
• Ordinal arithmetic 1 essay
• Ordinary line 1 essay
• Oresme 1 essay
• Orientability 5 essays — The property of a surface that a consistent sense of turning can be chosen at every point at once. It fails exactly when carrying a frame round some loop returns it mirrored, and it is what a one-sided surface lacks, stated without reference to any surrounding space.
• Orientation 12 essays — A consistent choice of which way round a surface or a path is traversed, on the surfaces where such a choice can be made at all. It exists on a sphere or a torus and not on a Mobius band, and its absence is what makes a surface non-orientable.
• Orientation double cover 1 essay
• Orthogonal latin squares 4 essays — Two Latin squares of the same order such that superimposing them produces every ordered pair of symbols exactly once. Families in which every pair is orthogonal exist at every prime power order, are the same objects as finite planes, and are what Euler's officer problem asks for.
• Orthogonal matrix 1 essay
• Orthogonality 12 essays — The relation between two directions at right angles, so that neither has any component along the other. It is what makes coefficients computable one at a time, which is why a Fourier coefficient is a projection and not a fitted parameter.
• Orthonormal basis 2 essays — A basis whose vectors are mutually perpendicular and each of length one. Its value is that a coordinate becomes a single inner product rather than the solution of a system, so coefficients can be computed independently of each other and a truncated expansion is the best approximation available from the directions kept.

• Pairing function 1 essay
• Pairs 1 essay
• Pairwise majority 4 essays — The relation formed by taking candidates two at a time and letting the larger side of the electorate settle each pair. It need not be transitive, and the cycles it can produce are why a majority verdict may fail to assemble into a ranking.
• Paley graph 1 essay
• Parabola 3 essays — The conic section at the boundary between closed and unbounded, whose points are as far from a focus as from a line. It is the cut parallel to the cone's own slope, and every ray arriving parallel to its axis reflects through the focus.
• Paraboloid 1 essay
• Parallel 1 essay
• Parallel lines 1 essay
• Parallel postulate 2 essays — Euclid's fifth assumption, that through a point beside a line there is exactly one line that never meets it. Denying it gives consistent geometries, which is what the disc model exhibits and what settled two thousand years of attempts to prove it.
• Parameter 1 essay
• Parametrisation 1 essay
• Parity 24 essays — Whether a whole number is even or odd, which is all that a surprising number of arguments turn on. It is the simplest invariant there is, and it settles puzzles that no amount of searching would: a move that preserves it cannot change it.
• Parity check 1 essay
• Partial order 3 essays — A way of comparing elements that need not compare every pair, being reflexive, transitive, and never putting two distinct elements each below the other. Subsets under inclusion and whole numbers under divisibility are the standard examples, and the pairs it leaves uncompared are what its antichains count.
• Partition 7 essays — A way of writing a whole number as a sum of whole numbers with the order disregarded. The counts have no simple closed form and are handled instead through a product whose factors decide how many copies of each part are used.
• Pascals triangle 1 essay
• Path-connected 1 essay
• Pell equation 2 essays — The equation x² − Dy² = 1 in whole numbers, for a D that is not a perfect square. It always has infinitely many solutions, and every one of them is a power of the smallest under a multiplication that is really multiplication of numbers of the form a + b√D.
• Pentagonal number 1 essay
• Percolation 1 essay
• Perfect code 2 essays — A code whose correction balls fill the whole space of words exactly once, with nothing left over. They are rare — the repetition codes, the Hamming codes and the Golay code are the complete binary list — and they are the codes that meet the sphere-packing bound.
• Perfect number 2 essays — A number equal to the sum of its own proper divisors, as six is one plus two plus three. Every even one comes from a Mersenne prime by Euclid's rule, and whether any odd one exists is unknown.
• Perfect square 1 essay
• Perimeter 1 essay
• Period 2 essays — How many steps a repeating sequence takes before it comes back to where it started. For a generator it bounds how much output is usable, and for a linear recurrence over a finite field it is decided by whether a polynomial is primitive.
• Period-doubling 2 essays — A bifurcation at which a cycle loses stability and is replaced by one of twice its length. The parameter gaps between successive doublings shrink by a universal ratio, which is the same for a whole class of maps.
• Periodic orbit 13 essays — An orbit that returns exactly to a value it has already taken, and then repeats forever. Its length and stability are what a bifurcation diagram records, and a period-three orbit forces orbits of every other period.
• Periodicity 8 essays — The property of a pattern that repeats itself exactly after a fixed step. It is what a Fourier series assumes, and imposing it on a function that lacks it is what produces the artefacts at the ends.
• Permanent 2 essays — The sum over all permutations of the same products a determinant takes, with the minus signs deleted. It counts perfect matchings and the ways of extending a Latin rectangle, and having no cancellation in it, it cannot be evaluated by elimination.
• Permutation 19 essays — A rearrangement of a collection that sends each member to one place and leaves nothing doubled up. The parity of one is invariant under the way it is written as swaps, which is why some puzzle positions are unreachable.
• Permutation parity 1 essay
• Perpendicular bisector 2 essays — The line of points equally far from two given ones, at right angles to the segment joining them. The three of a triangle meet at the centre of its circumscribed circle, which is why that circle exists at all.
• Phase transition 5 essays — A qualitative change in a system's behaviour produced by a small change in a parameter. In a random structure it is a property whose probability moves from near zero to near one over a vanishing range, and the sharpness is a fact about the limit rather than about any finite case.
• Phyllotaxis 2 essays — The arrangement of leaves or seeds around a stem, set by a fixed turn between successive ones. The turn is close to the golden angle, which is the arrangement that avoids lining up for the longest.
• Pi 12 essays — The ratio of a circle's circumference to its diameter, and a constant that turns up in a great many places with no circle in them. It is the ratio a circle fixes, and its appearances in counts of lattice points and in Buffon's needle come through that ratio rather than by coincidence.
• Pick theorem 3 essays — The rule giving a lattice polygon's area as the interior dot count plus half the boundary count minus one. It is exact, it has no analogue in three dimensions, and its exactness comes from the boundary being made of segments between lattice points.
• Piecewise linear 1 essay
• Pigeonhole 2 essays — The observation that distributing more things than there are places forces some place to take two. It proves existence without producing anything, and its power comes entirely from choosing what to count as a place.
• Pigeonhole principle 8 essays — The observation that putting more things than boxes into the boxes forces two of the things to share one. It is the shortest existence argument in mathematics, and the skill in using it is entirely in the choice of boxes.
• Pivotal player 1 essay
• Place value 1 essay
• Planar graph 7 essays — A graph that can be drawn in the plane with no two of its edges crossing. Its edge count is bounded by three times its vertices, which is what rules out the complete graph on five points.
• Planarity 5 essays — The property of a graph that it can be drawn in the plane with no two edges crossing. Kuratowski's theorem says exactly two graphs obstruct it, so failing is always failing for one of two reasons.
• Platonic solids 6 essays — The five convex solids whose faces are congruent regular polygons meeting alike at every corner. There are five because the angles at a corner must fall short of a full turn, which is a counting argument rather than a search.
• Poincare section 1 essay
• Point at infinity 1 essay
• Point set 1 essay
• Pointwise convergence 1 essay
• Polygon 6 essays — A closed curve made of finitely many straight segments joined end to end. Almost every statement about curves is easy for polygons and hard in general, because a polygon has finitely many corners, a length, and a triangulation, and a curve need have none of them.
• Polyhedron 10 essays — A solid bounded by flat faces meeting along straight edges. Its corners, edges and faces satisfy Euler's relation, which is what limits how many regular ones can exist — and the answer to that is five.
• Polynomial 9 essays — An expression built from a variable by adding and multiplying only, with whole-number powers. Its degree bounds its number of roots, and over the complex numbers it has exactly that many when they are counted properly.
• Polynomial approximation 4 essays — Replacing a function by a polynomial that agrees with it in some stated sense. The sense may be agreement at a point to high order, exact agreement at several points, or the smallest possible worst error across an interval, and a polynomial optimised for one of those loses badly under another.
• Polynomial roots 1 essay
• Polytope 7 essays — The generalisation of a polygon and a polyhedron to any number of dimensions, bounded by flat pieces of one dimension lower. Regular ones are infinite in number in two dimensions, five in three and six in four, after which exactly three exist in every dimension.
• Poset 4 essays — A set with a rule saying that some pairs of its elements come before others, consistently and without cycles, leaving the rest incomparable. It is the mathematics of partial information: what is known about an order, before everything has been compared.
• Positive definite 2 essays — The requirement that a rule for multiplying two vectors give a strictly positive answer whenever a vector is multiplied by itself, unless the vector is zero. It is what turns such a rule into a geometry, since it makes the self-product a squared length, and it is the property whose loss reverses the Cauchy-Schwarz inequality.
• Post classes 1 essay
• Potential function 2 essays — A single number attached to each state of a game that falls by exactly the amount a mover gains, at every unilateral move. Nobody is trying to change it and it is nobody's payoff; its whole use is that improving moves walk downhill on it, so they cannot cycle and must reach a state from which nothing improves.
• Power diagram 1 essay
• Power series 5 essays — An infinite sum of powers of a variable, standing for a function wherever the sum settles. Its radius of convergence is set by the nearest point where the function misbehaves, including points off the real line.
• Power set 2 essays — The collection of all sub-collections of a given set, including the empty one and the whole. It is always strictly larger than the set itself, by the diagonal argument, which is why the sizes of infinite sets never stop increasing.
• Predicate logic 1 essay
• Prediction 3 essays — A statement about a system's future derived from its present state. In a chaotic system its useful lifetime grows only as the logarithm of the precision of the starting measurement, which is why better instruments buy so little.
• Preference profile 8 essays — The whole input to a voting rule: one complete ranking of the candidates, submitted by every voter. Every impossibility theorem in voting is a statement about what no rule can do across all of them.
• Price of anarchy 1 essay
• Primality test 1 essay
• Prime 4 essays — A whole number above one whose only divisors are one and itself. Every whole number above one is a product of primes in exactly one way, which is why they are the objects arithmetic is built from rather than a curiosity about divisibility.
• Prime counting function 1 essay
• Prime gaps 1 essay
• Prime implicant 1 essay
• Prime number theorem 1 essay
• Prime power 3 essays — A prime raised to a whole-number exponent, which is exactly the sizes at which a finite field exists. A finite field exists at exactly these sizes and no others, which is why there is no field with six elements.
• Primes 18 essays — The whole numbers above one divisible by nothing but themselves and one, out of which every other whole number is built. How many lie below a bound is estimated by the logarithmic integral, and how they are arranged locally remains largely unknown.
• Primitive element 5 essays — A member of a group whose powers run through the whole group, or of a field extension that generates all of it. Its existence turns a structure into a list of powers, so that multiplication becomes addition of exponents.
• Primitive triple 2 essays — A Pythagorean triple whose three numbers share no common factor, so that it is not a whole multiple of a smaller one. Every triple is a multiple of exactly one primitive one, and the primitive ones are what a parametrisation or a tree is asked to produce.
• Primorial 1 essay
• Probabilistic method 3 essays — Proving that an object with some property exists by showing that a randomly chosen one has it with positive probability. The argument produces nothing anyone can look at, and in several settings the objects it promises have never been constructed.
• Probability 7 essays — A number between nought and one measuring how much of a space of outcomes an event takes up, adding over disjoint events. It is a measure normalised to total one, and everything about it follows from that.
• Probability density 2 essays — A non-negative function whose integral over a region gives the chance of landing in it, and whose integral over everything is one. It is the continuous counterpart of a list of probabilities, and its value at a point is a rate rather than a chance.
• Product 1 essay
• Projection 13 essays — A map that drops a dimension, casting a shape onto a line, a plane or a surface along a chosen family of rays. It is what loses information deliberately, and what survives it is exactly what the projection was chosen to preserve.
• Projective geometry 1 essay
• Projective map 1 essay
• Projective plane 9 essays — A geometry in which any two points lie on one line and any two lines meet in one point, so there are no parallels. Adding a line at infinity to the ordinary plane produces one, and it is what makes the conics a single family rather than four.
• Proof 1 essay
• Proof by contradiction 9 essays — An argument that assumes what it means to refute, derives an impossibility from it, and concludes the assumption was false. It establishes existence without producing anything, which is why Brouwer and other intuitionists rejected it for that purpose.
• Proof system 6 essays — A fixed stock of axioms and inference rules together with a definition of what counts as a derivation. Its value is measured twice: whether everything true is derivable in it, and how long the derivations are forced to be.
• Proportionality 4 essays — The property of a division among n people that each of them values their own share at a full nth of the whole or more. It is the weaker of the two standard fairness conditions, and unlike envy-freeness it can be achieved by a simple moving-knife procedure.
• Proposition 1 essay
• Propositional formula 1 essay
• Provability 2 essays — The property of having a proof in a stated formal system, which is itself expressible inside the system when the system is strong enough. Read as a modal operator it obeys a complete and surprising set of laws, of which Löb's is the strongest.
• Prufer code 1 essay
• Pseudorandomness 6 essays — The property of a sequence produced by a rule that nevertheless passes the statistical tests one would apply to a random one. The tests are always passed by some rules with visible structure, so passing them is evidence about which tests were run rather than about the absence of pattern.
• Ptolemy inequality 1 essay
• Pythagorean theorem 4 essays — The statement that the squares on the two shorter sides of a right triangle together hold the area of the square on the longest. Read as a definition rather than a fact it says how distance is computed, and changing the exponent in it gives a whole family of distances.
• Pythagorean triples 3 essays — Triples of whole numbers that are the sides of a right triangle, so that the first two squares add to the third. They are parametrised by two coprime integers of opposite parity, and a tree of three matrices produces every primitive one exactly once.

• Quadratic convergence 1 essay
• Quadratic extension 1 essay
• Quadratic form 2 essays — A homogeneous quadratic expression in several variables, written as a symmetric matrix sandwiched between a vector and itself. Its level sets are the conics and quadrics, and the signs of its eigenvalues decide which - a classification unchanged by any invertible change of coordinates.
• Quadratic irrational 1 essay
• Quadratic polynomials 4 essays — Expressions whose highest power is a square, and the curves those expressions describe. Completing the square solves them all, and the discriminant decides how many real roots there are before any solving is done.
• Quadratic reciprocity 5 essays — The law relating whether p is a square modulo q to whether q is a square modulo p, for two odd primes. The two answers agree unless both primes are 3 modulo 4, and the theorem has upwards of two hundred proofs because each generalises differently.
• Quadratic residue 8 essays — A number that is the square of something else in modular arithmetic. Exactly half the non-zero residues modulo an odd prime are squares, and joining two points when their difference is one gives colourings with unusually few large single-coloured sets.
• Quadrature 1 essay
• Quantifier 6 essays — A word settling how many things a statement is about — every one of them, or at least one. Which one is used, and in which order, is where most of the content of a mathematical statement lives.
• Quantifier depth 2 essays — How deeply the quantifiers in a sentence are nested, which bounds how many objects it can refer to at once. It is the resource an Ehrenfeucht-Fraisse game measures, and a fixed depth is always defeated by structures that are large enough.
• Quantifier order 3 essays — The difference between one thing serving every case and each case having its own, which swapping two quantifiers changes. It is the difference between continuity and uniform continuity, and between a bound existing and a single bound working everywhere.
• Quantisation 1 essay
• Quasi-random sequence 1 essay
• Quasigroup 1 essay
• Quaternion 6 essays — A number of the form a + bi + cj + dk, multiplied by Hamilton's rule, in which the order of a product matters. Unit quaternions perform rotations of three-space by conjugation and of four-space in pairs, and their length is multiplicative.
• Quaternions 1 essay
• Quota 5 essays — A region's exact share of the seats being divided — its population times the house size, over the total — which is almost never a whole number. A rule respects quota when every region ends with the floor or the ceiling of its own, and the classical divisor methods do not.
• Quota rule 2 essays — An aggregation rule accepting a proposition when at least a stated number of voters do. Majority and unanimity are the two extremes, and raising the quota buys consistency by allowing the body to take no view at all.
• Quotient 2 essays — The object obtained by declaring some elements of a structure to be the same and keeping only what survives that identification. Its points are the classes of the relation, and its structure is whatever the original structure induces on them.
• Quotient group 1 essay

• Radian 1 essay
• Radical axis 1 essay
• Radical extension 1 essay
• Radius of convergence 3 essays — The distance from a power series' centre out to where it stops converging. It equals the distance to the nearest point where the function is not analytic, measured in the complex plane whether or not the function was ever meant to leave the real line, and it can also be read off the growth of the coefficients alone.
• Ramsey number 5 essays — The smallest number of points at which every two-colouring of the pairs contains a given number all agreeing. Only a handful are known exactly; the upper bounds come from counting arguments and the lower ones from constructions or from proofs that constructions exist.
• Random 1 essay
• Random graph 7 essays — A graph on a fixed set of points in which each possible edge is present independently with the same probability. Almost every property of one holds either with probability near zero or near one, with the change happening over a narrow range of that probability.
• Random walk 13 essays — A path built by taking each step in a direction chosen at random, independently of the ones before. Its position after n steps has variance exactly n, which is why space scales as the square root of time in the limit.
• Randomness 5 essays — The property of a sequence that no shorter description of it exists, or that no efficient procedure predicts it — two definitions that do not coincide. What a generator provides is neither; it is a short description arranged so that finding it is hard or unnecessary.
• Rank 6 essays — The number of independent directions a linear map's output can reach, which is the dimension of its image. It is the dimension of the image, and it plus the nullity is the dimension of the space the map started from.
• Rate 1 essay
• Rate function 2 essays — The exponent in a large-deviation estimate: the number for which an unlikely event's chance falls like e to the minus n times it. It is zero at the typical value and positive elsewhere, and its smallest value over a set is that set's own rate.
• Rational approximation 4 essays — A fraction standing in for a number that is not one, and the question of how much accuracy a given denominator buys. How well a number can be approximated is measured against the denominator, and the golden ratio is the worst case.
• Rational number 1 essay
• Rational points 1 essay
• Rational root theorem 5 essays — The rule that a rational root of a whole-number polynomial has a numerator dividing the constant term and a denominator dividing the leading one. It reduces the search for rational roots to a finite list, and its failure to produce one is how irrationality is often established.
• Real numbers 2 essays — The whole continuum of magnitudes, filling every gap the fractions leave between them. Their completeness is what every limit argument uses, and it is exactly what the rationals lack.
• Rearrangement 2 essays — Moving the pieces of a shape without changing any of them, so that whatever the pieces measure is unchanged. It is what a dissection proof does, and the whole force of such a proof is that area survives it while shape does not.
• Recurrence 8 essays — The return of a system arbitrarily close to a state it has already been in. For a fair walk on the line it happens with certainty, and in three dimensions it does not, which is a fact about dimension rather than about walks.
• Recurrence relation 3 essays — A rule giving each term of a sequence from the terms before it, with enough starting values to begin. Solving one turns a step-by-step rule into a formula, and the solutions of a linear one are powers of the roots of its characteristic equation.
• Recursion 14 essays — A definition that refers to itself on smaller inputs, with a base case to stop it. It is what makes a short definition describe an unbounded object, and the base case is what stops the description from being empty.
• Reduction 2 essays — A procedure turning any solution of one problem into a solution of another, so that the second is at least as hard as the first. It is how hardness is transferred, and every claim that a construction is secure is a reduction to something believed hard.
• Redundancy 1 essay
• Reed solomon 2 essays — A code whose messages are the coefficients of a polynomial and whose words are its values at fixed points. Any k of the values recover the message, so it meets the Singleton bound exactly and loses nothing to erasures.
• Reflection 8 essays — A rigid motion of the plane that flips it about a line, leaving that line fixed and swapping the two sides. It preserves distances and tangency and reverses orientation, which is why reflecting a graph in the diagonal gives the inverse function.
• Reflection principle 3 essays — The correspondence folding a path about the first moment it touches a level, which turns a question about a path's history into one about its endpoint. It counts paths that touch a barrier by counting all paths from a mirrored start, and it degrades as soon as there are two barriers.
• Reflexive 1 essay
• Refutation 2 essays — A derivation ending in a contradiction, showing that the assumptions it started from cannot all hold at once. It is a certificate of impossibility, checkable line by line without repeating the search that produced it.
• Region count 2 essays — How many pieces a drawing cuts its surface into, counted including the unbounded one. It enters Euler's relation as the face count, which is why the unbounded region has to be included.
• Regular language 1 essay
• Regular polygon 6 essays — A closed figure whose sides are all the same length and whose angles are all the same size. Which ones are constructible is decided by the Fermat primes, which is Gauss's theorem and the reason a seventeen-sided one can be drawn.
• Reidemeister moves 3 essays — The three local changes to a knot diagram that generate every deformation of the knot itself. Any two diagrams of the same knot are joined by a sequence of them, which is what makes checking an invariant a finite task.
• Relation 2 essays — An equation a presentation imposes on words in its generators, saying that some product is the identity. Adding one is what distinguishes a quotient from a free object, and in topology it is what gluing a disc along a loop does to a fundamental group.
• Relative consistency 1 essay
• Relative entropy 1 essay
• Relaxation 2 essays — A weaker problem obtained by dropping a constraint, whose answer bounds the original's. When its corners happen to satisfy the dropped constraint the two problems coincide, and when they do not the difference is a measurable gap.
• Remainder 5 essays — What is left of one number once as many whole copies of another as will fit have been taken away. It is what the Euclidean algorithm iterates on, and it is the whole content of arithmetic on a dial.
• Renormalisation 1 essay
• Residual 2 essays — What a fit fails to account for - the difference between the data and the values the model produces. Under least squares it is perpendicular to everything the model could have used, so a visible pattern in it is evidence about a missing column rather than about the measurements.
• Residue class 1 essay
• Resolution 1 essay
• Resultant 1 essay
• Retraction 1 essay
• Return map 1 essay
• Reuleaux triangle 4 essays — The constant-width shape bounded by three circular arcs, each centred at the opposite corner. It is the constant-width shape of least area, and it rolls under a plank as smoothly as a circle while having no centre to turn about.
• Reversibility 2 essays — The property of a random process that as much probability flows from one state to another as flows back. It is a condition on each pair of states separately, and it is sufficient for a given distribution to be the one the process settles into.
• Riemann sphere 2 essays — The complex numbers with a single point at infinity adjoined, which stereographic projection turns into an ordinary sphere. On it a rational function is a map with a degree and no exceptions, and division by zero becomes an ordinary value.
• Riemann sum 3 essays — An approximation to an area built from rectangles, and the thing an integral is the limit of. Its limit as the rectangles narrow is the integral, and whether that limit exists is what integrability means.
• Right angle 2 essays — A quarter turn, the angle between two perpendicular lines, and the case in which two squares add to the third. It is where the law of cosines loses its extra term, and where two squares add to a third rather than falling short or overshooting.
• Right triangle 3 essays — A triangle with one angle of ninety degrees. Its three sides satisfy the Pythagorean relation, and the whole-numbered instances of that relation are the Pythagorean triples, of which there are infinitely many.
• Rigid motion 2 essays — A transformation of the plane or space preserving every distance: a translation, a rotation, a reflection, or a composition of those. Which of them a construction is allowed decides what it can reach, and forbidding rotation gives dissection a second invariant beside area.
• Rigidity 1 essay
• Root 1 essay
• Root system 1 essay
• Root-finding 2 essays — The computation of where a function is zero, as opposed to the argument that a zero exists. The methods are iterations, and the fast ones are contractions near the root whose behaviour elsewhere can be arbitrarily wild.
• Roots 3 essays — The values at which a polynomial takes the value zero. Their number is bounded by the degree, and over the complex numbers there are exactly that many when multiplicity is counted, which is the fundamental theorem of algebra.
• Roots of unity 4 essays — The complex numbers whose nth power is one, sitting at the corners of a regular polygon on the unit circle. They form a cyclic group under multiplication, they add to zero, and their orthogonality is what makes discrete Fourier analysis work.
• Rotation 5 essays — A motion of the plane or of space that fixes a point or a line and preserves every distance and orientation. Composing two gives another, so the rotations leaving an object where it was form a group, whose size measures how symmetric the object is.
• Rotation number 1 essay
• Rounding 5 essays — Replacing a quantity by a nearby whole number or simpler value, and taking on whatever that difference costs. The error it introduces is bounded by half a unit and accumulates, which is what makes a long computation's error analysis necessary.
• Rounding error 1 essay
• Rule 110 1 essay
• Rule 90 1 essay
• Russell paradox 1 essay

• Saddle point 1 essay
• Sample space 4 essays — The collection of every outcome a random process could produce, taken as the ground the probabilities sit on. Fixing it is the first step in any probability question, and most paradoxes in the subject come from two people using different ones.
• Sampling 7 essays — Drawing a limited number of cases from a large or infinite collection in order to say something about the whole. What makes a sample informative is how it was drawn rather than how large it is, since a systematic omission is not repaired by more of the same.
• Satisfiability 5 essays — The property of a formula for which some assignment of values makes it true. Deciding it for a formula in many variables is the model hard search problem, since the assignments to try double with each variable.
• Scaling 14 essays — Enlarging or shrinking everything by one factor, so that shapes are preserved and sizes are not. Which exponent to scale by is often the whole question: only one power leaves a limit behind, and finding it is most of the work.
• Schlafli symbol 1 essay
• Schur theorem 1 essay
• Secant 1 essay
• Second derivative 1 essay
• Second moment 1 essay
• Second-order logic 1 essay
• Self affinity 2 essays — Being built from copies of itself contracted by different factors in different directions. It is the weakening of self-similarity that separates the two definitions of dimension: the pieces are rectangles rather than squares, so a grid of squares can never match their shape at any scale.
• Self-dual function 1 essay
• Self-intersection 1 essay
• Self-reference 4 essays — A statement or object that describes itself, usually by way of a numbering that lets it be named inside its own system. It is what makes a sentence able to talk about its own provability, and it is the engine of the incompleteness and halting arguments alike.
• Self-similarity 19 essays — The property of a shape that contains smaller copies of the whole of itself. It can be exact, as in a construction, or statistical, as in a random walk seen at three magnifications.
• Selfridge conway 1 essay
• Sensitive dependence 8 essays — The property that two starting points however close eventually lead to orbits that are far apart. It makes long-range prediction impossible without making the rule any less determined, which is the distinction chaos rests on.
• Separating hyperplane 1 essay
• Series tail 1 essay
• Set operations 1 essay
• Set theory 1 essay
• Shadow price 1 essay
• Shadowing 2 essays — The property that a computed sequence, each step correct to within a small amount, is the true orbit of some nearby starting point. Where it holds, every statistical claim drawn from a computed chaotic orbit is a claim about a genuine orbit, which is what makes such computations trustworthy.
• Shapley shubik index 1 essay
• Shapley value 5 essays — The rule that gives each player the average of what they add to the group already present, taken over every order in which the players could arrive. Four conditions — efficiency, symmetry, a player who adds nothing getting nothing, and additivity — leave it as the only possibility.
• Shear 5 essays — A map that slides each line parallel to a fixed direction by an amount depending on its distance, leaving area unchanged. It is what Euclid's proof of the Pythagorean theorem uses, since sliding a parallelogram along its base leaves its area alone.
• Shift map 1 essay
• Shift register 1 essay
• Shortest vector 1 essay
• Sierpiński triangle 1 essay
• Sieve 1 essay
• Sieve of eratosthenes 1 essay
• Sign 2 essays — The single bit a permutation carries: whether it is built from an even or an odd number of swaps. It is the only label on permutations that multiplies correctly into a commutative group, and it is what makes a determinant possible.
• Similar triangles 4 essays — Triangles with the same angles, so that one is an enlargement of the other and their sides are in fixed ratio. The fixed ratio of their sides is what makes trigonometry possible, since the ratios depend on the angles and not on the size.
• Similarity 1 essay
• Similarity dimension 1 essay
• Simple game 2 essays — A cooperative game in which every coalition is worth either one or nothing, so the structure is entirely a matter of which coalitions win. A weighted vote is one, and a member's power in it is the fraction of arrival orders in which they are the one who carries a coalition over the quota.
• Simple group 2 essays — A group with no way of being broken into a smaller group and a quotient, other than trivially. The smallest non-abelian one is the rotation group of the icosahedron, and its indivisibility is why the general fifth-degree equation has no formula in radicals.
• Simple harmonic motion 1 essay
• Simplex 3 essays — The set of lists of non-negative numbers adding to a fixed total, which for three numbers is a triangle. Distributions and divisions both live in one, so a claim about every distribution becomes a claim about a region of it.
• Simply connected 1 essay
• Sinc 1 essay
• Sine 2 essays — The vertical coordinate of a point travelling round the unit circle, as a function of the angle turned through. It is the derivative of nothing simpler than cosine, and it is what a circle looks like from the side as it turns.
• Singleton bound 1 essay
• Singular matrix 3 essays — A matrix that collapses space onto something smaller, so that it cannot be undone and its determinant is zero. It has a non-trivial kernel, so the equation it defines either has no solution or a whole family of them.
• Singular value 1 essay
• Singular value decomposition 1 essay
• Singularity 2 essays — A point where a function fails to be analytic - a pole, a branch point, or something worse. Its importance is that it is never local news: the distance from an expansion point to the nearest singularity is exactly the radius on which that expansion converges, however far away and however invisible it is.
• Slope field 1 essay
• Smallest prime factor 1 essay
• Solid of revolution 1 essay
• Solvability 1 essay
• Solvable group 1 essay
• Sorting 1 essay
• Soundness 5 essays — The property of a proof system that everything derivable in it is true. It is what makes a derivation evidence at all, and it is usually the easy half to establish, since it needs only that each rule preserves truth.
• Space average 1 essay
• Space-filling curve 1 essay
• Spanning surface 1 essay
• Spanning tree 6 essays — A set of a graph's edges that reaches every vertex and closes no loop, using one fewer edge than there are vertices. Every connected graph has one, and counting them is Cayley's formula when the graph is complete.
• Spectral gap 1 essay
• Spectral test 1 essay
• Spectral theorem 1 essay
• Spectrum 4 essays — The list of how much of each frequency a signal holds, which describes it as completely as its shape over time does. Reading it is how a wave is decomposed, and the fact that convolution multiplies spectra is why it settles so many problems.
• Sperner theorem 3 essays — The statement that the largest collection of subsets of a set with no two comparable is a whole layer — all the subsets of one size, the middle one. It is the founding result of extremal set theory, and its proofs generalise far better than the statement does.
• Sphere 5 essays — The set of points at a fixed distance from a centre, in any number of dimensions. Its defining property in topology is that it separates: a sphere in n-dimensional space cuts the complement into exactly two pieces, and that is true in every dimension whether or not the sphere sits tamely.
• Sphere minus a point 1 essay
• Sphere-packing 1 essay
• Sphere-packing bound 2 essays — The limit on how many codewords a code can hold, being the number of words divided by the size of one correction ball. A code meeting it exactly is called perfect, and the Hamming codes are the standard family that does.
• Spherical excess 1 essay
• Spherical geometry 1 essay
• Splitting field 1 essay
• Square numbers 3 essays — The counts that fill a square array — 1, 4, 9, 16 and onward. They are the partial sums of the odd numbers, which is the gnomon picture and the discrete ancestor of the product rule.
• Squaring the circle 1 essay
• Squeeze 2 essays — An argument that traps a quantity strictly between two bounds where nothing of its kind can lie. The classical cases put a number that would have to be whole strictly between nought and one, which is how both the irrationality of e and that of pi are established.
• Stability 6 essays — Whether a small disturbance to a state dies away or grows, decided by the rule's slope there. It is decided by whether the map's slope at the fixed point is under one in size, and it is what separates an attracting point from a repelling one.
• Stable matching 3 essays — A pairing of two sides in which no two people on opposite sides would both rather have each other than what they hold. One always exists and is found by deferred acceptance, and which of several is reached depends on which side proposes.
• Standard deviation 1 essay
• Standard error 1 essay
• Star 1 essay
• Star polygon 1 essay
• State space 3 essays — The set of all configurations a system can be in, with one point for each. Drawing the rule as a motion on it is what turns a question about a sequence into a question about a picture.
• Stationary distribution 5 essays — A distribution over a Markov chain's states that the chain leaves unchanged: as much flows into each state as out. On a finite chain that can reach everywhere it exists, is unique, and is what a single long run's time averages settle on.
• Statistical description 1 essay
• Statistical mechanics 1 essay
• Steiner triple system 1 essay
• Stereographic projection 5 essays — The correspondence between a sphere with one point removed and a plane, made by shining rays from that point. It takes every circle to a circle or a line and preserves every angle exactly, which is why it is the projection navigators and crystallographers use.
• Stern brocot tree 5 essays — The binary tree of fractions built by repeatedly taking the mediant of two neighbours. Every positive rational appears in it exactly once and already in lowest terms, because the construction preserves primitivity rather than restoring it by cancelling.
• Stirling approximation 1 essay
• Stopping time 1 essay
• Straightedge 3 essays — An instrument that draws the line through two given points and nothing else. Its operations are preserved by every projective transformation, which is exactly why it cannot find a midpoint on its own.
• Straightedge and compass 7 essays — The two classical drawing operations — the line through two points and the circle centred at one through another — and nothing else. What they can reach is exactly the numbers built from the four operations and square roots, which is what settles the classical impossibilities.
• Strange attractor 5 essays — A bounded set that nearby trajectories are drawn onto and on which they never settle. It has zero volume because the flow contracts volumes, and a dimension that is not a whole number because it is a sheet times a Cantor set.
• Strategic voting 1 essay
• Strategy 3 essays — A rule telling a player what to do at every position that can arise, rather than a single good move. A winning strategy is one that leads to a win against every opposing play, so exhibiting one settles a game outright.
• Strategy-proofness 2 essays — The property that submitting one's true ranking is never beaten by submitting any other, whatever everybody else does. No reasonable voting rule over three or more candidates has it, which is the Gibbard-Satterthwaite theorem.
• Subadditivity 1 essay
• Subdivision 1 essay
• Subformula property 1 essay
• Subgroup 6 essays — A subset of a group that is a group in its own right under the same operation, closed under combining and under inverses. A group's structure is read off its subgroups, and for a finite group each of their sizes divides its own.
• Subset 1 essay
• Subspace 3 essays — A subset of a vector space that is itself a vector space - closed under addition and under scaling, and so containing the origin. The set of everything a matrix can produce is one, which is why a system with no solution is a question about whether a point lies in a subspace rather than about arithmetic.
• Successor 1 essay
• Sums of two squares 4 essays — The question of which whole numbers are a² + b², settled for the primes by their residue modulo four. The count of representations is a divisor sum, and the whole subject is the arithmetic of the Gaussian integers in disguise.
• Superattracting 1 essay
• Support function 4 essays — For a convex shape, the distance from a chosen origin to the supporting line with a given outward normal. It describes the shape by the lines that touch it rather than by its boundary, and it turns adding shapes into adding functions.
• Supporting line 4 essays — A line touching a curve at a point and lying below it everywhere. A convex function has one at every point, which is what turns a statement about a derivative at one place into a bound holding across the whole domain.
• Supremum 2 essays — The least thing lying above a whole collection, whether or not the collection contains it. A limit ordinal is the supremum of everything below it, and the difference between having a supremum and containing one is what separates a limit from a successor.
• Surface 3 essays — A space that looks like a piece of the plane near every one of its points. The closed ones are classified completely by orientability and a single whole number, which makes them the largest family of spaces anybody can list.
• Swing 1 essay
• Syllogism 1 essay
• Symbolic dynamics 3 essays — The description of an orbit by the sequence of regions it visits, turning a map into a shift on strings of symbols. It converts questions about orbits into questions about words, and for a map that doubles it makes the orbit literally the digits of the starting point.
• Symmetric chain decomposition 1 essay
• Symmetric function 2 essays — A polynomial in several variables that is unchanged when the variables are permuted among themselves. The sum and the product of a polynomial's roots are the basic examples, and every symmetric function of the roots is a polynomial in the coefficients.
• Symmetric matrix 2 essays — A square matrix equal to its own reflection across the leading diagonal. Its eigenvalues are always real and its eigenvectors always perpendicular, which is false of matrices in general and is what makes quadratic forms and covariances tractable.
• Symmetry 12 essays — A transformation that leaves an object looking exactly as it did before. The symmetries of an object form a group, which is what makes symmetry a thing to compute with rather than merely to notice.
• Symmetry group 7 essays — The set of all transformations leaving an object where it was found, taken together with composition. Its size measures how symmetric the object is, and its structure distinguishes objects that a count of symmetries alone cannot tell apart.
• Syndrome 1 essay

• Tableau 4 essays — A proof by decomposition: assume the opposite of what is wanted and take it apart. Every branch either contradicts itself or describes a way for the assumption to hold, so every branch closing is a proof, and a branch staying open hands over a counterexample rather than merely failing.
• Tail bound 3 essays — A statement of how much probability can lie beyond a given distance from the centre of a distribution. Its strength follows from its hypothesis: a variance gives a bound falling like one over the square of the distance, an exponential moment gives one falling exponentially.
• Tangency 8 essays — The meeting of a curve and a line or another curve that touch without crossing at the point of contact. It is preserved by reflection, which is why the slope of an inverse function is the reciprocal of the original's.
• Tangent 1 essay
• Tautology 1 essay
• Taylor series 4 essays — The infinite sum built from a function's derivatives at a single point. Its partial sums are the polynomials matching the function to successively higher order there, so it claims that everything the function does everywhere is encoded in its behaviour at one place - which is often true and sometimes spectacularly false.
• Telescoping 1 essay
• Tent map 2 essays — A map of an interval to itself made of two straight pieces meeting at a peak, both steeper than the diagonal. It is the simplest chaotic map, and the return map of the Lorenz system is close to one.
• Termination 8 essays — The property of a procedure guaranteed to stop, usually because some whole-number quantity strictly decreases at every step. Proving it usually means exhibiting the decreasing quantity, which is the same move as an argument by descent.
• Ternary expansion 1 essay
• Thales theorem 1 essay
• The Euler–Mascheroni constant 2 essays — The constant gap between the harmonic partial sums and the natural logarithm, near enough 0.5772. It is what the naive sieve heuristic for the primes gets wrong by, and whether it is irrational is not known.
• The integral 1 essay
• Three distance theorem 1 essay
• Threshold 6 essays — The value of a parameter at which a property changes from almost never holding to almost always holding. For a monotone property of a random graph one always exists, and locating it is usually a matter of counting what the property requires.
• Threshold rule 4 essays — A stopping rule of the form: pass over everything until some condition is met, then take the first thing that qualifies. The condition may be a position, a value or a relative rank, and which of those it is decides how much the rule can achieve.
• Tiling 7 essays — A covering of a region by pieces meeting edge to edge with no gap and no overlap. Whether a set of pieces can tile the plane is undecidable in general, though any particular attempt either closes up or does not.
• Time average 1 essay
• Topological invariant 11 essays — A quantity left unchanged by bending and stretching, and therefore able to prove that two shapes are not the same shape. It can prove two shapes different and never that they are the same, which is the asymmetry every invariant argument carries.
• Topology of logic 1 essay
• Torus 6 essays — The surface of a doughnut — a sphere with one handle, on which a closed curve need not separate the surface in two. Its characteristic is zero, and a map drawn on it may need seven colours where a map in the plane needs four.
• Total variation 1 essay
• Totient 4 essays — The count of numbers below a given one sharing no factor with it. It counts the invertible elements on a dial of that size, and its product formula over the prime factors is what makes it computable.
• Tournament 1 essay
• Trace 3 essays — The sum of the entries down the leading diagonal of a square matrix. It is unchanged by any change of basis and equals the sum of the eigenvalues, so it is a property of the map rather than of the array that happens to describe it.
• Transcendence 5 essays — The property of a number that no polynomial with whole-number coefficients has it as a root. Establishing it for a particular number is hard, and it is what puts a length beyond the reach of straightedge and compasses.
• Transcendental number 1 essay
• Transfer operator 1 essay
• Transfinite induction 1 essay
• Transfinite recursion 1 essay
• Transience 1 essay
• Transient 2 essays — The early part of an orbit, before it has settled onto whatever it settles onto. Discarding it is what makes a bifurcation diagram legible, and how long it lasts is a separate question from where it ends up.
• Transition map 1 essay
• Transition matrix 1 essay
• Transitive 1 essay
• Transitivity 1 essay
• Translation 1 essay
• Translation surface 1 essay
• Transport 1 essay
• Transposition 1 essay
• Transversal 3 essays — A choice of one member from each of several sets, with all the choices distinct. Whether one exists is decided by comparing the size of every subfamily with the size of the union of its sets.
• Tree 1 essay
• Triangle 1 essay
• Triangle centres 1 essay
• Triangle inequality 1 essay
• Triangle-free 1 essay
• Triangular numbers 2 essays — The counts of dots in a triangular arrangement - 1, 3, 6, 10 and onward - each the running total of the whole numbers up to its own index. They are the third diagonal of Pascal's triangle, because a diagonal there is the running total of the one before it, and twice one of them is a rectangle.
• Triangulation 8 essays — A division of a shape into triangles meeting edge to edge, with no gap and no overlap. Refining one is the standard way to turn a continuous question into a finite one, which is how Sperner's lemma reaches Brouwer's theorem.
• Tricolourability 2 essays — The property of a knot diagram that its arcs can be given three colours with the three at every crossing all alike or all different. It is a knot invariant because the three Reidemeister moves preserve it, which is what makes it able to tell the trefoil from the unknot.
• Trisection 3 essays — The division of an angle into three equal parts, which straightedge and compass cannot perform in general. Its impossibility follows from the cube roots involved, and it is one of three classical constructions ruled out by the same argument.
• Truncation 1 essay
• Truth function 3 essays — A rule computing the truth value of a compound statement from the truth values of its parts and nothing else. There are sixteen of them on two inputs, and a single one can generate all the rest.
• Truth table 1 essay
• Turan graph 1 essay
• Twin primes 2 essays — Pairs of primes differing by two. Nobody knows whether there are infinitely many, and the reciprocals of the ones there are add to a finite number — which rules out the argument that settles the primes themselves.
• Twist map 1 essay
• Type theory 1 essay

• Ulam spiral 1 essay
• Unbiased estimator 1 essay
• Uncertainty principle 1 essay
• Uncountability 1 essay
• Undecidability 3 essays — The property of a question for which no algorithm gives the right answer on every input. It is a statement about every possible algorithm, and it is established by self-reference rather than by exhausting the possibilities.
• Undecidable sentence 3 essays — A statement that a given list of axioms neither proves nor refutes. Its existence is a theorem about the axioms rather than a report of unfinished work, and it is established by exhibiting two structures obeying the axioms that disagree about the statement.
• Unfolding 3 essays — Reflecting the table instead of the ball, so that a bouncing path becomes one straight line through a tiling of reflected copies. It removes the corners from a trajectory without changing it, and turns a question about a billiard into a question about a surface.
• Uniform acceleration 1 essay
• Uniform convergence 2 essays — Convergence of a sequence of functions in which the largest gap to the limit, taken over the whole domain at once, goes to zero. It is strictly stronger than every point settling separately, and it is what a limit needs in order to inherit continuity from its members.
• Uniform distribution 1 essay
• Uniformity 2 essays — Convergence at a rate that works everywhere at once, rather than separately at each point. It is the difference a quantifier order makes, and it is what allows a limit to be exchanged with an integral or a sum.
• Unimodular 2 essays — Having determinant one, for a matrix of whole numbers. Such a matrix has a whole-number inverse and takes the integer lattice exactly onto itself, and the condition is what keeps a mediant in lowest terms and what makes two Ford circles touch.
• Union bound 1 essay
• Unique factorisation 10 essays — The fact that every whole number above one is a product of primes in exactly one way, order aside. Written as an identity between a sum and a product it becomes Euler's product, which is where the analytic study of the primes begins.
• Uniqueness 5 essays — The property of a specification that exactly one object satisfies it. A characterisation needs two halves — that the conditions leave only one object, and that each condition is needed, which is shown by exhibiting something satisfying all the others and failing that one.
• Unit 1 essay
• Unit circle 4 essays — The circle of radius one centred at the origin, on which the trigonometric functions are read off directly. Every point on it satisfies the Pythagorean relation, and its rational points are exactly the Pythagorean triples in disguise.
• Unit group 1 essay
• Universal cycle 1 essay
• Universality 2 essays — The property of a system able to simulate any computation whatever, and therefore as powerful as any computer. It arrives at astonishingly small rule sets, and the price of it is that nothing general can be decided about what such a system will do.
• Upper sum 1 essay

• Validity 1 essay
• Valuation 1 essay
• Valuation measure 3 essays — One person's stated worth of every part of a thing being divided, adding across parts and totalling the whole. The procedures assume only that it adds over pieces and totals the whole, which is what makes them work without any comparison between people.
• Van der waerden 1 essay
• Variance 10 essays — The average of the squared distances of a quantity's values from its mean, whose square root is the standard deviation. It adds over independent quantities, which is the single fact behind the square root in every diffusion and every limit theorem.
• Vector bundle 1 essay
• Vector field 1 essay
• Venn diagram 2 essays — A family of overlapping closed curves arranged so that every pattern of membership occupies exactly one region. It exists for any number of sets, though past three the curves cannot all be circles.
• Verification 1 essay
• Vertex configuration 2 essays — The list of face sizes met in order when walking round a single corner of a polyhedron. It is what a solid with every corner alike is classified by, and the enumeration of which such lists can close up is how the Archimedean solids are counted.
• Vertex enumeration 2 essays — Listing the corners of a region carved out by linear constraints, by solving the systems of equations that hold with equality there. It is how a linear objective is maximised without calculus, since the best value is always taken at a corner.
• Vietas formulas 1 essay
• Volume 5 essays — The amount of space a solid occupies, measured against a chosen unit cube. It is additive over pieces that do not overlap, and the factor by which a linear map multiplies it is that map's determinant.
• Volume form 1 essay
• Voronoi diagram 5 essays — The division of a space into one region per site, each holding the points closer to that site than to any other. Every boundary is a bisector, so the regions are convex polygons, and the diagram answers which source got here first.
• Voting power 1 essay
• Voting rule 7 essays — Any recipe turning a collection of submitted rankings into a verdict — a winner, or an ordering of the candidates. Every one of them fails at least one condition that looks indispensable, which is what the impossibility theorems establish.

• Weierstrass function 1 essay
• Weighted average 1 essay
• Weighted voting 1 essay
• Well defined 1 essay
• Well-ordering 5 essays — An order on a set in which every non-empty subset has a least element. The whole numbers carry one and the real numbers carry none that anybody has described, and the assertion that every set has one is equivalent to the axiom of choice.
• Winding number 14 essays — How many times a closed curve goes round a chosen point, counted with a sign for direction. It cannot change under continuous deformation, which is what turns it into a proof that a polynomial has a root inside a circle.
• Witness 1 essay
• Word metric 1 essay
• Work 1 essay

• Zero divisor 3 essays — A non-zero element that multiplies with another non-zero element to give zero, which no field can contain. Their absence is what makes cancellation legal, and a dial has none exactly when its size is prime.
• Zero-sum game 2 essays — A game in which one party's gain is exactly the other's loss, so the whole situation is described by a single number per cell. Mixing forces the two cautious valuations to coincide, and that common value is what each side can guarantee whatever the other does.
• Zorns lemma 1 essay

All essays · All ladders