Concept

Independence — where it appears

Whether two pieces of evidence, or two conditions, carry information that does not derive from a shared source. Counting sources as independent when they are not overstates what a record establishes, and treating alignments as independent is what lets their degrees be multiplied.

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

distinct fold lines this axiom specifies and no other doesaxiomafter 4 pointsafter 9 pointsafter 565 pointsA1 — through two points08121054A2 — one point onto another08142649A3 — one line onto another4564994A4 — perpendicular through a point001661distinct lines in all1292274300the four operations name 38 folds at the first round and draw 12 lines with them

What each axiom is worth

The list of seven folds is complete, and the proof of that says nothing at all about whether its members are independent or equal. Measured on a bare square, one of the four elementary axioms supplies every fold the others cannot and the other three supply nothing. Two rounds later the ranking has inverted, and the one that carried the first round is the least productive of the four.

construction · The axioms
how many independent sources survive for each claimthe record states this per entry and nothing has ever read the column as a distribution1 source5paper-japan, recreational-folding, senbazuru, beloch, one-cut-star2 sources5paper-china, pajarita, yoshimura, yoshizawa-notation, fold-and-cut3 sources3paper-europe, vertex-conditions, miura-ori4 sources2ceremonial-wrapping, froebela claim resting on one source is one document away from disappearing; five of the fifteen are in that position

A question the record is too small to answer

Five of the fifteen claims rest on one surviving source and five on two, and those two counts are exactly what an estimate of the claims that left no source at all is made of. Applied, it says two and a half are missing. Its ninety-five per cent interval runs from fifteen to thirty-one, re-reading a single entry's source count moves it by a fifth, and its independence assumption is false in the one way documents actually fail — which is what makes computing it worth more than declining to.

history · Two traditions

Named alongside it

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

AttestationAxiomCompletenessDocumentary recordEnumerationExpected-valueThe Huzita–Hatori axiomsIdentifiabilityPrimary sourceReachable setReference pointThe axioms

All concepts