Works › What is Cantor's Continuum Problem?
Work #1564 · Middle-to-late period

What is Cantor's Continuum Problem?

Gödel's 1947 American Mathematical Monthly paper — philosophical reflection on the Continuum Hypothesis

Kurt Gödel · 1947 (revised and expanded 1964) · English · Philosophical-mathematical paper

Tradition: Mathematical logic / philosophy of mathematics / mathematical Platonism

Gödel's 1947/1964 'What Is Cantor's Continuum Problem?' — the Platonist statement of his philosophy of mathematics

Originally published in the American Mathematical Monthly 54 (1947), pp. 515-525, and substantially expanded in 1964 (in the first edition of Paul Benacerraf and Hilary Putnam, eds., 'Philosophy of Mathematics: Selected Readings'), 'What is Cantor's Continuum Problem?' is Gödel's most explicitly philosophical paper. He argues that the Continuum Hypothesis (CH) — the claim that there is no infinite set whose cardinality is strictly between that of the integers and that of the real numbers (Cantor 1878) — has a definite truth-value, despite being independent of the Zermelo-Fraenkel set-theoretic axioms (Gödel had himself proven CH consistent with ZFC in 1940; Paul Cohen would prove it independent in 1963, between Gödel's two versions of the paper). The 1947 paper sets out Gödel's position; the 1964 supplement, written in the months after Cohen's result, defends the same realist-Platonist position now that the formal independence is established. Gödel's central thesis: the universe of sets is a real abstract structure that the ZFC axioms only partially describe; new axioms — based on mathematical intuition — may settle CH; the question is whether the human mathematician has the cognitive equipment to recognise such new axioms. The 1964 supplement contains the famous passage: 'Despite their remoteness from sense experience, we do have something like a perception also of the objects of set theory.' The paper is the canonical statement of mathematical Platonism in the analytic tradition, continuously cited and debated in philosophy of mathematics since.

Author

Editions cited

  • What Is Cantor's Continuum Problem?, American Mathematical Monthly 54 (1947), pp. 515-525
  • Expanded version in Philosophy of Mathematics: Selected Readings, ed. Paul Benacerraf and Hilary Putnam (Prentice-Hall, 1964; 2nd ed. Cambridge, 1983)
  • Critical edition in Kurt Gödel, Collected Works, Vol. II: Publications 1938-1974, ed. Solomon Feferman et al. (Oxford, 1990)
  • Commentary: George Boolos, Logic, Logic, and Logic (Harvard, 1998); Penelope Maddy, Realism in Mathematics (Oxford, 1990)
Compare this work

School Embodiments

Platonism (Classical) · 32%
Logicism · 26%
Realism · 22%
Rationalism · 10%
Structuralism · 6%
Platonism (Classical) 32%

Canonical statement of mathematical Platonism in the analytic tradition.

"Despite their remoteness from sense experience, we do have something like a perception also of the objects of set theory." (What is Cantor's Continuum Problem?, 1964 supplement)
Logicism 26%

Major paper in twentieth-century philosophy of mathematics.

"What is Cantor's Continuum Problem?" (Title — defining philosophical-mathematical question)
Realism 22%

Mathematical realism about sets and their structure.

"The objects of transfinite set theory exist independently of our constructions." (What is Cantor's Continuum Problem?)
Rationalism 10%

Rationalist-Platonist intuition of mathematical objects.

"Mathematical intuition has a status analogous to sense perception." (What is Cantor's Continuum Problem?)
Structuralism 6%

Structural-set-theoretic framework.

"The cumulative hierarchy of sets." (What is Cantor's Continuum Problem?)

Internal Tensions

Canonical twentieth-century statement of mathematical Platonism. Continuously cited in philosophy of mathematics; the central reference point for the realist position against constructivism (Brouwer), formalism (late Hilbert), nominalism (Field, Burgess and Rosen), and structuralism (Shapiro, Resnik). The 'large cardinal' research programme since Gödel has been driven in part by his proposal that new axioms might settle CH.

⧖

I. Time

1947 first version; 1964 substantially expanded version (after Cohen's 1963 independence proof).

Attributes
Extent: Infinite Ontological Status: Substantival Grain: Continuous Freedom: Deterministic Traversability: Linear Direction: Uni-directional Dimensionality: One
✦

II. Space

Institute for Advanced Study, Princeton — Gödel's institutional base from 1940 until his 1978 death.

Attributes
Extent: Infinite Ontological Status: Substantival Curvature: Curved Dimensionality: Three Locality: Local
◉

III. Matter

Single philosophical paper (~10 pages in original 1947; ~30 pages with 1964 supplement). Form is essay-philosophical: Gödel sets out the mathematical situation, then the philosophical interpretation.

Attributes
Extent: Infinite Ontological Status: Substantival Conservation: Conserved Dimensionality: Three Locality: Local
◎

IV. Observer

Middle-to-late Gödel. The 1947 paper is by the Gödel who had proven the consistency of CH (1940); the 1964 supplement is by the Gödel responding to Cohen's just-published independence result.

Attributes
Time Instance: Single Space Instance: Single Knowledge Extent: Mediated Knowledge Retainment: Total Physicality: Embodied Agency: Active Number: Plural Metaphysical Agency: Impersonal
⚡

V. Energy

Philosophical-Platonist energies. The paper is Gödel's most explicit philosophical statement of his mathematical realism.

Attributes
Extent: Infinite Ontological Status: Substantival Conservation: Conserved Dispersibility: Irreversible
⧉

VI. Information

Short paper plus substantial 1964 supplement. Together they constitute Gödel's principal philosophical-mathematical statement.

Attributes
Ontological Status: Substantival Cosmic Conservation: Conserved Personal Conservation: Conserved Granularity: Continuous

Personas that cite this work

Kurt Gödel Hilary Putnam

Personas with the nearest attribute fingerprint

Historical figures whose own classification on the same six-dimensional grid lands closest to this work's. Computed by attribute-agreement on coordinates both address.

97%
Kurt Gödel
33/34
93%
Thales of Miletus
27/29
91%
Gottlob Frege
31/34
91%
Rudolf Carnap
31/34
91%
Anaxagoras of Clazomenae
30/33
90%
Anaximander of Miletus
27/30

Computed school proximity

The work's attribute fingerprint scored against all schools using the same quiz scorer. Useful as a sanity check on the hand-curated embodiments above.

69%
Latin Averroism
20/26
68%
Newtonianism
22/26
66%
Virtual Realism
21/26
65%
Islamic Philosophy / Falsafa
20/26
65%
Structuralism
20/26
64%
Mechanism
20/26
64%
Milesian School
20/26
64%
Eternalism
20/26

How What is Cantor's Continuum Problem? resolves each dilemma

34 resolved positions across 4 dimensions, including 6 distinctive where the majority of schools go the other way · 23 unaligned.

Each dimension is sorted so minority positions come first. Mainstream positions are folded into an expandable list.

Time · 9 dilemmas · 5 distinctive

Persistence, the future, and the direction of becoming.

Distinctive · only 9% of schools agree (18/202)
Do you really choose?
If the brain is a physical system and physical systems are governed by laws, then every choice is also a chain of causes — which raises the question of what was really left to choose.
Choice is real within a determined order — agency and determinism aren’t opposites.
On this view, the future is determined and you are genuinely choosing. Those aren't contradictory because the determination runs through you rather than around you: your reasoning, deliberation, and assent are the way the determined outcome gets settled. Choice is what it feels like from …
Roads not taken The future is open and you are a genuine origin of it. (69%) · Choice is structural illusion — every event is fixed by the prior state. (10%) · Even if the universe is undetermined, you are not the chooser. (6%)
Distinctive · only 9% of schools agree (18/202)
Are addicts responsible for their addiction?
Addiction looks from one angle like the textbook case of agency failing — a person doing what they don't, in any meaningful sense, want to do. From another angle it looks like agency at work in hard conditions. Which it is depends on what agency is.
The addict is genuinely responsible within a determined order.
On this view, the addict is acting within a determined order but is genuinely acting — making decisions, endorsing or resisting urges, seeking or refusing help. Responsibility attaches not because some uncaused choice happened, but because the addict is the kind of agent through which …
Roads not taken The addict could have chosen otherwise — that's why recovery is real. (69%) · The addict's behaviour is the outcome of causes; 'responsibility' is a useful fiction, not a metaphysical fact. (10%) · Even if the universe is undetermined, the addict isn't the chooser. (6%)
Distinctive · only 9% of schools agree (18/202)
Should we hold AI systems responsible for what they do?
When an autonomous AI takes an action that harms someone, the question of who or what is responsible — the developer, the operator, the model itself — turns on whether the model is the kind of thing that can be a responsible agent.
The AI can be a genuine agent within determined conditions — and therefore genuinely responsible.
On this view, what makes a being responsible is not indeterminism but the kind of process the being is. An AI that deliberates, considers consequences, can be given reasons, and modifies its behaviour on reflection is doing what responsible agency is, even if its underlying …
Roads not taken An AI without a free will is not the kind of thing that can be responsible. (69%) · An AI's behaviour is fully determined by training and input; 'responsibility' applies if at all to its makers. (10%) · Neither AIs nor anyone else are the locus of free agency; the question is the wrong one. (6%)
Distinctive · only 15% of schools agree (31/202)
Is the universe running out of usable energy?
The heat death of the universe — entropy maxed out, no further work possible — is among the more sobering implications of mainstream physics. Whether it is structurally inescapable depends on what kind of finitude the cosmos has.
Both time and matter are unbounded; 'running out' is misframed.
On this view, the cosmos has neither a temporal horizon nor a material exhaustion point. The framing of running out presupposes bounds that the cosmos doesn't have. Energy gradients perpetuate; new configurations emerge; the categories that make heat-death scary don't apply at the cosmic scale.
Roads not taken Time is unbounded but matter is finite; usable energy can fail without time failing. (47%) · Time both has and lacks bounds depending on the level you ask at; finitude is conventional. (26%) · The cosmos has bounds; heat death is a real horizon. (12%)
Distinctive · only 15% of schools agree (31/202)
Are natural resources fundamentally finite, or only practically so?
Whether we can grow our way out of resource constraints — or whether the cosmos sets limits the economy ultimately must obey — depends on what kind of finitude matter has.
Resources are practically inexhaustible on cosmic scales; terrestrial limits are engineering.
On this view, matter and time are both unbounded at the largest scales. Terrestrial resource limits are real engineering and political constraints but not metaphysical ones; the cosmos can in principle support whatever expansion intelligence is capable of.
Roads not taken Time goes on but matter is bounded; we are eventually constrained even with infinite time. (47%) · The finitude question is level-dependent; resource ethics happens at the level that constrains us. (26%) · Resources are finite in the strict sense; living well requires accepting the limit. (12%)
4 mainstream positions
Could we owe future generations more than is materially possible to provide? Both time and matter are unbounded; we cannot in principle owe more than is possible. 15% How much weight do future people deserve? Future people are as real as you are — and their interests count for as much. 47% Is regret rational? The past is as real as the present; regret is a real attitude toward a real thing. 47% Do we owe extinct species something we cannot give them? Extinct species are as real as we are; they have standing. 47%
Matter · 7 dilemmas, all mainstream
Is the world created from nothing? Yes — matter was created and is conserved as a real substance. 55% Is the physical world fully real? Yes — the physical world is fully real, mind-independent, persisting. 55% Does matter have intrinsic moral standing? Matter is morally considerable insofar as it is created or conserved good. 55% What is money? Money is a real institution with intrinsic features. 54% What is a nation? A nation is a real moral community with intrinsic character. 54% What makes someone male or female? Sex is a real biological kind with given content. 54% Should we edit the human germline? Human nature is a real biological kind given by reproductive biology or by creation; editing the germline transgresses what is given. 54%
Observer · 37 dilemmas, all mainstream
Could causation work backwards? Causation runs one way — the arrow of time is real and structural. 68% Is the asymmetry between memory and anticipation a real feature of time, or just of us? The asymmetry is real because time itself has a real direction. 68% Is the arrow of time a real feature of the cosmos, or only of how we describe it? The arrow is real and structural; the asymmetry isn't an artifact of description. 68% Is environmental damage ever truly permanent? Damage is real and permanent on the relevant timescales. There is no recovery; there is only limitation. 66% Can a civilization recover from collapse? Civilizational complexity is hard to build and easy to lose; recovery is at best partial. 66% Does the second law of thermodynamics mean something morally? Entropy is what time is. The moral weight, if any, is the weight of working against the current. 66% When does a person begin? A person exists from conception — when a new being comes into existence. 54% What is marriage? Marriage has a given form — it’s a kind of thing we recognize, not make. 54% What is our place in nature? Active in a real nature — we cultivate, steward, transform. 48% Should we colonize space? Cultivating worlds beyond Earth is the next form of stewardship. 48% Is genetic engineering of food stewardship or domination? Genetic modification is cultivation by other means. 48% Should we trust expert testimony when we can't verify it? Trust expertise whose conclusions a competent mind can in principle reproduce. 32% Is religious revelation a real source of knowledge? Revelation is evaluable by reason — and not above it. 32% Does an LLM 'know' the things it correctly produces? An LLM can produce correct outputs but not reason to them; useful, not knowing. 32% Are coincidences ever more than coincidence? — — Are the dead morally present to the living? — — Are there indivisible units of experience? — — Can prayer for someone far away affect them? — — Could a fetal brain organoid in a petri dish be conscious? — — Could an AI have a mind that matters? — — Do animals have moral standing comparable to humans? — — Does environmental harm in another country bind me morally? — — Does history have a direction or meaning? — — Does meditation reveal something genuinely timeless? — — Does prayer change God's mind? — — How is knowledge of reality produced? — — If a teleporter copied and destroyed you, would you have survived? — — Is divine omniscience compatible with human freedom? — — Is memory stored or reconstructed? — — Is reality fundamentally digital? — — Is salvation, liberation, or fulfillment individual or communal? — — Is the late-stage dementia patient still the person their spouse married? — — Is truth universal, tradition-bound, situated, or constructed? — — What happens to "you" when you die? — — What kind of religious-theological authority does the tradition recognize? — — What makes someone the same person over time? — — Who is the moral primary — the individual, the community, the cosmos, the class, or the species? — —
Information · 4 dilemmas, all mainstream
Is anything truly lost when someone forgets? Information is conserved — the personal pattern is held even when an individual mind loses it. 39% Does deleting your data online destroy something real? Information at the cosmic level isn't destroyed; deletion only obscures access. 39% Could the dead, in principle, be brought back? The information that constitutes a person is conserved; restoration is in principle possible. 39% Is forgiveness ontologically possible? The offense persists ontologically; forgiveness is real moral work, but it doesn't erase what was. 39%
← #1563 The Consistency of the Axiom of Choice and the Generalized Continuum Hypothesis All Works #1565 Gödel's Ontological Argument →