# Mathematical and theoretical biology
Mathematical and theoretical biology treats living systems as mechanisms that can be written down: [[Population_dynamics|population dynamics]] as [[Differential_equation|differential equations]], development as [[Reaction–diffusion_system|reaction–diffusion]] chemistry, nerve impulses as [[Nonlinear_system|nonlinear]] circuit equations, [[Evolution|evolution]] as changes in allele frequencies and payoffs. The mathematical wing builds and solves the models; the theoretical wing asks which principles — [[Feedback|feedback]], [[Self-organization|self-organization]], selection — make [[Biology|biology]] lawful at all. The field's track record is a century of exported machinery: Lotka–Volterra cycles feeding [[Theoretical_ecology|theoretical ecology]], epidemic thresholds steering public health, Turing patterns seeding [[Emergence|emergence]] research, and McCulloch–Pitts neurons seeding [[Neural_network_(machine_learning)|neural networks]] — which is why this hub reads biology as the great natural laboratory of [[Complex_system|complex systems]].
## Growth laws and their saturation
The founding calculation is Malthus (1798): unchecked reproduction is exponential, N(t) = N₀e^(rt), doubling every ln 2/r. Verhulst's 1838 logistic equation, dN/dt = rN(1 − N/K), added the first [[Negative_feedback|negative feedback]] — crowding — and produced the S-curve with carrying capacity K that still anchors [[Population_growth|population-growth]] teaching and fisheries practice. The deeper lesson arrived in 1976, when Robert May showed that the innocent discrete version, N_{t+1} = rN_t(1 − N_t), runs through period-doubling into full [[Chaos_theory|chaos]] as r climbs — a [[Bifurcation_theory|bifurcation]] cascade by which a one-line [[Population_model|population model]] taught a generation of scientists that simple [[Dynamical_system|dynamical systems]] can forbid long-range forecasting. Ecology thus supplied [[Attractor|attractors]] and chaos to physics as much as the reverse, a point [[Theoretical_ecology|theoretical ecology]] has owned ever since.
## Interaction: predators, prey, pathogens
Coupling two populations made oscillation endogenous. Lotka (1925) and Volterra (1926) independently wrote the predator–prey pair dx/dt = ax − bxy, dy/dt = −cy + dxy, whose closed orbits explained cycling fish catches without any external driver — rhythm as a property of the [[Feedback|loop]], not the environment. Kermack and McKendrick (1927) partitioned a population into susceptible, infected, and recovered compartments and found the sharp threshold that governs epidemics: an outbreak grows only if the basic reproduction number R₀ exceeds 1, and herd immunity arrives at a vaccinated fraction of roughly 1 − 1/R₀ — about 92–95% for measles, whose R₀ is commonly put at 12–18. These low-dimensional models remain decision instruments: the same [[Ordinary_differential_equation|ODE]] skeletons, refitted with modern [[Statistics|statistics]] and stochastic corrections via [[Monte_Carlo_method|Monte Carlo]] simulation, ran underneath COVID-era policy debates, with [[Spatial_ecology|spatial ecology]] adding geography and [[Ecosystem|ecosystem]] context supplying the food webs.
## Pattern from uniformity
Alan Turing's 1952 paper on the chemical basis of morphogenesis posed development's core puzzle in two equations: how does a symmetric ball of cells acquire stripes, spots, and digits? His answer — a [[Reaction–diffusion_system|reaction–diffusion system]] in which a slow-diffusing activator and fast-diffusing inhibitor make the uniform state unstable — showed that [[Diffusion|diffusion]], usually a smoother, can create structure, the canonical example of [[Self-organization|self-organization]] in a [[Partial_differential_equation|PDE]]. Fisher had already computed in 1937 that an advantageous gene spreads as a traveling wave at speed 2√(rD), tying [[Evolution|evolutionary]] genetics to the same diffusive mathematics. The tradition runs back to D'Arcy Thompson's *On Growth and Form* (1917) — shells as logarithmic spirals, phyllotaxis shadowing the [[Fibonacci_sequence|Fibonacci sequence]] — and forward to modern developmental models where [[Simulation|simulation]] tests which gene networks can actually draw the observed [[Emergence|emergent]] patterns.
## Excitable wires: from squid axon to neural nets
Hodgkin and Huxley's 1952 model of the squid giant axon — four coupled [[Ordinary_differential_equation|ODEs]] tracking membrane voltage and three ion-channel gates — reproduced the action potential quantitatively and earned a 1963 Nobel Prize; it remains the exemplar of mechanism captured in equations, the founding artifact of [[Computational_neuroscience|computational neuroscience]], and the reason cardiac arrhythmias are studied as malfunctioning [[Oscillation|oscillations]] and spiral waves in excitable media. Nine years earlier, [[Warren_Sturgis_McCulloch|Warren McCulloch]] and [[Walter_Pitts|Walter Pitts]] (1943) had abstracted the neuron the other direction — into a threshold [[Logic|logic]] unit — proving networks of them could compute any finite logical function. That abstraction, not the biophysics, became [[Neural_network_(machine_learning)|machine-learning neural networks]] and modern [[Artificial_intelligence|AI]]; the two lineages, biophysical [[Neural_circuit|circuit]] modeling and computational abstraction, still trade insights across [[Neuroscience|neuroscience]] and [[Biocybernetics|biocybernetics]].
## Evolution as a game
Population genetics got its mathematical constitution from Fisher, Haldane, and Wright between 1918 and 1932, reconciling Mendelism with gradual [[Evolution|evolution]] and defining fitness as an accounting identity. Hamilton (1964) priced altruism — help kin when rb > c — and Maynard Smith and Price (1973) imported [[Game_theory|game theory]] wholesale: a strategy is an [[Evolutionarily_stable_strategy|evolutionarily stable strategy]] if, once common, no rare mutant strategy earns more. [[Evolutionary_game_theory|Evolutionary game theory]] replaced rational players with replicator dynamics, explaining hawk–dove standoffs, sex ratios near ½, and cooperation sustained by reciprocity — results that flowed back into [[Economics|economics]] and [[Decision_theory|decision theory]] as bounded-rationality foundations. The engineering echo is direct: [[Genetic_algorithm|genetic algorithms]] and [[Evolutionary_computation|evolutionary computation]] run selection as an [[Mathematical_optimization|optimization]] heuristic, closing the loop between biological theory and design practice.
## From equations to networks, automata, and cells-in-silico
Where classical models track concentrations — Michaelis–Menten enzyme kinetics (1913), v = V_max[S]/(K_M + [S]), is still every biochemist's first equation — the modern field increasingly tracks structure and individuals. [[Stuart_Kauffman|Stuart Kauffman's]] random Boolean networks (1969) modeled gene regulation as [[Directed_graph|directed graphs]] of switches and found ordered regimes at low connectivity, an early [[Network_theory|network-theoretic]] account of cell types; today's [[Systems_biology|systems biology]] and [[Modelling_biological_systems|whole-pathway modeling]] fit [[Cellular_model|cellular models]] to omics data. [[John_von_Neumann|Von Neumann's]] self-reproducing automata and [[Conway's_Game_of_Life|Conway's Game of Life]] (1970) planted [[Cellular_automaton|cellular automata]] and [[Artificial_life|artificial life]]; [[Agent-based_model|agent-based models]] and [[Swarm_behaviour|swarm]] simulations now let heterogeneity and space back in, with Gillespie's 1976 algorithm supplying exact stochastic chemistry. The through-line from [[Ludwig_von_Bertalanffy|von Bertalanffy's]] open-system growth equations to this toolchain is the hub's own thesis: organisms are [[Biological_system|biological systems]] — [[Homeostasis|homeostatic]], hierarchical, evolvable — and mathematics is how that claim gets tested.
**On the spine:** [[Population_dynamics]] · [[Reaction–diffusion_system]] · [[Evolutionary_game_theory]] · [[Systems_biology]] · [[Cellular_automaton]].
## Wikipedia : Wikitube
**Strict pair:** [Wikipedia](https://en.wikipedia.org/wiki/Mathematical_and_theoretical_biology) : [Wikitube](https://en.wikitube.io/wiki/Mathematical_and_theoretical_biology)
## Previous hub tags
Hubs: `Systems`. Portals: [[PORTAL_Systems]], [[PORTAL_Cellular_automaton]], [[PORTAL_Game_theory]], [[PORTAL_Graph_theory]], [[PORTAL_Decision_theory]].
---
*Repopulated 2026-08-12 · redlink fill · 0 deletions.*