The rule this series is built on
People are passed over a lot, and then the mathematics gets another status.
A result with a person attached is contingent. Somebody wanted something, tried something, was working in a place at a time, and could have been wrong. Strip the person off and the same result reads as if it were found rather than made — ownerless, timeless, above the ordinary business of being argued with. The promotion is unearned, and it is invisible, because nothing on the page says a name was removed.
This is a didactic for polymaths, and that is not a flourish. Someone who works across fields is the reader most exposed to it. In a field you trained in, the community carries the memory: you were told which conventions are arbitrary, which results were contested for thirty years, which definition won a vote. Crossing into a field you did not train in, you get the polished surface with the argument sanded off — and no one to tell you where the seams were. What you cannot see, you cannot doubt in the right place.
So the method, in three questions, asked of anything you did not grow up inside:
That is also why every volume here names its people, and why every claim carries the path it resolves at. Anonymity is what lets a claim get promoted without being checked — in mathematics exactly as in a citation. The apparatus in this series is one rule applied twice.
A palavra tem história. Na biologia do fim do século XIX, deu nome a uma teoria — a de que a evolução avança em linha reta, empurrada por um impulso interno rumo a um fim predeterminado. Essa teoria morreu, e merecia morrer. Nada aqui a ressuscita.
O que queremos dizer é gênese ortogonal: forma gerada sob restrição, nas direções que as restrições deixam abertas. Não há impulso nem destino. Uma casca em crescimento não busca a sua forma — ela fica sem alternativas. A curvatura não puxa o desenvolvimento para a frente; ela remove opções. O tempo, a gravidade e a geometria da superfície fazem o resto.
É por isso que a direção é real sem ser intencional. Os sistemas se movem, e as direções disponíveis a eles são ditadas por forças, não por propósito. Waddington chamou a versão biológica de canalização: o desenvolvimento correndo em vales, protegido contra perturbações, direcional sem perseguir um objetivo. A sua paisagem epigenética é uma figura de curvatura. É o operador K, desenhado por um biólogo que não sabia que era isso que desenhava.
A ciência generativa diz o que a física diz: a forma é o que as restrições permitem. A biologia pode levar algum tempo para ouvir a diferença entre um sistema que é empurrado e um sistema que não tem para onde ir. Essa diferença é o livro inteiro.
The word has a history. In late-nineteenth-century biology it named a theory — that evolution advances in straight lines, pushed by an internal drive toward a predetermined end. That theory is dead, and it deserved to die. Nothing here revives it.
What we mean is orthogonal genesis: form generated under constraint, along the directions the constraints leave open. There is no drive and no destination. A growing shell does not reach toward its shape — it runs out of alternatives. Curvature does not pull development forward; it removes options. Time and gravity and the geometry of the surface do the rest.
That is why the direction is real without being intended. Systems move, and the directions available to them are dictated by forces, not by purpose. Waddington called the biological version canalisation: development running in valleys, buffered against perturbation, directional without being goal-seeking. His epigenetic landscape is a curvature picture. It is the K operator, drawn by a biologist who did not know that is what he was drawing.
Generative science says what physics says: the form is what the constraints permit. Biology may take some time to hear the difference between a system that is pushed and a system that has nowhere else to go. That difference is the whole book.
| File | Content | Volume | Sorries | Status |
|---|---|---|---|---|
| Chain.lean | G-chain; κ < 1; Banach fixed point | IV (GTCT) | 0 | ✓ Lean 4 verified |
| Dm3RHToy.lean | Riemann Hypothesis toy reformulation | I / II | 0 | ✓ Lean 4 verified |
| Dm3NSToy.lean | Navier–Stokes toy model | I / II | 0 | ✓ Lean 4 verified |
| Dm3GoldbachToy.lean | Goldbach toy model | I / II | 0 | ✓ Lean 4 verified |
| Dm3Comp.lean | P vs NP (acknowledged open) | I / II | 1 | Open · sorry marked |
| GCTC.Operators.Chain | poincare_collatz_contracting; Spiral Return T1; g33 entry | IV | 0 | ✓ Lean 4 · Mathlib4 |
| AutophagyDm3.lean | Tubulin polymerization dm³ | III | 0 | ✓ Lean 4 verified |
| vitruvian-approximation.pdf | Rhind Papyrus / G-cycle · selection functional 𝒞_rat | III | 1 | Open · sorry marked · Zenodo ↗ |
sorryAx. A clean axiom report is not a reading of the statement: per R20, a theorem can assume its conclusion and still report clean. Follow the link before citing one as evidence.