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 · not part of Turing's work.

Everything above this line is Turing's, on its own terms. Everything below is a RAPT redescription of it. The kernel is downstream of nothing: Turing's system does not support or validate the kernel, and the redescription below earns orientation, not analytic purchase — see the two notes.

Because a reaction–diffusion system is already a field theory, its parts can be redescribed in the kernel's vocabulary. What follows is exactly that — a translation table, offered for orientation, not an analysis that earns anything Turing's own account lacks. Read it as a glossary between two languages describing the same system, and hold it to the honest standard stated just below it.

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`

What this table does not do. Each row is a redescription, not a discrimination. Every nonlinear coupled field system has an a·b-style feedback term; naming it T0-M adds a label, not a test. Turing already told us the unequal diffusion rates are what break uniformity; calling that break T0-P restates his insight in new words, it does not predict anything he did not or forbid anything he would allow. The honest tell is falsifiability: there is no reaction–diffusion system that would fail to map onto these primitives. A mapping that cannot fail is not saying anything about the specific system — it confirms only that the primitives are broad enough to absorb it. So this table earns orientation, not analytic purchase, and it should not be read as the kernel “explaining” Turing.

On the attractor / attractlet distinction — and its lineage. One could ask whether a given Turing pattern is a self-maintaining structure or one sustained only by continuous external feed. But for dissipative systems this is not a novel question the kernel is uniquely poised to settle: it is substantially the open/dissipative-vs-closed distinction of non-equilibrium thermodynamics — Prigogine's dissipative structures, which already describe order sustained by throughflow that relaxes when the flow stops. The kernel's SOV / attractlet vocabulary re-expresses that distinction; it does not discover it. We flag it here as inherited, not original, precisely so the vocabulary is not mistaken for a new result.

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 redescribes Turing's system in canonical vocabulary; it does not analyse it, and it does not yet earn a discrimination Turing's own account lacks. 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, vol. 237, no. 641, pp. 37–72, 1952. DOI 10.1098/rstb.1952.0012 (volume, issue, pages and year stated with confidence; DOI digits believed correct but not independently re-verified here).