G7 · Omega Point · The Scientist Gallery

G7 is the seventh application of the operator G to itself — the volume where the mathematics meets the mathematicians. Each chapter reads one scientist's life and work through the dm³ lens: which operator were they? Where did the chain close for them? What sorry did they live with, and did they name it?

A commissioning list, with its gaps marked

The Mathematicians History Overlooked — nineteen cards from Hypatia to the present, reproduced as supplied and then audited. Five already have a chapter in this corpus and fourteen have none; two subject tags do not match the contribution, two formula slots carry someone else’s work, and two cards — Grothendieck and Mochizuki — are marked status: the person and the standing of the work moved together, which is the argument rather than an exception to it. The fourteen are the useful output: names with no chapter, in a volume whose rule is that a chapter exists when there is a person whose encounter with an object is the point.

Chapters · Published

live

The Salesman Is Not Stuck

Chapter TS · NP-hard, measured

A five-city Brazilian sales tour solved to proven optimality in 0.04 ms, and a twelve-city one in 19 ms. The exact wall is real and sits near n = 25; heuristics land within 0.04% of proven optima and the 1-tree bound certifies at 99%+ without solving anything. Then the part that costs money: covering a country is p-median, not TSP, and São Paulo + Rio + Campinas is 54% of weighted demand.

NP-hard → three qualifiers → all dropped → 0.04 ms

live

Subrahmanyan Chandrasekhar

1910–1995 · Lahore · Madras · Cambridge · Chicago

Seven fields, seven monographs, each abandoned on completion — and one question under all of them: when does a balance stop being the only one available, and along which branch does it leave? The Maclaurin–Jacobi bifurcation computed here to seven places, the two critical points distinguished by what is held fixed, and the same pitchfork found in a tree under its own weight — where, unlike the fluid, the governing criterion is still contested.

one balance → a load parameter → a second solution → the symmetry goes

live

Alain Connes

1947– · Noncommutative geometry

Reformulated geometry through operator algebras. The chapter reads dm³'s operator ordering through that lens.

operator algebra → noncommutativity → contact

live

André Weil

1906–1998 · Rouen · São Paulo · Chicago · Princeton

Proved the Riemann hypothesis for curves over finite fields (1940), then wrote the specification for a cohomology nobody had built. Grothendieck built it; Deligne closed it in 1974 by a route Grothendieck did not intend, and the intended one is still open. The chapter is here for where the analogy stops.

count points → rationality → functional equation → |α| = √q

live

Alexander Grothendieck

1928–2014 · IHÉS · Montpellier · the Pyrenees

Needed classes of sheaves to subtract and they would only add, so in 1957 he built the group that lets them — K, for Klasse. The chapter is the floor under this corpus's own use of Connes, and it measures the series' one candidate for an analytic index, which moves.

monoid → formal differences → K₀ → an integer that does not move

live

Terence Tao

1975– · Adelaide · Princeton · UCLA

Did not prove Collatz — changed the density the statement was measured in, and an arbitrarily slow bound became provable where a power of N had been the limit. The corpus's own claim that its gap is "in formal language, not in underlying truth" gets its test case here, and its warning.

natural density → logarithmic density → the statement becomes sayable

live

André Nachbin

IMPA, Rio 1994–2023 · Courant PhD 1989 · WPI 2023–

Wrote the sentence Volume XIII is the theory of — the applied mathematician as tradutor simultâneo, into matematiquês and back — in the first pages of an IMPA summer course in 1997, then spent thirty years on waves over rough bottoms, time reversal in random media, and walking droplets, showing he meant it technically.

rough bottom → effective medium → the error term written down

live

Leonhard Euler

1707–1783 · Basel, St Petersburg, Berlin · to Goldbach, 14 November 1750

Before 1750 everything known about polyhedra was metric — volume, area, angle. Euler counted instead, and F − E + V = 2 is the first number a solid ever had that survives bending it. This corpus uses that number in 76 chapters. ch-conley filed as a curiosity that all three of its Conley indices have χ = 0; the reason is Euler’s — all three are built from the annulus, and the two that differ do so by an even degree shift, which an alternating sum cannot see. Also: the corpus’s field does not vanish on either invariant circle, has index +1 about the origin at every radius, and its flow is zero-free for the same reason its surface is a cylinder. And Euler never drew the Königsberg graph.

count, don’t measure → χ → the index of a flow

live

Whitehead and Russell

1861–1947 & 1872–1970 · Principia Mathematica 1910–13, 2nd ed. 1925 · Cambridge

470 files here run Lean, whose kernel is a dependent type theory, and “theory of types” reads 0 — along with vicious circle, propositional calculus, Sheffer, axiom of reducibility, definite description and logicism. The stroke realises all 16 binary truth functions by enumeration; Nicod’s single primitive proposition, as printed in the second-edition introduction, is a tautology on all 32 rows; the diagonal set is outside the image of all 65 536 maps from a 4-set to its power set — and the authors print the caveat themselves, that without the Axiom of Reducibility Cantor’s theorem breaks down unless n is finite. Then the rule bites: WP-82’s rung table counts the paper that prints it, 12 of 12 rows in one column and 0 of 12 in the other.

one stroke → one primitive proposition → the range that must not contain you

live

Isaac Newton

1642–1727 · Principia 1687 · the book this series is named after

“Principia” is in 814 files and 712 chapters here; Scholium, Rules of Reasoning, quantity of matter, vis insita, motive quantity and the absolute/accelerative distinction are in none. Every Newton definition names a quantity and fixes its measure, and one force gets three measures, separated on purpose. That is the vocabulary four chapters written this week each needed: under ṙ → k·ṙ, which moves neither Γ nor its type, the multiplier e^(−4πk) runs over fifty orders of magnitude while the Conley index stays (ℤ,ℤ,0) — Definition VII against Definition VI. e^(−4π) is an accelerative measure; an index is an absolute one. The common language, and the terms the corpus will use from here.

quantity → measure → which measure you meant

live

Boris Feigin

1953– · Moscow · with Edward Frenkel, from 1991 · the centre at the critical level

WP-82 corrected Volume XV’s seed from Moonshine — which supplies only the automorphic half, and half a correspondence is not half the distance — to Feigin–Frenkel: the centre of an affine vertex algebra at the critical level is the classical W-algebra of the Langlands dual, duality with no Galois side at all. Virasoro is derived here rather than quoted: H²(Witt) computed to be one-dimensional, and the −m in m³ − m shown to be forced by the Möbius sl₂, not chosen. Dual Coxeter numbers, root counts and dim g for fifteen simple types from Cartan matrices alone. E₈: h∨ = 30, 240 roots, dim 248, self-dual — so the critical level is k = −30 and the centre there is W(e₈). Says plainly that the W-algebra itself is not built and why.

Witt → the one central extension → the level where it breaks

live

Israel Gelfand

1913–2009 · Moscow State · Rutgers · Normierte Ringe 1941 · with Naimark 1943

A hundred files here say “operator algebra”; one names a C*-algebra, none a von Neumann or Banach algebra, and Gelfand–Naimark and Wedderburn read zero. Taken literally the chain is a composition monoid — the corpus’s own page calls F nonlinear, and a nonlinear map is not an element of a vector space. Linearised where the corpus’s commutation argument already lives, there is a genuine C*-algebra and its structure is complete: dim = n·p, (M_p)^(n/p), commutant n/p, with p the period of the gate mask — all 248 masks for n = 3…7, zero violations. Volume I’s Theorem 5.3 becomes the statement p > 1, which is the sentence the step from rung 29 to rung 33 needs.

gate → shift → the period that fixes the algebra

live

Stephen Smale

1930– · Michigan PhD 1957 under Raoul Bott · Rio de Janeiro 1960 · Fields Medal 1966

Twenty-two chapters here compute a return map and none had asked what its itinerary is. The answer is a restriction, and it holds for the whole family at once: for ṙ = f(r) with θ̇ constant, the return map is the time-T map of a scalar autonomous ODE, its derivative is an exponential of an integral and therefore positive, so the map is monotone and the topological entropy is exactly zero — for every f. No horseshoe is available in any closure. Third restriction traced to the same source. Carries the lineage home: the counterexample that made Smale invent the horseshoe came out of a vacuum-tube circuit, through Cartwright and Littlewood, in a letter from Levinson.

return map → lap number → the fold that is not available

live

Charles Conley

1933–1984 · MIT PhD 1962 under Moser · Wisconsin–Madison 1963–1984

Detached the Morse index from gradients: a flow, a compact neighbourhood, and an index that is a homotopy type rather than a number — invariant under deformation, which is exactly what λ_⊥ was found to lack. WP-82 named a Conley invariant as one of three candidates and checked none of them. Checked here: the flow admits no compact isolated invariant set at all, the index that does exist jumps at the fold, and a rescaling that moves the multiplier over sixty orders of magnitude leaves it fixed — so e^−4π cannot be an index of this kind. Candidate three is closed; two remain.

isolating block → exit set → the index that cannot be a multiplier

live

Michael Atiyah

1929–2019 · Oxford, Cambridge, IAS · Fields 1966, Abel 2004

An index pairs a K-theory class with an elliptic operator; its content is that the analytic index equals a topological expression. WP-82's remaining two candidates close together here, and for one reason: M = (ℝ² − {0}) × ℝ retracts to a circle, K̃⁰(S¹) = 0 and K¹(S¹) = ℤ measures winding. The relative pair (M, {z ≤ c}) is homotopy-trivial, so that group is zero; the z → ∞ end is another circle with nothing in even degree. A constant invariant does exist — the winding number, 1 — and it is not e^−4π. All three candidates are now closed, and the larger gap is named: “index theorem” is in five chapters, “Fredholm” in none. No operator has ever been written down.

the space → its one ℤ → the operator that was never named

live

Fritz Noether

1884–1941 · Breslau, Tomsk · died in Soviet custody

He proved the first index theorem in 1921 — for a singular integral operator the index is minus the winding number of its symbol — and operators with a well-defined index are still called Noetherian for it. This corpus said “index theorem” in five chapters and Fredholm in none, so the operator gets written down here. The differential one, d/dθ − a, has index 0 for every a, including every value the WP-82 drift sweeps — and by a theorem, since no elliptic differential operator on a closed odd-dimensional manifold has non-zero index. The escape is to stop using differential operators: the Toeplitz operator on the Hardy space has index −winding, hence −1 on Γ, and it agrees with the K¹ class ch-atiyah computed. Both halves of an index theorem, present together for the first time here.

d/dθ − a → index 0 by theorem → Toeplitz → −1

live

Balthasar van der Pol

1889–1959 · Utrecht · Philips Research, Eindhoven

Strogatz prints Example 7.1.2 one page after 7.1.1. The corpus has the first in 111 files and the second in none — and the difference is that one cycle is a circle and the other is not, which is exactly what the closure conditions require. The family turns out to be circle-preserving, and the uniqueness route built for it does not survive the move; Liénard's theorem, 1928, does. Carries the electronics lineage: radio and vacuum tubes produced this mathematics, and Chua's missing-element argument is WP-82's method at its most successful.

vacuum tube → relaxation oscillation → the edge of the closure family

live

Steven Strogatz

1959– · Princeton · Cambridge · MIT · Cornell

Wrote the textbook whose Example 7.1.1 — Ṛ = r(1 − r²), θ̇ = 1 — is the helix this corpus is built on, with a third coordinate added. The chapter is the ledger: four of the numbers the series quotes for Γ came with the example, five of its results are the contact structure's own, and one word means two different things across the two books in WP-22's bibliography.

limit cycle → normal form → which constant was input

live

The Map on Page Ten

Strogatz, Figure 1.3.1 · printed p. 10 · first edition 1994

The whole subject on one page: two axes, ten cells, sixty-one named systems and a region marked The frontier with the mapmaker’s here be dragons. This corpus had never been placed on it. Placing it found 44 of the 61 entries occupied and 17 at zero — eight of the zeros in the linear half, five of those the first systems in an undergraduate course — and cost one instrument: Plasmas returns 93 on plasma cells and blood plasma, Life returns 151 on the English word, and no property of either count reveals it. Sense collision is the fourth failure mode of this corpus’s counting, and the only one without a symptom.

a figure with visible blanks → 61 counts → the count that was right about the wrong subject

live

Albert Einstein

1879–1955 · A Razão de Troca

Maxwell showed c is the speed of the contact manifold's attractor. Einstein took that seriously.

c as attractor → exchange rate → relativity

live

George Dantzig

1914–2005 · Berkeley · the Pentagon · Stanford

Mistook two open problems for homework and solved both (1939), then invented the simplex method (1947). Linear programming searches a polytope by never entering it: a linear objective has no interior peak, so the optimum is forced onto a vertex. Degeneracy is a fold — injectivity lost, cycling the symptom.

constraints bind → walk the edges → dual certificate

live

M.C. Escher

1898–1972 · The mathematician who used graphite

Drew theorems. Drawing Hands (1948) is the closing image of Book 8, Chapter 13 (Holology).

tessellation → self-reference → Drawing Hands

live

Eugenio Beltrami

1835–1900 · Bologna · Pisa · Rome

Proved in 1868 that non-Euclidean geometry is exactly as consistent as Euclid’s, by reading Lobachevsky’s plane off a surface of constant negative curvature. Four years earlier he had written the operator that carries a wave onto a curved surface.

parallel postulate → pseudosphere → relative consistency → Δ_g

live

Felix Klein

1849–1925 · Erlangen · Göttingen

Cayley fixed a conic and read distance off a cross-ratio; Klein saw that the signature of that one quadratic form picks Euclidean, hyperbolic or elliptic. Then defined geometry as whatever a group leaves alone.

quadratic form → signature → group → geometry

live

Gilbert Strang

1934–2025 · MIT · 18.06

Four subspaces, and a matrix taught by its factorisations: LU, QR, QΛQᵀ, UΣVᵀ, and finally CR. Put the course on OpenCourseWare in 2002 and made the spectral theorem something a first-year student meets with a picture attached.

rank → four subspaces → factorisation → spectrum

live

Michael Faraday

Edição Brasil · Bilíngue PT/EN

Faraday's law as operator K. Field lines as contact manifold. The cage as fixed point.

field lines → K → gaiola de Faraday

live

Richard Feynman

1918–1988 · A Soma Sobre Histórias

The Standard Model path integral read as G = U∘F∘K∘C. Stationary phase is the fold; the Higgs potential is the cusp A₃; dm³'s contact action is zero on exactly one orbit — the attractor.

action → fold → ħ^L−1 → ∫α = 0 on Γ

live

William Rowan Hamilton

1805–1865 · Quaternions

Discovered in 1843 that multiplication need not commute: ij = k but ji = −k.

quaternions → ij ≠ ji → first noncommutativity

live

César Lattes

Curitiba 1924 → Chacaltaya 1947 → CBPF 1949

A 22-year-old Brazilian carried photographic plates to a Bolivian summit and photographed the particle Yukawa had predicted.

plates → 5.200 m → the pion

live

James Clerk Maxwell

1831–1879 · As Quatro Pontes

Four mathematical bridges between Faraday's intuitive geometry and formal algebra.

intuition → four bridges → field equations

live

Élie Metchnikoff

Livro VII · Bilíngue PT/EN

The pH threshold as operator K, metabolic byproducts as the fold F, orthobiosis as an honest sorry.

fermentation → K → orthobiosis [OPEN]

live

Louis Pasteur

Livro VII · Bilíngue PT/EN

The Pasteur effect as a literal — and historically prior — instance of a K threshold.

fermentation → limiar K → pasteurização

live

Geometria Simplética

Weinstein · Hofer

The context contact geometry lives in: a contact manifold is the boundary of a symplectic one.

ω = dα → M = ∂W → Reeb orbit

live

Geometria Tropical

O Semianél Max-Plus

Replace addition with max and multiplication with +. The n-bonacci recurrence tropicalises to τ = 2.

⊕ = max → ⊗ = + → τ = 2

live

Gans & Delmedigo

1541–1613 / 1591–1655 · Prague & Padua

Bridge. David Gans on the bench with Brahe & Kepler; Joseph Delmedigo at Galileo's own telescope. Not a parallel "Jewish science" — the same rooms, the same Copernican argument. Dates source-checked.

observation → the same sky → no readership

live

bar Ḥiyya & Gersonides

c.1070–1136 / 1288–1344 · Barcelona & Provence

Bridge. Algebra's door into Latin Europe (the Liber embadorum, 1145) and the cross-staff Gersonides built to check Ptolemy against the sky. Knowledge that travels; authority you can hand to another.

transmit → test → demonstrate

live

Ada Lovelace

1815–1852 · London · Note G · 1843

The first programmer saw the Analytical Engine as a contact manifold before the vocabulary existed. The loop as limit cycle Γ. Note G as an honest sorry.

C=seed K=loop F=recursion U=output → x*

live

Gerolamo Cardano

1501–1576 · Pavia · Milan · Bologna

The cubic solved three times, withheld twice, published once under an oath a notebook was held to release. The formula forced complex numbers into being; its failure at degree five became group theory.

secret → oath → casus irreducibilis → Galois

live

Pierre & Marie Curie

1859–1906 / 1867–1934 · Paris · 2× Nobel

Curie's Law as operator K imposing κ* = T_C. The Curie-Weiss singularity as Whitney A₁ fold. The sea of spins as dm³ contact manifold.

C=B·M K=T_C F=χ→∞ U=M_s

live

Paul A. M. Dirac

1902–1984 · Cambridge · Florida State

The Dirac equation as G = U∘F∘K∘C. The spinor as fixed point of the Whitney A₁ fold. Antimatter as the unfolded branch U. The Dirac sea as dm³ manifold.

C=seed K=m/ℏ F=Clifford U=e⁺

live

Stephen Hawking

1942–2018 · Cambridge

Hawking radiation as fold F. Singularity theorems as Banach. The information paradox as an honest sorry at the event horizon κ*.

C=BH K=horizon F=radiation U=S_BH

live

Tatiana Sampaio

b. ~1999 · UFRJ · Rio de Janeiro

Polylaminin — a protein already in the human body — enables axons to regrow across severed spinal cord. The U operator in flesh: expansion where collapse was expected.

C=injury K=scaffold F=binding U=regrowth

live

Thoreau & Arnold

1817–1862 · Walden Pond / UFRJ

From Walden's phenology to protein engineering that restores motion. The C→K→F→U chain written by evolution before it was written by mathematics.

C=Thoreau K=phenology F=design U=motion

live

June Huh

b. 1983 · Seoul → Princeton · Fields Medal 2022

Hodge theory carried into combinatorics — log-concavity proved for objects with no geometry, by building the geometry. The nearest neighbouring field to the n-bonacci ladder, and the reading that surfaced the WP-60 root-language defect.

C=matroid K=no variety exists F=build the Chow ring U=log-concave

live

Paul Erdős

1913–1996 · itinerant · ~1,500 papers

The itinerant of theorems and "The Book." Collaboration as the operator chain externalised — and the first machine (Aristotle's Lean proof of Erdős #728) to join his graph.

C=compress K=open brain F=proof from The Book U=theorem

Chapters · The Door Before the Life

Opens the prodigy entries, and states the standard they must meet. The gallery already sorted itself into two kinds of person; this says what the sorting was.

live

What a Child Can Enter

Opener · the door before the life

Domains whose rules are complete and enterable without having lived, against domains whose content is a life. Tao entered at 9, Huh at 23 — same domain, same medal, so the door is open early, not only early. Feldman’s co-incidence explains the traffic — but a theory built from the prodigies who arrived cannot count the ones who did not, which is the selection gap again. A domain decides when it can be entered; access decides who arrives; only the first is a fact about mathematics. §5 demonstrates the selection mechanism on one case — Brazil 1964–1985, where the regime funded the door to mathematics, widened it, and stood in it — then shows the mechanism is neither past tense nor solved by the internet — availability was never the binding constraint. §6 sets the attribution standard, from the Bhargava/Āryabhaṭa correction.

C=domain K=what it admits F=who may begin U=when

Chapters · Writers

Scientists wrote the mathematics. Writers wrote what the mathematics cannot say — and in the same precision. Each chapter reads a writer through the GTCT/dm³ lens. Six of them now. Five share one trait: each filed his most exact work in a container the reader was not expecting — a mayor’s administrative reports, a poet’s cosmology, a surveyor’s field notebook, a chemist’s memoir, cellular decomposition in verse — and the gate ran on the genre before it ever reached the claim. That is K∘F ≠ F∘K at the scale of a discipline. The sixth, Paulo Freire, is the control: he made his idea available on purpose, against a state that jailed him for it, and the valley opened inside a decade. That is the sequel worth building on — as soon as an idea is available to people, a valley opens for development, and branches become trunks.

live

Graciliano Ramos

1892–1953 · Alagoas · Palmeira dos Índios

The gate before the sentence. Vidas Secas, Memórias do Cárcere — prose that filtered before folding. K∘F ≠ F∘K written in the register of the sertão.

C=sertão K=o que admite F=frase U=prosa que atravessa

live

Augusto dos Anjos

1884–1914 · Paraíba · Rio de Janeiro

One book, one life, thermodynamics and cellular decomposition in verse. The fold F as the scientific vocabulary that makes grief legible. Dark register, total precision.

C=matéria K=limiar F=decomposição U=eu

live

Primo Levi

1919–1987 · Turin · Monowitz

The chemist twice over — like Kitagawa, a chemist who saw past the bench. The Periodic Table reads a life through the elements; The Wrench makes work-done-well a freedom, dissolving the old negation of work against leisure. Beside Ramos and dos Anjos: witness, and the brief, fugitive life. Cross-linked to the Circadian Trader.

C=elementos K=ofício F=Buna U=testemunho

live

Edgar Allan Poe

1809–1849 · Richmond · New York · Eureka 1848

The right answer, in the wrong genre. Eureka puts a horizon into the dark-sky paradox — light is finite, the universe is not eternal, so there is a distance no ray has crossed yet — and Poe subtitles it A Prose Poem and dedicates it to Humboldt. Mädler publishes the same resolution in the literature ten years later; Kelvin does the mathematics in 1901; Harrison gets the modern answer in 1964 and only then goes looking backwards and finds them both. The covering fraction and the stellar shortfall are computed in the companion script.

C=night sky K=genre F=Eureka U=horizon

live

Henry David Thoreau · the surveyor

1817–1862 · Concord · Walden Pond · surveyor by trade

A hundred soundings through the ice in 1846, a bottom at 102 feet against the legend of none, and a rule — length crosses breadth at the deepest point — tested here and found to hold only while the outline stays convex. Then ten years of Concord flowering dates, which Emerson eulogised as a huckleberry party and Richard Primack read in 2003 as a climate baseline: six degrees warmer, eleven days earlier, 141 years after the observer died. Runs the same notebooks backward that Do Lago à Medula runs forward.

C=Concord K=genre F=notebook U=baseline

live

Paulo Freire

1921–1997 · Recife · Angicos · sixteen years of exile

The control case. Three hundred rural workers read in forty hours at Angicos in 1963, in a country where illiterates could not vote — so the class was a franchise, which is why the coup that followed jailed him for seventy days. The book was written in exile, published in Portuguese in 1968 and banned at home until 1974, and opened a field anyway. Carries Thoreau on civil disobedience, Alcuin on what the maxim actually said, and the dollar ballot computed from the Fed accounts: 707 households to one.

C=sertão K=quem pode ler F=40 horas U=voto

Chapters · The Ramanujan Thread

Not people — mathematics. Three chapters that take constants the corpus had been quoting and ask where they come from. Each carries a producing script and a recorded gap list.

live

The Fraction That Knows φ

Chapter φR · R(e^−2π) · verified to 118 places

A continued fraction with nothing in it but 1s and powers of q, evaluated at one transcendental point, becomes a root of a quadratic over ℚ(√5). The chapter asks why √5 and not another surd, and answers from the identities themselves: G and H partition the parts by residue class mod 5, so the 5 is the modulus they were built from, not decoration on the answer.

q-series → one special point → a quadratic → φ

live

1103 and 26390

Chapter 1103 · Ramanujan's 1/π series · verified to 250+ places

Four constants that look found in a drawer. 396 is notation — 396⁴ = 256·9801², and the 256 cancels. 9801 is half the trace of ε⁶, the fundamental unit of ℚ(√29), and g₅₈¹² = ε⁶ exactly. 26390 is √58 tanh(6 log ε). 1103 is cornered by a bound any reader can check, and then found sitting inside α(58).

four numbers → one unit → three fall → one stands

live

The Last of Six

Chapter 6 · five steps, one integer in · N ≤ 600 swept

The previous chapter's construction written as a procedure whose only input is N. The gate — that the half-trace be an integer — admits six values below 600 and no more, and N = 58 is the largest. Digits per term is 2 log₁₀ t and nothing else, so Ramanujan's series is fastest because its N is last, not because 58 was inspired.

one integer → five steps → a series → the list ends

Chapters · Priority Queue

These are the most mathematically urgent additions — each closes a specific gap in the series.

live

Srinivasa Ramanujan

1887–1920 · Madras · Cambridge

Mock theta functions, partition numbers, the Hardy-Ramanujan asymptotic — his circle method IS the n-bonacci recurrence ladder made analytic. The fold F before formalism existed.

C=p(n) K=modular form F=saddle U=asymptotics

live

Sophie Germain

1776–1831 · Paris · writing as M. Le Blanc

C=the boundary K=driving frequency F=degeneracy U=the figure in sand

live

G. H. Hardy

1877–1947 · Cambridge · Oxford

The chapter existed and nothing linked to it.

live

Ramanujan · the 1/π series

1914 · Quarterly Journal

The companion to the Ramanujan chapter. Also unlinked until today.

live

Emmy Noether

1882–1935 · Erlangen · Göttingen · Bryn Mawr

Symmetry → conservation law — and dm³ is contact, not symplectic, so the quantity is conserved only up to an exponential. He^βt is the invariant, and the exponent is the dissipation.

C=symmetry K=Noether current F=variation U=conservation law

live

Freeman Dyson

1923–2020 · Cambridge · IAS Princeton

The 1972 tea where Montgomery started writing the pair correlation of the zeta zeros and Dyson finished it. Verified here from 3 681 zeros computed by Riemann–Siegel: RMS 0.078 from GUE, 0.502 from uncorrelated.

C=prime gaps K=eigenvalues F=GUE recognition U=RH bridge

live

Maryam Mirzakhani

1977–2017 · Tehran · Stanford

To know a surface, integrate over all the ways of cutting it. The Weil–Petersson volumes came out polynomial, their coefficients were Witten’s intersection numbers, and simple closed geodesics turned out to be exponentially rare.

C=surface K=geodesic κ* F=Teichmüller fold U=moduli

live

Sofia Kovalevskaya

1850–1891 · Moscow · Stockholm

She found the third and last integrable top by asking where the solution misbehaves in complex time. A = B = 2C: her fourth integral holds to 3×10⁻¹⁴ there and drifts 100% one step off.

C=rigid body K=integrable case F=Cauchy-Kovalevskaya U=Θ-functions

live

Katherine Johnson

1918–2020 · West Virginia · NASA Langley

NASA TN D-233: given a latitude and a desired inclination there is exactly one launch azimuth, or none. Verified against Friendship 7’s flown 72.6° to within 0.13°.

C=launch K=orbital κ* F=transfer orbit U=rendezvous

Chapters · Attribution Series

Eight scientists whose results dm³ draws on directly — each chapter is a Tutor Card: states the result, maps it to an operator or constant, gives the canonical reference. Hopfield, Waddington, and Thom are now full chapters, written together because the week's own working-paper correction (WP-31C/D) turned out to run through all three: Hopfield's Lyapunov guarantee, Waddington's landscape it generalizes, and the catastrophe normal forms Thom proved a taxonomy for and this corpus briefly over-trusted.

written

Noam Chomsky

b. 1928 · MIT · Syntactic Structures 1957

A finite rule set generating unbounded well-formed structure — and generating no others. The grammar as constraint rather than engine. Carries Pāṇini (c. 400 BCE, 3,959 sūtras with metarules) as prior art, mathematics as a formal language, and the two ceilings: Gödel 1931 and the MISATTRIBUTED class found by turning a checker on its own corpus.

K=well-formedness F=the system turned on itself U=one object, many substrates

live

Alan Turing

1912–1954 · Cambridge · Bletchley · Manchester

"The Chemical Basis of Morphogenesis" (1952). Reaction-diffusion instability generates spatial pattern from homogeneous initial conditions — the morphogen threshold is the K operator, phyllotaxis is φ. Anchor chapter: computation and biology share a type theory.

K=morphogen threshold φ=phyllotaxis F=reaction-diffusion U=pattern

live

John J. Hopfield

1933– · Cornell · Princeton · Caltech · Nobel Prize 2024

1974: kinetic proofreading, error rate ~ f₀^(N+1), irreversible hydrolysis beats the thermodynamic discrimination floor — the K operator, cross-linked to WP-31D's real u₀. 1982: neural-network energy E = −½ΣWᵢⱼSᵢSⱼ is non-increasing under symmetric coupling, a genuine Lyapunov function — and why the real (asymmetric) autophagy switch doesn't get the guarantee for free.

K=threshold μ=Lyapunov f₀^(N+1)

live

Conrad H. Waddington

1905–1975 · Edinburgh

"The Strategy of the Genes" (1957). The epigenetic landscape — valleys as cell fates — is a Lyapunov potential V(x), decades before the vocabulary for it existed. Canalization as negative-definite Hessian; chreodes as separatrices. Cross-linked to Book 6's Lyapunov treatment and to WP-30's own opening image.

μ=Lyapunov λ<0 chreode

live

Victora & Nussenzweig

2012 · Rockefeller · review in Cell

B cells mutate their own receptor genes a million times faster than background and die unless it helped. Selection is not on affinity directly but on how much antigen you can show a T cell that has only so much help to give.

η→Σ→τ K=selection n-bonacci

live

Ludger Klein

2014 · Nat Rev Immunol

The same molecule is what a T cell must recognise and what it must not recognise too well. Not a filter — a window, and 2% survival pins it to 0.086 sd. AIRE enlarges what sits on the other side of the cut.

C·K·F φ→η→Δ proofreading

live

Mitchison & Kirschner

1984 · Nature · UCSF

Every microtubule is either growing or collapsing and switches at random. The population sits at a steady state no individual occupies — so a constant average is not evidence that anything has settled.

K=threshold μ=Lyapunov φ (13-pf)

live

Per Bak

1947–2002 · Brookhaven

A pile of sand drives itself to its own critical point and stays there — not where the threshold is, but why a system sits on it rather than passing through. Dhar’s abelian property holds exactly; the exponent does not, and the page says so.

K=criticality ε₀=1/3 τ=2

live

René Thom

1923–2002 · IHÉS · Fields Medal 1958

"Structural Stability and Morphogenesis" (1972). Catastrophe theory classifies the seven generic singularities of smooth control-parameter families — fold, cusp, swallowtail, butterfly, three umbilics. What the classification proves, what Zeeman's popularizations claimed, and the 1977 Zahler-Sussmann correction — read against this corpus's own WP-31C/D episode with the same normal forms.

K=fold catastrophe 7 types not a number

live

Susumu Kitagawa

b. 1951 · Kyoto · Nobel Prize 2025

Metal-organic frameworks (MOFs): designed pores as topology (T), metal-ion gates as operators (O), organic bridges as generators (G), molecular transport through as transforms (T). Architecture's eye saw TO/TOGT in molecules before the mathematics named it. Direct application to smoke transport and chemical separation.

C=pore seed K=metal gate F=organic fold U=transport TO/TOGT manifest

Chapters · Extended Roster

planned

Al-Khwarizmi

c. 780–850 · Baghdad · House of Wisdom

Algebra, the algorithm ("al-Khwarizm"), decimal positional notation. The C operator of all computation — the seed from which every formal system grows.

C=Al-jabr the seed of all operator chains

planned

Alexander Grothendieck

1928–2014 · Berlin · Paris · Pyrenees

Schemes, étale cohomology, motives, the Weil conjectures (Deligne's proof = function-field RH). The G6 cohomology χ(H*(X⁶)) = 33 is Grothendieck's language.

F=étale fold χ=Euler characteristic · G6 bridge

planned

Alicia Boole Stott

1860–1940 · Cork · Amsterdam

Classified all regular polytopes in 4D with geometric intuition and no formal degree. Her cross-sections of 4D objects are precursors to G6's 6D crystal faces.

F=cross-section fold 4D → G6 six-dimensionality

planned

Terence Tao

b. 1975 · Adelaide · UCLA

Green-Tao theorem: primes contain arbitrarily long arithmetic progressions. Compressed sensing, random matrix theory, additive combinatorics. The GUE connects his work to the RH arc of G4.

U=primes in AP Green-Tao · GUE bridge to chPI-rh

planned

Bhāskara II

1114–1185 · Bijapur · Ujjain Observatory

Cyclic method (chakravāla) for Pell equations — a recurrence-ladder algorithm five centuries before Fermat. Trigonometry, calculus precursors, the Lilavati. South Asian lineage of the recurrence chain.

C=Pell seed chakravāla = n-bonacci recurrence ancestor

planned

John Horton Conway

1937–2020 · Liverpool · Cambridge · Princeton

Surreal numbers, sphere packing (24D Leech lattice!), the Monster group, Game of Life. The 24D packing connects to the G6 crystal; surreal numbers are a contact manifold over all ordinals.

U=Leech lattice 24D · Monster · surreal number contact

planned

Wangari Maathai

1940–2011 · Kenya · UN Environment

Nobel Peace Prize for reforestation as a stability operator — 30 million trees as a fixed-point attractor for ecological contact. The G chain at planetary scale, applied biology of G3.

K=root κ* ecosystem contact stability · τ = 2 at scale

planned

Cecilia Payne-Gaposchkin

1900–1979 · Wendover · Harvard

Proved that stars are made of hydrogen and helium — overruled by male superiors, proved right. The C→U chain: contact with stellar spectra as the seed; the fold F was institutional resistance.

C=stellar spectra honest sorry overruled · U = hydrogen abundance

Gaps · Related Mathematics Not Yet in the Series

Area	Why it belongs	Status	Entry point
Modular forms	Ramanujan's mock theta functions, elliptic curves, L-functions — the analytic continuation of the recurrence ladder into the complex plane. Bridges φ (G3) to RH (G4) to G6 cohomology. Partly closed 2026-09-18: singular moduli, class invariants and the 1/π series are now worked, with the unit ε = (5+√29)/2 doing the work; mock theta functions and L-functions remain untouched.	partial	ch-1103-and-26390.html · ch-the-last-of-six.html · ch-rogers-ramanujan.html · ch-ramanujan.html
Noncommutative geometry (Connes)	Connes' approach to RH via the adele class space is the dual of the arithmetic contact form in chPI-rh. The spectral triple is dm³ with a different dressing.	gap	ch-connes.html · written
Weil conjectures / function-field RH	The one column of Weil's Rosetta stone where the Riemann hypothesis is a theorem. Supplies the shape of every claim Book 4 Ch 11–12 makes about zeros, and supplies no evidence for any of them: the positivity that closes the function-field case has no number-field counterpart. Cross-referenced to Book 4 § 12.8.	gap	ch-weil.html · written · `ch-weil-verify.py`
K-theory / index theory (rung 28)	WP-82 measured it: noncommutative geometry in 9 files, Connes in 15, spectral triples in 7, K-theory in 0. A spectral triple computes an index, so the corpus reaches rung 33 standing on a rung it never wrote. The chapter builds the group and then measures the series' one index candidate — the dm³ transverse multiplier — which turns out to vary with the base point, so it is not yet an index.	gap	ch-grothendieck.html · written · `ch-grothendieck-verify.py`
Translation between theories (Tao)	The corpus says in three places that its gap is linguistic rather than mathematical — Ch.H on Collatz, Vol XIII Ch 9 on what a model carries, and the IMPA 1997 notes it already holds on the mathematician as tradutor simultâneo. Tao's 2019 Collatz result is the case where a gap of that shape was actually closed, by changing the measure; his three-stages essay is the warning that from the inside, good and bad intuition look the same.	gap	ch-tao.html · written · `ch-tao-verify.py`
The dictionary and its error term (Nachbin)	Where the translator framing entered this corpus: Nachbin & Tabak, IMPA, July 1997. The chapter tests whether the sentence was technical or decorative — the long-wave dispersion model is exact to 1e-10 at kh = 0.05 and 15% wrong at kh = 1.5, with the error rising like (kh)^6. A dictionary is a model that tells you the exponent of its own wrongness; an analogy has no such term.	gap	ch-nachbin.html · written · `ch-nachbin-verify.py`
Nonlinear dynamics — the textbook underneath (Strogatz)	The Book 6 helix toy model is Strogatz's Example 7.1.1 with a third coordinate and a 1 − e^−z modulation. Γ = {r=1}, T* = 2π and μ_max = −2 all arrive with the example — the last as the imposed closure condition f′(1) = −2 — while the invariance of the exponent, the neutral line, the closure-dependent escape, the base-point drift of the multiplier and the contact no-go are the model's own. Strogatz is in WP-22's bibliography with zero citations in its body, and “degenerate Hopf” names a nonlinear centre on his p. 256 and a vanishing first Lyapunov coefficient in the paper.	gap	ch-strogatz.html · written · `ch-strogatz-verify.py`
The corpus on Figure 1.3.1 (Strogatz, printed p. 10)	Two axes, five columns by two rows, sixty-one named systems, and a region marked The frontier. Counted entity-aware at HEAD: 44 entries occupied, 17 at zero, 8 of the zeros in the linear half — RC circuit, RLC circuit, mass and spring, 2-body problem and coupled harmonic oscillators among them. The three largest surviving counts (fixed points 260, limit cycles 121, bifurcations 119) all sit in the lower-left corner Strogatz prescribes as the place to start. Seven entries fail a sense test: Plasmas 93 → 35, Life 151 → 11. Fourth failure mode of the counting instrument, and the only one with no symptom.	gap	ch-the-map-on-page-ten.html · written · `ch-the-map-on-page-ten-verify.py`
Ergodic theory	The Birkhoff ergodic theorem gives the time average → space average correspondence that underlies the Lyapunov chapter. Missing explicit treatment of mixing rates.	gap	ch10-lyapunov.html stub needs expansion
Tropical geometry	Contact geometry over the tropical semiring (max, +) — the piecewise-linear skeleton of the smooth theory. Connects to the n-bonacci sequences as tropical polynomials.	gap	ch-tropical.html · written
Homotopy type theory	HoTT is the logical foundation AXLE is approaching. The univalence axiom closes the gap between "isomorphic" and "equal" — relevant to every Lean 4 sorry in chV-sorrys.html.	open	book5/chV-axle.html
Random matrix theory	GUE statistics appear in chPI-rh (Montgomery-Dyson) and chPHI-rh (gap distributions). Deserves a standalone chapter explaining the Wigner semicircle, GOE/GUE/GSE.	bridge	ch-dyson.html → chPI-rh.html bridge
Information theory / Shannon	Entropy appears in ch15-entropy.html but Shannon's source coding theorem connects to the Lyapunov exponent and the ε₀ stability radius^{[Ch 10]} through the data-compression interpretation.	bridge	ch15-entropy.html needs Shannon section
p-adic analysis	The valuation lock \|1−c\|_p = 1 in chPI-rh Proof IV is the first appearance. Deserves a standalone chapter: p-adic numbers as the ultrametric cousins of the real recurrence ladder.	gap	new chPADIC-ultrametric.html
Spectral geometry / index theory	Atiyah-Singer index theorem connects the spectral data (ch11-spectral.html) to topology. The index is the count of zero modes — directly relevant to G6's χ = 33.	open	book4/ch11.html → G6 cohomology bridge
Symplectic geometry	Contact geometry is the odd-dimensional sister of symplectic geometry. The Gromov-Witten invariants are the symplectic counting problem — a gap between G4/G5 and the G6 Crystal.	gap	ch-symplectic.html · written

The Series Spiral · G1 → G7

G3 · Vol III

The Mini-Beast

Biology · ESL pilot · μ

G4 · Vol IV

GTCT

RH arc · Δ→Σ→Ω

G5 · Vol V

The Seed

G(x*)=x* · 0 axioms

G6 · Vol VI

G6 Crystal

χ(H*(X⁶)) = 33

G7 · Vol VII

Omega Point

The Scientist Gallery · τ = 2

The Omega Point companion series (theological/philosophical vocabulary for the same operators) lives at omega/. Same mathematics. Different key.