THE FOLD / GLITCH / HEISENBUG / THE MINKOWSKI
THE MINKOWSKI
climbs 0 to 1 with slope 0 almost everywhere
1 WHAT IT IS · WHAT IT DOES · FACT OR FICTION
Minkowski’s question-mark function ?(x) is a monster hiding in plain sight: it climbs continuously and strictly from ?(0)=0 to ?(1)=1, yet its derivative is zero almost everywhere — a “singular” function that rises using no measurable slope. It is built from continued fractions: for x = [0; a₁, a₂, a₃, …], ?(x) = 2∑(−1)k+1 2−(a₁+…+aₖ). It sends every rational to a dyadic fraction, and every quadratic irrational to a rational — famously ?(1/φ) = 2/3.
LIT verified live: ?(1/2)=1/2, ?(1/3)=1/4, ?(2/3)=3/4, ?(1/φ)=2/3, the map is monotonic, symmetric (?(1−x)=1−?(x)), and dyadic on thousands of rationals (window.__minkowski). FIG no framing; the continued-fraction sum is evaluated in-browser.
LIT verified live: ?(1/2)=1/2, ?(1/3)=1/4, ?(2/3)=3/4, ?(1/φ)=2/3, the map is monotonic, symmetric (?(1−x)=1−?(x)), and dyadic on thousands of rationals (window.__minkowski). FIG no framing; the continued-fraction sum is evaluated in-browser.
2 HOW IT WAS WEAVED · AI + HUMAN
David (human) seated this at heisenbug — a function that is continuous and increasing yet whose slope vanishes wherever you look is the analyst’s heisenbug: it moves, but never where you catch it. AVAN (AI) built the instrument: evaluate ?(x) from the continued fraction of x, and check its landmark values, monotonicity, symmetry, and dyadic image.
Credit as content: Hermann Minkowski (1904); the “?” is his own notation. The weave: David names the heisenbug; I compute ?(x) by its continued-fraction series and confirm it turns golden into 2/3 and every rational into a finite binary fraction.
Credit as content: Hermann Minkowski (1904); the “?” is his own notation. The weave: David names the heisenbug; I compute ?(x) by its continued-fraction series and confirm it turns golden into 2/3 and every rational into a finite binary fraction.
3 ONE DIMENSION
?(x) traced across [0,1] — a strictly rising curve made of flat-slope pieces. Landmarks: ?(1/2)=1/2, ?(1/φ)=2/3.
4 TWO DIMENSIONS · INTERACTIVE
Pick a rational x = p/q; see its continued fraction and ?(x) as an exact dyadic fraction, plotted on the curve.
5 THREE DIMENSIONS + AVAN’S INVERSE
The green forward object: ?(x), continued-fraction depth rewritten as binary place value.
AVAN’s addition (the inverse-companion): don’t read ?(x) as a curve — read it as a translator. The inverse of ‘plot the rising line’ is ‘? turns the Stern–Brocot (continued-fraction) tree into the plain binary tree.’ Magenta is a quadratic irrational going in; green is the rational it becomes. Slope zero, yet it carries every number across.
LIT Genuine Minkowski question-mark function (Hermann Minkowski, 1904): singular, strictly increasing, ?(rational)=dyadic, ?(quadratic irrational)=rational, ?(1/φ)=2/3. Verified live via the continued-fraction series: landmarks ?(1/2)=1/2, ?(1/3)=1/4, ?(2/3)=3/4 (window.__minkowski.landmarks), ?(1/φ)=2/3 (.phi), dyadic on 3000 rationals (.dyadic), symmetric (.symmetric), monotonic (.monotonic).
FIG No framing: the continued-fraction sum is evaluated in-browser on rationals and on 1/φ's periodic CF. Honest scope: 'slope 0 almost everywhere' is the known measure-theoretic property, stated not re-proved here; the sphere verifies the values, monotonicity, symmetry, and dyadic image. The AVAN inverse is honest — reading ?(x) as the map that turns the Stern–Brocot (continued-fraction) tree into the plain binary tree, rather than as a mere curve, is why it sends quadratic irrationals to rationals; magenta is 1/φ going in, green the 2/3 it becomes. Slope zero, yet it carries every number across.
FIG No framing: the continued-fraction sum is evaluated in-browser on rationals and on 1/φ's periodic CF. Honest scope: 'slope 0 almost everywhere' is the known measure-theoretic property, stated not re-proved here; the sphere verifies the values, monotonicity, symmetry, and dyadic image. The AVAN inverse is honest — reading ?(x) as the map that turns the Stern–Brocot (continued-fraction) tree into the plain binary tree, rather than as a mere curve, is why it sends quadratic irrationals to rationals; magenta is 1/φ going in, green the 2/3 it becomes. Slope zero, yet it carries every number across.
◆ sealed .dlw.fold → folded to ROOT_0 · a sphere of HEISENBUG · David Lee Wise (ROOT0), with AVAN