Matpic
mathematics, in pictures
Concept

Axiom — where it appears

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.

Named by 4 essays across 2 fields — each of them below, with the objects they name alongside it.

A line, a point, and many parallels. A disc whose lines are arcs meeting the boundary at right angles, showing several lines through one point that never meet a given line.

Two worlds that both obey the rules

A statement is independent of a list of axioms when there is a structure satisfying the axioms where it holds and another where it fails. That is not a claim about what nobody has managed to prove — it is a proof that nobody can.

logic · models Every order of arrival for three partners, and what each player adds. A table with one row per order in which the players could arrive, giving what each adds to the group already present, and the average of each column as that player's share.

The order everybody arrives in

Three people jointly earn nine, and the question is what each is owed. Ask instead what each adds on walking into a room the others are already in, average that over every order they could have arrived in, and four modest conditions leave no other answer.

applied · shapley value 3 consistent judges, and a majority that is not. A table of judges against three questions, every judge's row internally consistent, with the majority answer to each question underneath forming a combination no judge holds.

The court that contradicts itself

Three judges each answer three questions, and each answers them consistently. Take the majority on each question separately and the answers no longer hang together — the body as a whole asserts a combination no member of it holds, and no rearrangement of the procedure removes the problem.

applied · judgement aggregation Which axioms hold on which frames. A table of frames against modal axioms, each cell decided by checking the axiom under every valuation.

The axiom is the shape of the graph

Add one operator meaning necessarily and the choice of which axioms to accept stops being a matter of taste. Each candidate axiom is true of exactly those worlds-and-arrows diagrams whose arrows have a stated property, and a logic is a class of graphs.

logic · modal logic

Named alongside it

The objects these essays reach for when they reach for this one.

Exhaustive searchConsistencyAccessibilityAggregationAllocationCoalitionCooperative gameFairnessFrameGeodesicImpossibilityIndependence

All concepts