进化就是递归：同一个循环的四个名字

Evolution Is Recursion — Four Names for the Same Loop

The thing that should not work#

A bacterium divides every twenty minutes and has been doing so, in some lineage, for three and a half billion years. That is stability at a scale that humbles geology. At the same time, the line that began with that bacterium produced eyes, nervous systems, flight, language, and a formal proof of its own incompleteness. That is complexity at a scale that humbles any search algorithm.

The puzzle is not that stability and complexity each exist. The puzzle is that the same mechanism is supposed to explain both simultaneously. Natural selection finds optima — it is, structurally, a hill-climbing procedure. Hill-climbers reach peaks and stop. Yet the organisms that natural selection has been climbing on have not stopped. The record shows no terminus, no convergence on a single solution, no stabilization at anything like a final fitness peak.¹ Stability and unbounded novelty are not the expected outputs of the same process. One of them should break the other.

Something else is running underneath. The empirical sign is niche construction — the systematic way organisms modify the selective environments that act on their own descendants.² When an organism alters not just its local habitat but the conditions under which its offspring and competitors are selected, the fitness landscape is no longer a fixed terrain. It becomes a surface the walkers are generating as they walk it. Not hill-climbing. Something with a different formal structure.

What kind of process generates that combination — radical stability and unbounded novelty from the same engine? Not selection alone. Selection finds peaks on landscapes, and the unbounded part denies the landscape is fixed. Something else is running underneath. This article argues that the something else has a name — four of them, in fact, assigned independently by four research traditions that did not know they were naming the same thing.

What biologists were forced to admit#

Beavers are the textbook case. Twelve years after a colony moves into a degraded agricultural stream, mean plant species richness rises by roughly 46% per plot, and the cumulative number of species recorded increases by 148%.³ The pond the beavers engineer stores approximately 100 tonnes of sediment and 16 tonnes of carbon per 1.8 hectares of ponded extent.⁴ The beaver does not merely live in its environment. It constitutes a substantial fraction of the selective environment acting on subsequent generations of beavers, on the insects and fish and birds whose lineages will also pass through the pond ecosystem, and — crucially — on the beavers' own descendants, who will inherit not the original stream but the engineered wetland the colony created.

Not coincidence or edge case. This is the form that niche construction takes at the ecological time scale.

The formal definition, from Laland and colleagues' 2015 Extended Evolutionary Synthesis paper, runs: niche construction is "the process whereby the metabolism, activities and choices of organisms modify or stabilize environmental states, and thereby affect selection acting on themselves and other species."² The critical clause is "thereby affect selection acting on themselves" — the organisms that construct the niche are also the organisms selected within it. The selection pressure is not external to the organism; it is partly constituted by the organism's own prior activity. Formal evolutionary models confirm that this reciprocal causation has consequences the standard model does not predict: niche construction can drive otherwise deleterious alleles to fixation, support stable polymorphisms where none would be expected, and eliminate polymorphisms that would otherwise persist.⁵

The Great Oxidation Event is the same process at geological scale. According to the ASM Microbiology review's characterization, cyanobacteria evolved approximately 2.7 billion years ago and proceeded to transform Earth's atmosphere through oxygenic photosynthesis, producing the GOE around 2.4–2.1 billion years ago — a shift that ranks among the most consequential biologically-induced geochemical transformations in Earth's history.⁶ The organisms that drove the event did not survive into the oxygen-rich world they made. But every aerobic organism since then has lived inside a selective environment whose chemistry was produced by prior biological activity. The constructors' descendants — all of them — inhabit a world their ancestors built.

The pattern is general. From beaver dams to oxygenic photosynthesis, organisms do not merely inhabit their environments — they constitute the conditions of their own selection. The standard evolutionary frame treats this as a correction to the model. It is more than that. The recursion is not a wrinkle in the picture. It is a structural feature of the process itself.

Self-contextualizing, not feedback#

Feedback loops have fixed rules. A thermostat does not redesign the temperature target it is tracking — the setpoint is set from outside the loop. The output (measured temperature) recycles as input, but the rules of recycling — what constitutes "too cold," what triggers the furnace — are external to the loop and unaffected by it. Outputs modify inputs. Rules stay fixed.

A self-contextualizing system is something different. Its outputs modify not just the inputs but the rules under which subsequent inputs are processed. The constraints, the boundary conditions, the selection pressures — these emerge from the operation itself, not from an external configuration that the operation leaves untouched. The formal class that captures this is the fixed-point structure: a system that operates on a description of itself, producing a result that then becomes the context for the next operation.

In formal logic, the engine of this structure is Gödel's diagonal lemma. For any sufficiently strong formal system F and any formula A(x) with one free variable, there exists a sentence D such that F ⊢ D ↔ A(⌜D⌝) — D is provably equivalent to the formula A applied to D's own Gödel number.⁷ The sentence contains a description of itself (encoded as a number), and asserts something about that description. When A is "is not provable in F," the resulting D says "I am not provable in F" — the Gödel sentence, which makes the incompleteness result land. The mechanism is substitution of a formula's own index into itself. The system operates on a description of its own operation, and the result constrains subsequent steps.

In computation, Kleene's second recursion theorem states: for any partial recursive function Q(x,y), there exists an index p such that φₚ ≃ λy.Q(p,y) — a program that behaves as if applying Q with its own index as the first argument.⁸ More informally: programs can carry descriptions of themselves and act on those descriptions. The Y combinator in lambda calculus implements this as a fixed point: it takes a functional F and returns a value x such that F(x) = x, enabling recursive behavior from a non-recursive specification. The computational instance of self-contextualizing: a function that generates its own operating context by finding its own fixed point.

These are formal results about abstract systems — about computable dynamical systems and formal languages. Within that formal model, the Hernández-Orozco et al. 2018 theorem is the result that closes the argument: exhibiting strong open-ended evolution — stable growth of algorithmic complexity over time — is formally equivalent to undecidability in computable dynamical systems.¹ Decidable systems face absolute limits on stable complexity growth. A system whose complexity grows without bound must be undecidable. The scope of this result is the stated formal model, not biological evolution directly. How it bears on biology depends on a bridge built below, in the Cárdenas argument.

Four names for the same thing#

Four research traditions, working in different vocabularies, in different decades, on different problems, have already named what the previous section sharpened. None cited the others as occupying the same conceptual ground. Each looked at the same animal and described a different part of its anatomy.

Rosen — closure to efficient causation (relational biology, 1985–1991)

Robert Rosen's central thesis in Life Itself (1991) is a formal definition of the living: "a material system is an organism if and only if it is closed to efficient causation."⁹ In Aristotelian terms, efficient causes are the agents that bring about change — the catalysts, the enzymes, the processes that maintain organization. Rosen's claim: in a living system, those efficient causes are themselves produced within the system. The enzyme that catalyzes a reaction is produced by another reaction that the first reaction maintains. The formal structure is the (M,R)-system: M designates metabolic subsystems, R designates repair subsystems that regenerate M. The system is self-entailing — all efficient causes fall within an impredicative cycle. No external input assigns the catalysts. They emerge from the cycling itself.

This is the self-contextualizing structure in relational biology. The operating conditions — the catalysts, the enzymes, the efficient causes — are produced by the operation they enable. Rosen made one additional contested claim: this structure cannot be simulated by any Turing machine. That claim sets up a tension with the formal results developed above — a tension the Cárdenas argument resolves below.

Von Foerster — eigenforms and operational closure (second-order cybernetics, 1970s)

Heinz von Foerster approached the problem from perception, not biochemistry. Working in second-order cybernetics — what he described, from 1974, as the "cybernetics of observing systems," systems that include their own observers — he asked: what is a stable object? His answer: "objects are tokens for eigenbehaviors." Stable objects in perception are the fixed-point attractors of recursive processes of observation. An eigenform is the value e such that F(e) = e — the invariant of a recursive operator applied iteratively.¹⁰ Louis Kauffman formalized this mathematically in a 2003 paper, demonstrating that if F is the operation "enclose in a box," iterating F on any initial configuration produces, in the limit, a form that satisfies X = F(X) — a self-referential stable form that the operation produces and that the operation then leaves unchanged.

The structural connection to the formal vocabulary developed above is direct. F(e) = e is the same fixed-point structure as the Gödel diagonal lemma and the Kleene Y combinator. Von Foerster named it in the cybernetics domain at least a decade before Rosen's Life Itself appeared. The eigenform tradition is the earliest of the four namings.

Maturana and Varela — autopoiesis (1980)

Maturana and Varela came at it from the cell. Their formal definition of autopoiesis, from Autopoiesis and Cognition (1980), describes a living system as "a network of processes of production (transformation and destruction) of components which: (i) through their interactions and transformations continuously regenerate and realize the network of processes (relations) that produced them; and (ii) constitute it (the machine) as a concrete unity in the space in which they (the components) exist by specifying the topological domain of its realization as such a network."¹¹

The boundary — the membrane — is itself produced by the metabolic network it encloses. The network produces the boundary, and the boundary is what defines "inside" vs. "outside," i.e., what counts as part of the network. The operating conditions (the boundary, the topology, the network identity) are constituted by the operation itself. The system does not occupy a pre-given domain; it produces the domain as it operates. This is the self-contextualizing structure at the cellular scale — the most concrete of the four namings.

Mossio and Moreno — constraint closure (2010)

Mossio and Moreno arrived last — and sharpest. Their 2010 paper, extended in Biological Autonomy (2015), offers the most formally precise of the four namings. A system, they write, is organisationally closed "if it [is] constituted by a set of structures C₁…Cₙ acting as constraints such that, for each constraint Cᵢ, (at least some of) the boundary conditions required for its maintenance are determined by the immediate action of another constraint Cⱼ, whose maintenance depends in turn on Cᵢ as an immediate constraint."¹² Each constraint depends on, and maintains, at least one other constraint in the network. The canonical instance: enzymatically-closed cellular metabolism, where enzymes catalyze the reactions that produce other enzymes. The operating conditions are the constraint network; the constraint network is maintained by the operation it governs.

This is stricter than autopoiesis alone. Maturana-Varela say the system produces its components; Mossio-Moreno specify that the system produces the constraints under which its components operate — the rules governing the operation, not just the parts that instantiate them. This is the closest of the four namings to the formal vocabulary developed above.

The convergence

Four names. Four vocabularies. Four disciplines. Four decades. Closure to efficient causation. Eigenforms. Autopoiesis. Constraint closure. Each independently captures the same structural property: the system produces the conditions under which it operates. None cited the others as occupying the same conceptual territory. This is not parallel discovery in the way that Newton and Leibniz independently discovered calculus — it is more striking. Newton and Leibniz were racing to solve the same problem. These four traditions were not. They were each solving different problems and arriving, unbidden, at the same formal structure.

That convergence is the evidence that the structure is real — not a philosophical convenience projected onto disparate phenomena. Four serious traditions, each with formal apparatus, landed on the same answer. They were all describing the same animal, in four different languages, and none of them knew the others were in the room.

The Cárdenas bridge#

Rosen's framework comes with a hard claim: living systems closed to efficient causation cannot be simulated by any Turing machine. If he is right, then the Hernández-Orozco OEE undecidability result — which is a theorem about computable dynamical systems — is irrelevant to biology as Rosen defined it. The computable-systems result describes a class of systems; Rosen puts life outside that class. The article cannot invoke both the formal backbone and the biological claim without taking a position on this tension.

The tension is live in the literature. Cárdenas, Letelier, Gutierrez, Cornish-Bowden, and Soto-Andrade published the explicit challenge to Rosen's conclusion in a 2010 paper in the Journal of Theoretical Biology​. Their paper argues that Rosen's non-computability conclusion does not follow from his (M,R)-system formalism itself, and that "there has been confusion and misunderstanding about the logic Rosen used to achieve this closure."¹³ Their key claim: closure to efficient causation, as formalized in the (M,R)-system structure, is expressible in lambda-calculus. Lambda-calculus expressibility is Turing-equivalence — a result Church established in 1936 — so any (M,R)-system that can be written as a lambda-term sits inside the formal model the Hernández-Orozco theorem covers. If that is correct, biological closure to efficient causation is computability-compatible, and the undecidability result applies at the level of the formal model — not merely by analogy.

This article takes the compatibilist position. The Cárdenas line is the published rebuttal in the peer-reviewed literature, and it resolves the tension in a way that preserves the article's formal strategy.

With the bridge in place, three levels of claim can be stated explicitly:

Level 1 — Formal identity (within computable systems). The Hernández-Orozco et al. 2018 result is a formal theorem: systems exhibiting strong open-ended evolution in computable dynamical systems must be undecidable.¹ Rosen's (M,R)-systems, on the Cárdenas compatibilist reading, are expressible in lambda-calculus and fall within the scope of this result. At this level, the claim is formal identity — the same mathematical structure, not analogy.

Level 2 — Structural analogy (biological evolution). Whether actual biological evolution is strictly Turing-computable remains an open question — the Rosen-Cárdenas debate is not settled. At this level, the article claims structural analogy: biological evolution under niche construction shares the property that generates undecidability in formal systems. Organisms produce the conditions of their own selection. The niche construction literature (Laland et al. 2015, Laland et al. 1999) is the evidence that this structural property is empirically real in biology.

Level 3 — Family resemblance (the broader class). Von Foerster's eigenforms, Hofstadter's strange loops, the Gödel diagonal, and the Kleene Y combinator share the self-contextualizing property as a family resemblance — each instance exhibits it, but no formal theorem spans all of them simultaneously. This is the philosophical payoff, not the formal core.

Three levels, stacked. The failure mode is confusing them. Claiming Level 1 rigor for Level 2 claims is overreach. Treating Level 2 claims as merely Level 3 family resemblance is false modesty when the niche construction literature is doing serious empirical lifting. The discipline is holding the stratification clear.

Hofstadter chose the wrong example#

Hofstadter's strange loop has an asymmetry that two formal critiques have surfaced — and the asymmetry, once seen, runs the wrong way.

Hofstadter's paradigm instance of a strange loop is Gödel's self-referential sentence: a statement in formal arithmetic that says, of itself, "I am not provable in this system." The loop crosses levels — from the object-language of arithmetic down to the meta-level claim about provability, and back — producing a genuine self-referential stable form.¹⁴ This is what Hofstadter extends, by analogy, to consciousness: the brain's self-model is itself implemented in the brain's neural substrate, creating a level-crossing return. Strange loops explain the experience of selfhood.

Andrew Westra's 2010 critique identifies the weak joint. Hofstadter himself writes that Gödel "carefully concocted" the self-referential statement.¹⁵ Westra's argument: the representational power of the formal system — its ability to encode statements about itself using Gödel numbering — is a necessary condition for the strange loop but not a sufficient one. The sufficient condition was Gödel's own intentional act of construction. The formal system did not automatically produce the strange loop. Gödel designed it. Westra's worry follows: if formal systems don't produce strange loops automatically — if a very careful person had to produce one — then Hofstadter's inference from "formal systems automatically produce strange loops" to "brains automatically produce consciousness" may rest on a false premise.

Nenu's 2022 critique adds a further layer: Hofstadter's framework "leaves too many weighty details left unfilled" and, because the analogy's behavior is sensitive to meta-mathematical choices Hofstadter does not address, it is structurally unstable in ways that impair the explanatory payoff.¹⁵

These critiques impair Hofstadter's specific move. They do not impair the structural property itself.

Here is the inversion. If strange loops in formal systems require external intentional construction — a Gödel, carefully concocting — then a system that exhibits the same structural property without any external designer is doing something purer. Biological evolution is not concocted. No one sat down and designed the replication mechanism to be self-referential. Replication is the recursive call — it is what biological reproduction is​, not what it resembles​. The organism's descendants inherit not just the organism's genes but the niche the organism helped construct, which then selects those descendants. The recursive call runs automatically, for three and a half billion years, with no external constructor required.

Hofstadter chose Gödel because Gödel was beautiful and precise and available in 1979. He did not have the empirical case in front of him. Niche construction is the case he would have wanted: three and a half billion years of self-contextualizing organization, no intentional constructor required, the recursive call made every twenty minutes by cells that have never read a proof.

Biology is the purer instance. Hofstadter's strange loop is a less pure member of the same family — one that needed a genius to construct artificially what evolution does automatically. The inversion is not a dismissal of Hofstadter. He identified the structural class from the formal side. But the cleanest empirical member of that class was not the one he pointed to.

Three counterarguments, three responses#

Three lines of opposition deserve direct engagement, not footnotes.

The redescription objection (Scott-Phillips et al. 2014)

The strongest objection to niche construction theory as a theoretical advance is the redescription objection, stated with precision by Scott-Phillips, Laland, Shuker, Dickins, and West in their 2014 adversarial collaboration in Evolution​. The skeptics' position: "the skeptics see no reason to think that whatever predictions and insights NCT leads to, the same predictions could not be derived from standard evolutionary theory."¹⁶ Equivalently: niche construction theory is explanatorily redundant. It is not logically necessary to use NCT to study or predict anything in evolutionary biology; the conventional framework was always sufficient. NCT adds vocabulary and organizational emphasis, but no novel predictive content.

The article does not dispute the core of this objection. The recursion frame is primarily a conceptual-unificatory contribution. It gathers four prior namings under a single structural characterization and shows biological evolution as an instance — that is a philosophical move, and the redescription objection is right that philosophical moves are not automatically predictive moves.

The frame does, however, generate two commitments that the standard dualist frame either does not make or reaches only by reframing. First: major evolutionary transitions are type-signature changes in the recursive function — qualitatively discontinuous reorganizations of the unit on which selection acts, not merely gradual accumulation. Maynard Smith and Szathmáry identify transitions by a change in the way biological information is stored and transmitted and the formation of new levels of units of selection.¹⁷ West and colleagues confirm the two-step pattern: cooperative group formation followed by transformation into an integrated entity through division of labor and mutual dependence.¹⁷ Bourrat and colleagues (2022) identify tradeoff-breaking events as a marker of these transitions — not the cause, but the signature of the discontinuity.¹⁷ The recursion frame makes this discontinuity legible as a type-signature change: the fitness-tracking unit shifts not by gradual accumulation but by a qualitative reorganization of the recursive call.

Second: Banzhaf and colleagues classify novelty in open-ended evolving systems into three types — variation (novelty within a model), innovation (novelty that changes the model), and emergence (novelty that changes the meta-model).¹⁷ This taxonomy implies that the position of a system in parameter space determines which type of novelty dominates. A stability regime generates variation-type novelty; a complexity regime generates innovation or emergence-type novelty. This is the article's inference from the Banzhaf framework, not Banzhaf's stated conclusion — but it is a logical implication the recursion frame makes visible where the standard frame does not.

The honest position: the frame is mostly conceptual-unificatory, and defensible on those terms. The two commitments above are genuine, and they are commitments the dualist frame does not make.

The Williams asymmetry (Fromhage & Houston 2022)

The contemporary technical defense of the organism-environment asymmetry runs through Fromhage and Houston's 2022 paper in Evolution​, which formalizes the Lewontin-Williams (a)symmetry. Their claim: "adaptation is always asymmetrical; organisms adapt to their environment, never vice versa." Even granting bidirectional causal influence — granting that organisms modify environments — the directionality of selection-driven adaptive change is asymmetric.¹⁸ The standard evolutionary model encodes this: dO/dt = f(O,E) (organisms change in response to environments), while dE/dt = g(E) (environments change independently of organisms' directed adaptation). The equations are not symmetric, even when causal influence flows both ways.

The article's response follows Otsuka's causal-graph framework: the asymmetry in the standard differential equations is a modeling assumption, not an empirical finding.¹⁸ When traits are ascribed to types (genotypes), the gene-environment independence is built into the mathematical structure, not discovered in nature. The organism-environment dualism in standard evolutionary theory reflects the model's scope conditions, not the metaphysical structure of biology. The niche construction critique — that organisms modify the selection pressures acting on their own descendants — is then not a refutation of the standard model but evidence of where the model's scope conditions bind. The recursion frame is not fighting Williams' asymmetry on its own terms; it is identifying the scope conditions within which the asymmetry claim holds and asking what is left outside them.

The empirically-cautious skepticism (Charlesworth, Barton & Charlesworth 2017)

Charlesworth, Barton, and Charlesworth's 2017 Darwin Review in the Proceedings of the Royal Society B represents the empirically-cautious mainstream evolutionary biology position. Their judgment: "no radical revision of our understanding of the mechanism of adaptive evolution is needed."¹⁹ Careful genetic studies have repeatedly shown that apparently puzzling results across organisms are consistent with neo-Darwinism. The empirical evidence for paradigm-shifting niche-construction-driven evolution — the evidence that niche construction regularly produces major evolutionary patterns not explainable by the standard framework — is weaker than EES advocates claim.

This article is not an EES advocacy piece, and the acknowledgment here is genuine. The recursion frame's contribution is structural — about which class biological evolution belongs to — and not about the magnitude of niche construction effects in any given population. The debate between Laland and Charlesworth about whether NC drives major evolutionary patterns empirically is orthogonal to the structural point that organisms produce the conditions of their own selection. The structural claim can be true even if NC turns out to be a modest evolutionary force in most lineages.

The article concedes the redescription objection's force, defers to the modeling-choice framing for the asymmetry debate, and grants the empirical caution. What survives is a structural claim — that biological evolution belongs to a named class — which none of the three objections targets.

What the frame buys#

Three things.

The first is the collapse of a false dichotomy. Lewontin wrote in The Triple Helix that "just as there can be no organism without an environment, so there can be no environment without an organism."²⁰ This is not mysticism. It is the practical consequence of standing inside the recursive call. Subject — organism — and object — environment — are positional roles within the same operation, not separate ontological categories. From outside the loop there is one process: organisms modifying environments modifying selection pressures modifying organisms. From inside the loop — which is where evolutionary biology actually works — the distinction between organism and environment remains useful as a modeling convenience. The collapse is operational, not ontological. The dualism is not destroyed; it is relocated.

This relocation has a practical consequence for reading the evolutionary record. Van Valen's Red Queen law (1973) states that the effective environment of any group of organisms deteriorates at a stochastic constant rate — because the evolutionary advances of competing species systematically shift each other's selection landscape.²¹ Coevolutionary dynamics are non-terminating: no stable end state is reached, because each adaptation by any lineage shifts the selection pressures for all others. The flax-rust system illustrates this at the empirical scale. Antonovics, Thrall, Burdon, and Laine's cross-inoculation study of 120 host lines and 60 pathogen lines from six natural populations found no evidence that partial resistance slows coevolutionary dynamics; the arms race continues rather than converging.²² The non-termination mirrors the OEE non-halting result: the coevolutionary system, constituting its own selection environment reciprocally and recursively, cannot halt.

The second and third purchases are the frame's two predictions, stated as predictions rather than proofs:

Second, major evolutionary transitions are legible as type-signature changes in the recursive function. The fitness-tracking unit reorganizes discontinuously — from gene to genome, from cell to multicellular organism, from individual to eusocial colony. Each transition marks a qualitative change in the kind of entity natural selection can act upon. This is not gradual accumulation; it is the function signature changing.

Third, stability versus complexity is a parameter-regime effect. A system in the stability regime generates novelty within its existing organization — variations on a theme. A system in the complexity regime generates novelty that reorganizes the organization itself — a different theme. Where in parameter space a system sits determines which kind of novelty it produces. Both are forms of self-contextualizing process; they differ in which tier of the recursive structure is being updated.

Subject and object are not categories the world hands us. They are positions the loop assigns. Step outside the loop and there is one process. Step inside and the distinction returns, useful again. The dualism is not destroyed. It is relocated.

References#

1. Hernández-Orozco, S., Hernández-Quiroz, F., & Zenil, H. (2018). Undecidability and Irreducibility Conditions for Open-Ended Evolution and Emergence. Artificial Life​, 24(1), 56–70. DOI: 10.1162/artl_a_00254. ↩︎ ↩︎ ↩︎

2. Laland, K.N., Uller, T., Feldman, M.W., Sterelny, K., Müller, G.B., Moczek, A., Jablonka, E., & Odling-Smee, J. (2015). The extended evolutionary synthesis: its structure, assumptions and predictions. Proceedings of the Royal Society B: Biological Sciences​, 282(1813), 20151019. DOI: 10.1098/rspb.2015.1019. ↩︎ ↩︎

3. Law, A., Gaywood, M.J., Jones, K.C., Ramsay, P., & Willby, N.J. (2017). Using ecosystem engineers as tools in habitat restoration and rewilding: beaver and wetlands. Science of the Total Environment​, 605–606, 1021–1030. ↩︎

4. Brazier, R.E., Puttock, A., Graham, H.A., Auster, R.E., Davies, K.H., & Brown, C.M.L. (2020). Beaver: Nature's ecosystem engineers. WIREs Water​, 8(1), e1494. DOI: 10.1002/wat2.1494. ↩︎

5. Laland, K.N., Odling-Smee, F.J., & Feldman, M.W. (1999). Evolutionary consequences of niche construction and their implications for ecology. Proceedings of the National Academy of Sciences​, 96(18), 10242–10247. DOI: 10.1073/pnas.96.18.10242. ↩︎

6. ASM Microbiology. (2022). The Great Oxidation Event: How Cyanobacteria Changed Life. ASM.org. https://asm.org/articles/2022/february/the-great-oxidation-event-how-cyanobacteria-change ↩︎

7. Raatikainen, P. (2025). Gödel's Incompleteness Theorems — Supplement: The Diagonalization Lemma. Stanford Encyclopedia of Philosophy​. https://plato.stanford.edu/entries/goedel-incompleteness/sup2.html ↩︎

8. Kleene, S.C. (1952). Introduction to Metamathematics​. North-Holland Publishing. (Theorems first proved 1938.) See also: Kleene's recursion theorem. Wikipedia​. https://en.wikipedia.org/wiki/Kleene%27s_recursion_theorem ↩︎

9. Rosen, R. (1991). Life Itself: A Comprehensive Inquiry into the Nature, Origin, and Fabrication of Life​. Columbia University Press. ↩︎

10. Kauffman, L.H. (2003). Eigenforms — Objects as Tokens for Eigenbehaviors. Cybernetics and Human Knowing​, 10(3–4), 73–90. http://homepages.math.uic.edu/~kauffman/Eigen.pdf. See also: von Foerster, H. (1976). Objects: Tokens for (Eigen-)Behaviors. ASC Cybernetics Forum​, 8(3–4), 91–96. Reprinted in von Foerster, H. (2003). Understanding Understanding: Essays on Cybernetics and Cognition​, Springer, pp. 261–271. ↩︎

11. Maturana, H.R. & Varela, F.J. (1980). Autopoiesis and Cognition: The Realization of the Living​. D. Reidel Publishing Company, Dordrecht. [library-only; formal definition confirmed via multiple secondary sources including Springer catalog and independent academic reviews] ↩︎

12. Mossio, M. & Moreno, A. (2010). Organisational closure in biological organisms. History and Philosophy of the Life Sciences​, 32(2–3), 269–288. PMID: 21162371. The quoted definition appears in §3 of the paper; see also Moreno, A. & Mossio, M. (2015). Biological Autonomy: A Philosophical and Theoretical Enquiry​. Springer. ↩︎

13. Cárdenas, M.L., Letelier, J.C., Gutierrez, C., Cornish-Bowden, A., & Soto-Andrade, J. (2010). Closure to efficient causation, computability and artificial life. Journal of Theoretical Biology​, 263(1), 79–92. DOI: 10.1016/j.jtbi.2009.11.010. PubMed: 19962389. ↩︎

14. Hofstadter, D.R. (1979). Gödel, Escher, Bach: An Eternal Golden Braid​. Basic Books. Hofstadter, D.R. (2007). I Am a Strange Loop​. Basic Books. ↩︎

15. Westra, A. (2010). Gödel, Hofstadter, & the Self: A Critical Review of Douglas Hofstadter's I Am a Strange Loop​. Numéro Cinq​, July 1, 2010. https://numerocinqmagazine.com/2010/07/01/godel-hofstadter-the-self-an-essay-by-adam-westra/. Nenu, T. (2022). Douglas Hofstadter's Gödelian Philosophy of Mind. Journal of Artificial Intelligence and Consciousness​, 9(2), 241–266. DOI: 10.1142/S2705078522500011. ↩︎ ↩︎

16. Scott-Phillips, T.C., Laland, K.N., Shuker, D.M., Dickins, T.E., & West, S.A. (2014). The niche construction perspective: a critical appraisal. Evolution​, 68(5), 1231–1243. PMC: 4261998. ↩︎

17. Maynard Smith, J. & Szathmáry, E. (1995). The Major Transitions in Evolution​. Oxford University Press / W.H. Freeman. West, S.A., Fisher, R.M., Gardner, A., & Kiers, E.T. (2015). Major evolutionary transitions in individuality. PNAS​, 112(33), 10112–10119. PMC: 4547252. Bourrat, P., Doulcier, G., Rose, C.J., Rainey, P.B., & Hammerschmidt, K. (2022). Tradeoff breaking as a model of evolutionary transitions in individuality and limits of the fitness-decoupling metaphor. eLife​, 11, e73715. DOI: 10.7554/eLife.73715. Banzhaf, W., et al. (2016). Defining and simulating open-ended novelty: requirements, guidelines, and challenges. Theory in Biosciences​, 135(3), 131–161. PubMed: 27194550. ↩︎ ↩︎ ↩︎ ↩︎

18. Fromhage, L. & Houston, A.I. (2022). Biological adaptation in light of the Lewontin-Williams (a)symmetry. Evolution​, 76(7), 1619–1624. PMC: 9544502. DOI: 10.1111/evo.14502. Otsuka, J. (2019). The Role of Mathematics in Evolutionary Theory​. Cambridge University Press. ↩︎ ↩︎

19. Charlesworth, D., Barton, N.H., & Charlesworth, B. (2017). The sources of adaptive variation. Proceedings of the Royal Society B​, 284, 20162864. PubMed: 28566483. DOI: 10.1098/rspb.2016.2864. ↩︎

20. Lewontin, R.C. (2000). The Triple Helix: Gene, Organism, and Environment​. Harvard University Press. [library-only; near-quote confirmed via PMC1083785 review article and multiple independent secondary sources] ↩︎

21. Van Valen, L. (1973). A new evolutionary law. Evolutionary Theory​, 1(1), 1–30. ↩︎

22. Antonovics, J., Thrall, P.H., Burdon, J.J., & Laine, A.L. (2011). Partial resistance in the Linum–Melampsora host-pathogen system: does partial resistance make the Red Queen run slower? Evolution​, 65(2), 512–522. PMID: 21029078. ↩︎

Further Reading#

• Rosen, R. (1991). Life Itself: A Comprehensive Inquiry into the Nature, Origin, and Fabrication of Life​. Columbia University Press. — The primary source for closure to efficient causation and (M,R)-systems; the full formal argument the article engages with. Most readers will not have encountered Rosen; this is the recommended first follow-up.
• Maturana, H.R. & Varela, F.J. (1980). Autopoiesis and Cognition: The Realization of the Living​. D. Reidel. — The foundational autopoiesis text. The formal definition the article quotes derives from this source; the book extends the argument to a general theory of self-producing systems beyond cell biology.
• Moreno, A. & Mossio, M. (2015). Biological Autonomy: A Philosophical and Theoretical Enquiry​. Springer. — The book-length development of constraint closure; the most formal and most recent of the four prior namings. A decade of specialist literature has absorbed it; a cross-disciplinary audience has not.
• Cárdenas, M.L., Letelier, J.C., Gutierrez, C., Cornish-Bowden, A., & Soto-Andrade, J. (2010). Closure to efficient causation, computability and artificial life. Journal of Theoretical Biology​, 263(1), 79–92. — The bridge paper. The published compatibilist position in the Rosen computability debate; available open access at hal.science/hal-00564468v1. Required reading for the formal strategy at Level 1.
• Hofstadter, D.R. (1979). Gödel, Escher, Bach: An Eternal Golden Braid​. Basic Books. — The starting point for the GEB-shaped reader; the article moves beyond this text, but it remains the richest exploration of strange loops for a general audience.
• Dawkins, R. (1982). The Extended Phenotype: The Long Reach of the Gene​. Oxford University Press. Williams, G.C. (1966). Adaptation and Natural Selection​. Princeton University Press. — The historical canonical statement of the gene-centered view and organism-environment asymmetry. The article engages the contemporary technical defense (Fromhage & Houston 2022) directly, but these texts are the cultural-touchstone versions the target audience is likely to have read.