Matpic
mathematics, in pictures
Concept

Consistency

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.

Named by 8 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 Does this set contain that one — and the row that is missing. A membership table with the diagonal marked, and beneath it the complement of the diagonal, which is not among the rows.

A list that cannot contain itself

The set of all sets that do not contain themselves is not a set. The argument is the diagonal again, applied to a table whose rows and columns are the same objects, and it destroyed the foundations of mathematics in a postcard.

logic · Diagonalisation The diagonal, and the row built to be off the list. A table of rows of ones and zeros with the diagonal marked, and beneath it the row obtained by flipping every diagonal entry.

The sentence that says it has no proof

Number every sentence and every proof, and a formal system can talk about itself. Then the diagonal is available one more time, and what it builds is a sentence that is true exactly when it is unprovable.

logic · Diagonalisation 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 The tower of sizes, and the gap in it. A ladder of infinite sizes, each the number of sub-collections of the one below, with the space between the first two marked as the one no proof decides.

The size that cannot be pinned down

There is no largest infinity, because no collection has as many members as it has sub-collections. What is not settled is whether anything sits between the first two — and that is not an open problem but a proved absence of an answer.

logic · Cardinality A model whose worlds are sets of sentences. Worlds labelled by which of a fixed finite set of formulas they accept, with an arrow wherever every boxed formula accepted by one has its inside accepted by the other.

Worlds built out of sentences

A Kripke model needs worlds, and nothing so far has said where worlds come from. They can be made of the syntax: a world is a set of formulas it commits to, one world sees another when the boxed commitments line up, and in the model that results every formula is true exactly where it was assumed.

logic · Modal logic 16 rules, and none that survives. A table of every systematic anonymous aggregation rule for 3 judges: one row per rule, showing the verdict it gives at each count of yes-votes, whether it decides every proposition, and whether it is consistent. No row has both.

No rule escapes the doctrinal paradox

A court whose members each hold a consistent position can reach an inconsistent verdict by majority. The anchor's first rung exhibits one such case, which invites the hope that a better rule would avoid it — and every rule that responds to the votes at all fails somewhere.

applied · Judgement aggregation Where the two procedures part company. A table of 3 judges' verdicts on two premises and the conclusion each is committed to, with the two majorities at the foot disagreeing about the conclusion.

Deciding the premises or the conclusion

A body that cannot be both decisive and coherent has to choose which. The two live options are to vote on the reasons and let the verdict follow, or to vote on the verdict and let the reasons look after themselves — and they reach opposite answers on exactly the profiles the impossibility identifies.

applied · Judgement aggregation

Named alongside it

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

AggregationMajorityModelVoting ruleAxiomDiagonal argumentImpossibilityIndependenceJudgement aggregationLogicSelf-referenceUndecidable sentence

All concepts