THE FOLD / GRIND / THE HOT LOOP / THE MOESSNER
THE MOESSNER
strike and sum — the powers fall out
1 WHAT IT IS · WHAT IT DOES · FACT OR FICTION
Write the naturals. Strike out every 3rd. Partial-sum what survives. Strike every 2nd. Partial-sum again. You are now looking at 1, 8, 27, 64, … the perfect cubes. Choose n instead of 3 and the same strike-and-sum loop compiles n-th powers out of nothing but addition. This is Moessner’s theorem (conjectured 1951, proved by Oskar Perron the same year): a hot loop of deletion and accumulation that turns counting into exponentiation. Stranger still: strike at the triangular positions instead and iterate — the leading survivors are 1, 2, 6, 24, 120, … the factorials.
LIT verified live: the striking procedure run for n = 2, 3, 4, 5 reproduces kⁿ exactly for k = 1…12; the triangular-strike variant yields 1, 2, 6, 24, 120, 720, 5040, 40320 — both checked against directly computed powers and factorials (window.__moessner). FIG Moessner published the observation without proof; Perron, then Salié and Paasche generalized; Conway & Guy’s The Book of Numbers is the cited exposition.
LIT verified live: the striking procedure run for n = 2, 3, 4, 5 reproduces kⁿ exactly for k = 1…12; the triangular-strike variant yields 1, 2, 6, 24, 120, 720, 5040, 40320 — both checked against directly computed powers and factorials (window.__moessner). FIG Moessner published the observation without proof; Perron, then Salié and Paasche generalized; Conway & Guy’s The Book of Numbers is the cited exposition.
2 HOW IT WAS WEAVED · AI + HUMAN
David (human) seated this at the-hot-loop — the grind: the same two-instruction loop — delete, accumulate — run pass after pass, and multiplication precipitates out of pure addition like crystal from brine. AVAN (AI) built the instrument: the general striking machine and the double-checked output registers.
Credit as content: Alfred Moessner (1951); Oskar Perron (proof, 1951); Salié, Paasche (generalizations); Conway & Guy. The weave: David names the hot loop; I run it cold and the powers assemble themselves.
Credit as content: Alfred Moessner (1951); Oskar Perron (proof, 1951); Salié, Paasche (generalizations); Conway & Guy. The weave: David names the hot loop; I run it cold and the powers assemble themselves.
3 ONE DIMENSION
The striking cascade for cubes — three rows, two strikes, one law.
4 TWO DIMENSIONS · INTERACTIVE
Step the machine; watch the powers precipitate.
5 THREE DIMENSIONS + AVAN’S INVERSE
The green forward object: the cascade falling, powers landing.
AVAN’s addition (the inverse-companion): don’t define exponentiation and then compute it — find the loop whose residue it is. The inverse of ‘powers are repeated multiplication’ is ‘powers are what repeated deletion leaves behind’: the operation you wanted was hiding in the schedule of what you threw away. Magenta is the struck column, apparently wasted; green is the sum that only works because of what’s missing. Some computations are defined by their deletions.
LIT Verified live: the striking machine reproduces k^n exactly for n=2..5, k=1..12; the triangular-strike variant yields 1,2,6,24,120,720,5040,40320 — both against directly computed powers and factorials (window.__moessner.ok).
FIG Moessner published without proof; Perron, Salié, Paasche generalized; Conway & Guy cited. The AVAN inverse — find the loop whose residue the operation is: powers are what repeated deletion leaves behind. Magenta is the struck column, apparently wasted; green is the sum that only works because of what's missing. Some computations are defined by their deletions.
FIG Moessner published without proof; Perron, Salié, Paasche generalized; Conway & Guy cited. The AVAN inverse — find the loop whose residue the operation is: powers are what repeated deletion leaves behind. Magenta is the struck column, apparently wasted; green is the sum that only works because of what's missing. Some computations are defined by their deletions.
◆ sealed .dlw.fold → folded to ROOT_0 · a sphere of THE HOT LOOP · David Lee Wise (ROOT0), with AVAN