Alfred North Whitehead

Life and Context

Whitehead began as a Cambridge mathematician (Senior Wrangler examiner, Fellow of Trinity), collaborated with his student Bertrand Russell, then turned to philosophy. His trajectory mirrors the 20th-century shift from foundations to process.

Principia Mathematica (1910–1913)

Written with Russell, Principia attempted to derive all mathematics from pure logic. After 362 pages of definitions, Theorem *110.643 proves $1+1=2$.

Core aims

• Logicism: numbers are classes of classes; mathematics = logic.
• Type Theory: to block Russell's paradox $R = \{x \mid x \notin x\}$.
• Ramification: propositional functions stratified by order.

Notation and Proof Sketch

Define $0 = \{\emptyset\}$, $1 = \{\{x\}: x=x\}$, $2 = \{\{x,y\}: x \neq y\}$. Addition is defined via disjoint union of representatives.

PM *54.43  ⊢ 1 + 1 = 2
Proof outline:
1. 1 = α̂(∃x. α={x})
2. 1+1 = α̂(∃β,γ. β∈1 ∧ γ∈1 ∧ β∩γ=∅ ∧ α=β∪γ)
3. Any such β,γ are singletons {x},{y}, x≠y
4. Hence α = {x,y} with x≠y, i.e., α∈2   ∎

This laborious construction exposed the gap between logical purity and mathematical practice — motivating Gödel and Turing.

Process and Reality (1929) — Process Philosophy

Whitehead's magnum opus replaces substance metaphysics with an ontology of becoming. Reality is not made of enduring things, but of momentary actual occasions.

Key concepts

"The actual world is a process, and the process is the becoming of actual entities." — Process and Reality, p.22

Categories of Existence

Whitehead lists 8 categories: Actual Entities, Prehensions, Nexus, Subjective Forms, Eternal Objects, Propositions, Multiplicities, Contrasts. This is an early process algebra — composition is non-commutative because order of prehension matters.

Whitehead's Theory of Gravitation (1922)

Uneasy with Einstein's variable spacetime geometry, Whitehead proposed in The Principle of Relativity a Lorentz-invariant field theory on flat Minkowski background $\eta_{\mu\nu}$.

Core differences from Einstein

• Background: $\eta_{\mu\nu} = \mathrm{diag}(-1,1,1,1)$ fixed, not curved
• Gravity: symmetric tensor field $g_{\mu\nu}$ defined by retarded potentials, analogous to electromagnetism
• Philosophy: relations presuppose uniform spatiotemporal relatedness — "no variable geometry"

Mathematical form

For a mass $M$ with worldline $z^\alpha$, at field point $x^\alpha$, let $\xi^\alpha = x^\alpha - z^\alpha$ on past null cone ($\xi^\alpha \xi_\alpha =0$), and $w = -\xi^\alpha u_\alpha$. Then:

The equations of motion are geodesics of $g_{\mu\nu}$, but $g_{\mu\nu}$ is defined algebraically, not by nonlinear field equations.

Predictions and failure

Mathematics Beyond Principia

• Universal Algebra (1898): studied algebras with multiple operations — precursor to modern universal algebra and category theory.
• Extensive Abstraction (1919): points constructed from nested regions: $p = \lim \{R_n\}$ where $R_{n+1}\subset R_n$. Foundation for point-free topology and Whitehead point-free geometry.
• Process algebra: concrescence is an integral operator: $S_{t+1} = \alpha S_t + (1-\alpha) \int_{-\infty}^{t} K(t-s) dP_s + \epsilon$

Proof: uniqueness of concrescence fixed point

Assume bounded prehensions $|p_i|\le M$, weights $w_i = e^{-\lambda \Delta t_i}$ with $\sum w_i =1$. Then concrescence is a contraction: $|\sigma(a)-\sigma(b)| \le (1-e^{-\lambda})\max|a-b|$. By Banach fixed-point theorem, iteration converges to a unique actual occasion.

GNU Octave — Whitehead in Code

1. Ramified type checker

% type_check.m — prevents self-reference
function t = type_of(x, depth=0)
  if depth>10, error("type too deep"); end
  if isnumeric(x) && isscalar(x), t=0;
  elseif iscell(x)
    t = 1 + max(cellfun(@(y) type_of(y,depth+1), x));
  else t=NaN;
  end
end

% Example: type_of({1,{2,3}}) = 2; type_of({{x}}) > type_of({x})

2. Process concrescence simulation

% concrescence.m
N=500; lambda=0.08;
occasions = zeros(N,1); occasions(1)=0.5;
for t=2:N
  past = 1:t-1;
  w = exp(-lambda*(t-past)); w = w/sum(w);
  physical = sum(w' .* occasions(past));
  creativity = 0.02*randn;
  occasions(t) = 0.9*physical + 0.1*0.5 + creativity;
end
plot(occasions,'LineWidth',1.5); 
title('Concrescence — many become one');
xlabel('occasion'); ylabel('intensity');

3. Whitehead vs Newton potential

% whitehead_potential.m
G=1; M=1; c=1;
r = linspace(3,30,400);
phi_N = -G*M./r;
phi_W = -G*M./r .* (1 + G*M./(c^2*r)); % first-order retardation
phi_GR = -G*M./r - 1.5*(G*M).^2./(c^2*r.^2); % Schwarzschild expansion
plot(r,phi_N,'-', r,phi_W,'--', r,phi_GR,':','LineWidth',1.6);
legend('Newton','Whitehead','GR'); grid on

4. Nexus network — enduring objects

% nexus.m
n=80; A=sprand(n,n,0.06); A=0.5*(A+A'); % symmetric prehensions
[V,D]=eigs(A,3); plot(V(:,1),'o-'); 
title('Dominant eigenmode = stable society');

Interactive Demos

Why Whitehead matters today

From $\vdash 1+1=2$ to "the many become one", Whitehead traced a rare arc: rigorous logician to speculative metaphysician. His failed relativity theory is a textbook case of how philosophical commitments (uniformity of nature) shape physical formalism — and how experiment decides.

Process thought now informs ecology (interconnected becomings), quantum foundations (ontic process, QBism), and AI (agent societies). His extensive abstraction foreshadowed pointless topology used in modern spacetime approaches.