The Tristram Shandy Paradox

Does "complete" mean what we think it means? Russell's argument shows that Tristram's autobiography would be complete in the sense of omitting no day. This is a set-theoretic sense of completeness: every element of one set is matched to an element of another. It does not mean the autobiography has a final page, or a concluding chapter, or that the last day of Tristram's life is written about at some particular year. The autobiography grows without bound and has no endpoint.

The finishing paradox. If Tristram lives forever, when does he write about his last day? He does not have one. If he has a last day, he will not reach it in finite time. The autobiography is complete in the sense that no finite day is omitted, but it has no completion in the sense of a terminal event.

What Russell was really illustrating. Russell used the story to make a pedagogical point about infinite cardinals: that a proper subset of an infinite set can have the same cardinality as the whole set. This is Dedekind's definition of an infinite set — a set is infinite if and only if it can be put in bijection with a proper subset of itself. Tristram's project is a vivid illustration of Dedekind-infinity.

Laurence Sterne published the first volumes of The Life and Opinions of Tristram Shandy, Gentleman in 1759. The joke of the novel is that Tristram cannot tell his story straight: digressions multiply faster than the narrative advances. By the time Sterne wrote volume seven, Tristram had still not been born. The novel is a comic meditation on the impossibility of autobiography and the digressive nature of consciousness.

Bertrand Russell, in The Principles of Mathematics (1903), found in the novel's central conceit a perfect illustration of Cantor's arithmetic of infinity. Russell was making the serious mathematical point that an infinite set can be matched to a proper subset — a point Cantor had established but that remained counterintuitive. The Tristram Shandy story made it memorable.

The paradox is now a standard teaching example in the philosophy of mathematics and set theory.

It makes the arithmetic of the infinite concrete and memorable. The abstract claim that countably infinite sets can be matched to proper subsets of themselves is hard to internalise. Tristram Shandy makes it vivid: a man falls further behind every year, yet eventually writes about every day.

It separates two senses of "completion." A process can be "complete" in the sense that no item is omitted, without being "complete" in the sense of reaching a terminal event. This distinction matters in mathematics (convergence vs. terminability), in computer science (termination vs. coverage), and in philosophy (what we mean when we say a task is done).

It is Russell's most accessible illustration of set theory. At a time when Cantor's ideas were still controversial and confusing, Russell's use of Tristram Shandy provided a narrative handle on concepts that were otherwise entirely abstract.

Infinite computation. A computation that runs forever but eventually produces every correct output — a "fair" computation — is the Tristram Shandy model in computing. Fairness conditions in concurrent systems are requirements that every enabled action is eventually taken, even if the process never terminates.

Infinite databases. Database queries over potentially infinite streams of data face analogous questions: can a query "eventually" return every matching record, even if the stream never ends? The distinction between "eventually covered" and "terminably covered" is practically important in streaming systems.

The formal argument

Let $D = {1, 2, 3, \ldots}$ be the set of days of Tristram's life. Let $Y = {1, 2, 3, \ldots}$ be the set of years of his life.

Define the writing schedule: day $d$ is written about during years $2d - 1$ and $2d$.

Define $f: D \to Y$ by $f(d) = 2d - 1$ (the first year in which day $d$ is written).

$f$ is an injection: if $f(d_1) = f(d_2)$ then $2d_1 - 1 = 2d_2 - 1$ so $d_1 = d_2$.

For every $d \in D$, $f(d) \in Y$ is well-defined. So every day has an assigned year in which it begins to be written.

For any $d$, $f(d) = 2d - 1 < \infty$. So every day is reached in finite time.

Therefore: every day of Tristram's life is written about in finite years, and the autobiography is complete in the set-theoretic sense.

Note that $f$ is not a bijection onto $Y$: the even years $2, 4, 6, \ldots$ are the second years of each day's writing, and are in the range of $g: D \to Y$ where $g(d) = 2d$. Together, $f$ and $g$ cover all of $Y$: the schedule uses every year exactly once.

Dedekind-infinite sets

Richard Dedekind defined an infinite set as one that is equinumerous with a proper subset of itself. The natural numbers $\mathbb{N}$ are infinite by this definition: the map $n \mapsto n + 1$ is a bijection from $\mathbb{N}$ to ${1, 2, 3, \ldots} = \mathbb{N} \setminus {0}$ (or from ${1, 2, \ldots}$ to ${2, 3, \ldots}$).

Tristram's project maps days (a copy of $\mathbb{N}$) injectively into years (another copy of $\mathbb{N}$) with all of years covered. This is a bijection between $\mathbb{N}$ and itself — a non-startling fact — but the narrative makes the non-intuitiveness of Dedekind-infinity vivid.