The Chemical Basis of Morphogenesis Alan Turing · reaction–diffusion · the mathematics of pattern formation

Alan Turing — The Chemical Basis of Morphogenesis

Alan Mathison Turing, 1912–1954 · morphogenesis paper published 1952

In the last major paper he published, Alan Turing asked how a uniform, featureless mass of cells could spontaneously develop structure — spots, stripes, whorls, the arrangement of an embryo's parts. He called the origin of biological form morphogenesis, and he gave it a mathematical account so unexpected it took decades to be confirmed in the laboratory.

His answer was diffusion-driven instability. Two chemicals — Turing called them morphogens — react with each other while spreading through tissue. Intuition says diffusion should smooth differences away. Turing proved the opposite can happen: if one morphogen diffuses faster than the other, diffusion can destabilise the uniform state and drive it into a stable spatial pattern. That counterintuitive result is the heart of what the world now calls a Turing pattern.

The equations

A discrete, grid-indexed (activator–inhibitor) form of Turing's reaction–diffusion system — the shape you would implement to run it on a lattice and watch pattern emerge. Two coupled fields a and b over grid cells (i, j):

∂a/∂t = s (16 − a_i,j b_i,j) + D_a ∇²a ∂b/∂t = s (a_i,j b_i,j − b_i,j − β_i,j) + D_b ∇²b

Each equation has the same two-part shape:

A local reaction term — the s(…) part, where the product a·b is the nonlinear coupling between the two morphogens. The constant 16 is a feed term, β a decay/removal parameter, s a reaction-rate scaling.
A diffusion term — the D ∇² part, the spatial spreading. The two coefficients D_a and D_b being different is the essential condition: unequal diffusion rates are what make patterns form rather than fade.

From a nearly-uniform start, systems of this form spontaneously produce spots, stripes, labyrinths, and spirals — the same motifs seen on animal coats, seashells, and in developing tissue. Turing, who was among the first to think about simulating such systems on a computer, opened an entire field of mathematical biology with them.

Reading Turing through the RAPT kernel

Downstream section · a lens the RAPT framework offers on Turing's system — not a claim about Turing, and not part of his work.

Candidate correspondence V1–V2 · not empirical alignment Downstream

Everything above this line is Turing's, presented on its own terms. Everything below is a downstream RAPT-RFT reading (§ 16) applied to it. The kernel is downstream of nothing: Turing's system does not support, validate, or modify the kernel; the kernel only offers a structural lens on it.

A reaction–diffusion system is close to an ideal candidate for the kernel's RAPT domain-field layer (RAPT-RFT), because it is already a field theory. Applying RAPT means treating its fields as a domain and checking them against the framework's primitives — introducing no chemistry, asserting no ontology. The mapping:

Turing's system	Kernel reading	Primitive / construct
The two morphogen fields `a`, `b`	The RAPT domain fields	`RAPT-RFT` § 16
Nonlinear coupling `a·b` (each field conditioning the other)	Feedback: structure conditions on its own state	`T0-M` Self-Reference
Differential diffusion `D_a ≠ D_b` destabilising uniformity	Uniform (unresolved) ≠ patterned (resolved); a directional break	`T0-P` Asymmetric Admissibility
Local neighbour coupling of the `∇²` lattice	Influence restricted to bounded neighbour relations	`T0-σ` Adjacency
A pattern, once formed, persisting	A coordinated basin exhibiting structural + temporal stability	`ATX-COORD` / `RST-COMP`

The load-bearing correspondence is the diffusion asymmetry. Turing's whole insight — that unequal spreading rates destabilise the uniform state into pattern — reads in kernel terms as T0-P: the unresolved uniform configuration is not equivalent, with respect to admissible transitions, to the resolved patterned one. That asymmetry is what the framework would say makes the break toward a coordinated basin possible at all.

A RAPT reading is a lens, not a verdict. It classifies Turing's system with existing kernel constructs; it adds nothing to the chemistry and takes nothing from Turing.

Attractor or attractlet? Whether any given Turing pattern is a sovereign attractor or merely an attractlet is the open question, decided by the four SOV conditions — not by how stable the pattern looks. A pattern sustained only by continuous external feed/forcing is an attractlet; one that self-maintains its own boundary conditions is a candidate sovereign attractor. Per the kernel's validation discipline (§ 14.3): a simulation is an attractlet model unless proven otherwise; visual stability alone is insufficient.

Boundary Notice

The tribute (top) presents Alan Turing's 1952 morphogenesis mathematics on its own terms, correctly attributed to him. The lower section is a downstream RAPT-RFT reading — candidate structural correspondence (V1–V2), not empirical alignment — introducing no primitives and asserting no domain ontology. It applies canonical constraints; it does not modify, reinterpret, or extend them, and it cannot be cited upward: no external system validates or supports the kernel. Where any summary here differs from the canonical text, the kernel governs.

Reference. A. M. Turing, “The Chemical Basis of Morphogenesis,” Philosophical Transactions of the Royal Society of London, Series B, 1952.

UNRESOLVED SOURCE (volume / page range / DOI not verified here) — retrieval identifier to be confirmed before this citation is treated as admissible under CR₁.