Travel 2,400 years from endless division at Elea through Kerala remainder terms and calculus limits to Cantor's unequal infinities and the axiomatic boundary drawn by Gödel and Cohen. This is a map of changing questions, not a victory story claiming infinity was conquered.
WHAT YOU SEE ON THIS RIVER
- Diagram in the sky
- Zeno's halving — a path split in half without end
- Emblem at the source
- Frames shrinking inward without end
- The real place around each stop
- Around each stele the land takes on the natural geography of that scene’s real place — sea or lake, plain, hills or mountains, the colour of the ground and its common trees — and, where one defines the place, its landform: a volcano, snow peaks, granite domes, a mesa, dunes, a fjord, islands, a rock hill, a gorge or loess terraces. The water near the stop takes the colour of the real river or sea, and the haze the place’s climate. A small globe on the stele marks where it is, with the route from the previous place. Where a city has an iconic building that already stood in the scene’s year, its schematic silhouette rises behind the stop and is named on the card. The land follows today’s terrain and climate as a sketch and the silhouettes are not measured reconstructions. Between stops the river itself stays symbolic.
- A figure board at every stop
- Each board draws the mathematics of that scene. When the boat arrives, the construction is drawn in and the key result rises in red. The drawings are schematic reconstructions, not historical manuscripts.
- Century bands along the banks
- to 499 · Sandstone stele · braziers · earthen villages and beacons · rafts · flocks of birds
- 500–1449 · Stone stele · paper lanterns · single-arch bridge · watermills and villages · lateen boats
- 1450–1749 · Marble stele · iron lanterns · three-arch bridge · windmills and clock-tower towns · sailing ships
- 1750–1899 · Cast-iron plaque · gas lamps · iron truss bridge · factory chimneys, railway and steam train · steamboats
- 1900–1969 · Concrete marker · electric streetlights · concrete bridge · pylons, apartment blocks and radio masts · barges · aircraft
Where the century band changes, the boat passes under a bridge of the new band. Villages, mills, factories, pylons and towers stand for the technology of each century, not for any real place or architectural style.
01·c. 450 BCE·Elea (Velia)(basis: Main activity)
To Arrive, First Travel Halfway — Zeno's Dichotomy
The dichotomy and Achilles arguments attributed to Zeno split one motion into indefinitely many sub-tasks. 'How can infinitely many stages fit into finite time?' pressed on what continuity, summation, and time mean. Surviving accounts are largely reconstructions through Aristotle and other later sources, so the original wording and exact date are not fixed.
- Pause and ask
- If one distance divides into endlessly many intervals, how can motion finish?
- How thinking changed
- Rewrite 'traveling a distance' as an endless process of half, half the remainder, and half again.
- What we cannot claim
- Zeno's original text does not survive and the paradoxes are reconstructed from later testimony. Modern limits do not end every philosophical interpretation in one stroke.
- This place
- Elea anchors the argumentative tradition of Parmenides and Zeno in a Greek colonial and maritime city, but no exact room or original wording survives. (Tyrrhenian coast · olives · coastal hills · 40.2°N 15.2°E)
- Figure board
- The way from start to goal splits into half, half the remainder and half again, leaving an ever smaller last piece.
- On the river
- A place of ongoing work, marked only by the route’s emblem · to 499 (Sandstone stele · braziers · earthen villages and beacons · rafts · flocks of birds)
02·c. 350 BCE·Athens(basis: Main activity)
A Process That Can Continue, Not a Completed Thing — Aristotle
Aristotle accepted potential infinity: counting and division can always continue, while he was cautious about treating a completed infinite total as an object in nature. The distinction became a long-lived guardrail for mathematical talk about endless processes. It was a boundary in ancient natural philosophy, not a finished anticipation of modern set theory.
- Pause and ask
- Is infinity a completed total, or the possibility of always continuing once more?
- How thinking changed
- Distinguish a completed infinite total from a potentially endless process, setting a grammar for speaking about infinity.
- What we cannot claim
- Aristotle's position is not a vote for or against modern set theory; it is a historical distinction within natural philosophy and mathematical reasoning.
- This place
- Athens and the Lyceum anchor Aristotle's organization of nature, logic, and mathematics through teaching and texts, not one dated classroom utterance. (Dry basin · Acropolis rock · olives · 38.0°N 23.7°E · landmark: Parthenon (432 BCE))
- Figure board
- A counting staircase and a halving segment can always take one more step; a completed infinite whole stays dotted and questioned.
- On the river
- A place of ongoing work, marked only by the route’s emblem · to 499 (Sandstone stele · braziers · earthen villages and beacons · rafts · flocks of birds)
03·c. 250 BCE·Syracuse(basis: Main activity)
Holding Endless Pieces inside a Finite Proof — Archimedes
Archimedes filled a parabolic segment with a geometric series of triangles and proved the exact ratio by inner and outer bounds. It was a high point of exhaustion methods: an indefinitely repeated construction without leaving the answer to intuition. It lacked functions, real-number completeness, and modern limits, yet became one of calculus's shoulders.
- Pause and ask
- How can an intuition of endlessly adding pieces be enclosed by a finite proof?
- How thinking changed
- Do not declare an infinite process to be the answer; squeeze the remaining difference with inner and outer figures and ratios.
- What we cannot claim
- Geometric series and exhaustion are major precedents, not integral calculus equipped with functions, real completeness, and modern limits.
- This place
- Syracuse anchors Archimedes' work across geometry and mechanics, though the exact writing site of the quadrature is unknown. (Ionian coast · Etna volcano · olives · 37.1°N 15.3°E · landmark: Temple of Athena (480 BCE))
- Figure board
- A parabolic segment is held between inscribed triangles and the outer tangent triangle; squeezing the leftover gap proves 4/3.
- On the river
- A place of ongoing work, marked only by the route’s emblem · to 499 (Sandstone stele · braziers · earthen villages and beacons · rafts · flocks of birds)
04·c. 1400 CE·Sangamagrama(basis: Main activity)
Calculating Not Only a Series but What Remains — The Madhava Tradition
Kerala-school texts attribute to Madhava infinite series for pi and trigonometric functions together with corrections that accelerate convergence. The decisive move was to address what remains after finitely many terms, not merely declare an endless addition. Madhava's mathematical writings do not survive, and direct transmission to Newton or Leibniz is not established.
- Pause and ask
- If an infinite series can never be written to the end, how should the remainder after a few terms be handled?
- How thinking changed
- Make correction terms and convergence speed after a finite calculation part of the mathematics, not only the existence of an expansion.
- What we cannot claim
- Madhava's own mathematical writings do not survive, and direct transmission from Kerala to Newton or Leibniz is not established.
- This place
- Sangamagrama is the traditional Kerala anchor for Madhava's activity; no exact house or writing room is established. (Riverside · coconut palms · red laterite lowland · 10.3°N 76.2°E)
- Figure board
- Each partial sum toward π/4 shows its leftover error in red; a correction term closes the gap on the last bar.
- On the river
- A place of ongoing work, marked only by the route’s emblem · 500–1449 (Stone stele · paper lanterns · single-arch bridge · watermills and villages · lateen boats)
05·1638 CE·Leiden(basis: Publication)
The Whole and a Proper Part Can Be Equally Numerous — Galileo's Paradox
In Two New Sciences, Galileo observed a one-to-one pairing between all natural numbers and the perfect squares through squaring and square roots. The finite rule that a whole is larger than a proper part no longer measured infinite collections. Leiden is the publication pin; Galileo was under house arrest in Italy.
- Pause and ask
- If all naturals pair one-to-one with their proper subset of squares, which side is more numerous?
- How thinking changed
- Expose that finite part-whole intuition no longer works as a measure of infinite collections.
- What we cannot claim
- Galileo did not create modern cardinal theory; he concluded that finite greater-than and less-than language was difficult to apply to infinity.
- This place
- Leiden is the publication pin for *Two New Sciences* beyond Italian censorship and house arrest, not Galileo's workplace or residence. (Old Rhine · broadleaf trees · flat polders · 52.2°N 4.5°E)
- Figure board
- The naturals 1, 2, 3, 4 pair one-to-one with the squares 1, 4, 9, 16, which are only part of the natural row.
- On the river
- A stack of books · 1450–1749 (Marble stele · iron lanterns · three-arch bridge · windmills and clock-tower towns · sailing ships)
06·c. 1666 CE·Woolsthorpe-by-Colsterworth(basis: Commemorative scene)
Calculating Curves with Infinite Series — Newton's Plague-Retreat Manuscripts
While Cambridge was closed by plague, Newton extended binomial series to fractional powers and developed his method of fluxions. This helped unite curves, change, and area through infinite expansions and limiting processes. Rather than a completed calculus falling from one apple in 1666, the scene includes older series and geometry and decades of later revision and publication.
- Pause and ask
- How can infinite series and instantaneous rates be joined into one method for curves and areas?
- How thinking changed
- Expand algebraic curves as infinite series and calculate rates of flowing quantities, directing local change and total area toward one system.
- What we cannot claim
- The year 1666 is not a single instant when modern calculus was completed; discovery, organization, proof, and publication are distinct milestones.
- This place
- After Cambridge closed, Woolsthorpe and nearby stays anchored Newton's retreat-period work, but not every manuscript belongs to one room and date. (Farm fields · broadleaf trees · gentle hills · 52.8°N 0.6°W)
- Figure board
- Series for (1 − x²) raised to 1/2 hug a quarter circle, tying the area beneath it and its tangent into one calculation.
- On the river
- A memorial column · 1450–1749 (Marble stele · iron lanterns · three-arch bridge · windmills and clock-tower towns · sailing ships)
07·1735 CE·Saint Petersburg(basis: Presentation)
An Endless Sum of Reciprocal Squares Meets the Circle — Euler's Basel Problem
Euler announced that 1 + 1/4 + 1/9 + … equals pi squared over six. The dramatic meeting of integer reciprocal squares and the circle displayed the power of analysis. His initial argument required supplementation by later standards, and more rigorous proofs followed.
- Pause and ask
- Why should pi appear in the endless sum of reciprocal squares?
- How thinking changed
- Boldly extend relations between roots and coefficients of finite polynomials to an infinite expansion, linking an arithmetic sum with the circle constant.
- What we cannot claim
- Euler's first argument was brilliant, but moving finite-polynomial properties to an infinite product required later support from convergence theory.
- This place
- The Saint Petersburg Academy supplied Euler with research time, publication networks, and an audience, anchoring the announcement institutionally. (Neva delta and gulf · birch and pine · flat · 59.9°N 30.3°E · landmark: Peter and Paul Cathedral (1733))
- Figure board
- Squares of area 1, 1/4, 1/9, … add up to π²/6, bridged by the roots π, 2π, 3π of the curve sin x / x.
- On the river
- A desk holding a written record · 1450–1749 (Marble stele · iron lanterns · three-arch bridge · windmills and clock-tower towns · sailing ships)
08·1821 CE·Paris(basis: Publication)
Asking for Convergence Conditions instead of Trusting Infinitesimals — Cauchy
Cauchy's Cours d'analyse organized variables, limits, continuity, and series convergence through systematic definitions and theorems. It did not finish every modern standard, and some conditions he used for interchanging sums and integrals needed correction. Still, it redirected intuition about the infinitely small toward finite error conditions that guarantee results.
- Pause and ask
- Which convergence conditions must be stated before an infinite process becomes a trustworthy calculation?
- How thinking changed
- Organize variables, limits, continuity, and series convergence as definitions and theorems rather than relying only on infinitesimal intuition.
- What we cannot claim
- Cauchy did not single-handedly finish today's epsilon-delta analysis; some definitions and theorems required later counterexamples and stronger hypotheses.
- This place
- Lectures and print around the École Polytechnique turned Cauchy's analysis into a common grammar students could repeat and criticize. (Seine banks · broadleaf trees · flat basin · 48.9°N 2.4°E · landmark: Notre-Dame de Paris (1250), Dôme des Invalides (1706))
- Figure board
- Series terms as bars and partial sums as a staircase; convergence asks whether the gap left to the limit shrinks without end.
- On the river
- A stack of books · 1750–1899 (Cast-iron plaque · gas lamps · iron truss bridge · factory chimneys, railway and steam train · steamboats)
09·1872 CE·Braunschweig(basis: Composition)
Building Real Numbers from Gaps in the Rationals — Dedekind Cuts
Dedekind used partitions of the rational numbers to construct the reals arithmetically. The geometric intuition that a line has no gaps became a condition on order and sets, specifying where limits can arrive. It is one construction of the reals; equivalent approaches through Cauchy sequences also exist.
- Pause and ask
- How can the continuous real line, where limits arrive, be constructed from rationals alone?
- How thinking changed
- Move the line's gaplessness from geometric intuition to an arithmetic condition: a cut partitioning the rational numbers.
- What we cannot claim
- Cuts are not the only construction of the reals; alternatives such as Cauchy sequences are equivalent within standard frameworks.
- This place
- Braunschweig anchors Dedekind's long teaching career and the development of his writings on real foundations and arithmetic. (Oker riverside · broadleaf trees · flat land · 52.3°N 10.5°E)
- Figure board
- Between rational ticks, where the unit square’s diagonal lands, a cut splits the rationals into two classes A₁ and A₂.
- On the river
- A desk holding a written record · 1750–1899 (Cast-iron plaque · gas lamps · iron truss bridge · factory chimneys, railway and steam train · steamboats)
10·1874 CE·Halle(basis: Publication)
The Reals Cannot All Enter a Natural-Number List — Cantor
Cantor's 1874 paper showed that all real numbers cannot be enumerated like the naturals. The proof was not his 1891 diagonal argument, and it opened the comparison of different infinite cardinalities. Attaching 'I see it, but I do not believe it' to this proof collapses two different episodes.
- Pause and ask
- Can every real number be placed without omission on the list 1, 2, 3, …?
- How thinking changed
- Compare infinity through one-to-one correspondence and listability, opening differences in size among infinite sets.
- What we cannot claim
- The 1874 proof is not the 1891 diagonal argument. 'I see it, but I do not believe it' belongs to the 1877 square-line correspondence.
- This place
- Halle was Cantor's lifelong base as he moved from trigonometric series toward set theory through papers and correspondence. (Saale banks · broadleaf trees · flat land · 51.5°N 12.0°E · landmark: Marktkirche Unser Lieben Frauen (1554), Red Tower (Roter Turm) (1506))
- Figure board
- Intervals narrowed by the listed reals close in on a point that appears nowhere on the list 1, 2, 3, ….
- On the river
- A stack of books · 1750–1899 (Cast-iron plaque · gas lamps · iron truss bridge · factory chimneys, railway and steam train · steamboats)
11·1877 CE·Halle(basis: Letter sent)
Pairing a Line Segment with the Points of a Square — 'I See It, but I Do Not Believe It'
In correspondence with Dedekind, Cantor reported a one-to-one correspondence between the points of a line segment and those of a square. Faced with different-dimensional continua having the same cardinality, he wrote that he saw it but did not believe it. The mapping equates set size, not length, area, or topological shape.
- Pause and ask
- Can a line segment and a square have equally many points despite differing in dimension?
- How thinking changed
- Separate length, area, and dimension from cardinality, seeing that differently shaped sets can still pair point by point.
- What we cannot claim
- A bijection does not equate length, area, or topological structure. The famous quotation belongs in this context.
- This place
- Halle marks where Cantor sent Dedekind the result and his astonishment, not a physical experiment on a square. (Saale banks · broadleaf trees · flat land · 51.5°N 12.0°E · landmark: Marktkirche Unser Lieben Frauen (1554), Red Tower (Roter Turm) (1506))
- Figure board
- A point of the square is paired with a point of the segment by interleaving the digits of its two coordinates.
- On the river
- A post holding tied letters · 1750–1899 (Cast-iron plaque · gas lamps · iron truss bridge · factory chimneys, railway and steam train · steamboats)
12·1888 CE·Braunschweig(basis: Publication)
A Set That Pairs with a Proper Part of Itself — Dedekind's Infinite
Dedekind called a set infinite when it can be put in one-to-one correspondence with a proper subset of itself. What Galileo treated as a paradox became a criterion for infinity. Fine equivalences among notions of finiteness depend on choice principles, but this became a central grammar of standard set theory.
- Pause and ask
- Can Galileo's part-whole paradox be turned into a definition of an infinite set?
- How thinking changed
- Treat bijection with a proper subset not as an anomaly but as a structural mark of an infinite set.
- What we cannot claim
- Without choice, equivalences among notions of finiteness can be subtle, so Dedekind-infinite is not presented as the only definition in every foundation.
- This place
- Dedekind's long teaching and writing environment in Braunschweig supported his organization of number, set, and mapping into arithmetic foundations. (Oker riverside · broadleaf trees · flat land · 52.3°N 10.5°E)
- Figure board
- The whole set S maps one-to-one onto its proper part φ(S); the part left over marks S as infinite.
- On the river
- A stack of books · 1750–1899 (Cast-iron plaque · gas lamps · iron truss bridge · factory chimneys, railway and steam train · steamboats)
13·1891 CE·Halle(basis: Publication)
A Number That Escapes Every Allegedly Complete List — The Diagonal Argument
Cantor assumed a complete list of real numbers and changed the nth digit of the nth entry, constructing a new number that differs from every listed number somewhere. The compact method makes uncountability vivid and later inspired related self-reference in arguments about incompleteness and uncomputability. Technical issues such as duplicate decimal expansions can be avoided by a suitable notation.
- Pause and ask
- Can one construct a number missing from any allegedly complete infinite list?
- How thinking changed
- Flip a different position in each row, constructing a diagonal number that differs from every row somewhere.
- What we cannot claim
- Later diagonal-shaped arguments are not all the same theorem, and notation must avoid technical issues such as duplicate decimal expansions.
- This place
- Halle's university and journal networks anchored Cantor's compact reformulation of his earlier result for an international readership. (Saale banks · broadleaf trees · flat land · 51.5°N 12.0°E · landmark: Marktkirche Unser Lieben Frauen (1554), Red Tower (Roter Turm) (1506))
- Figure board
- Flipping the nth letter of the nth row of an m-and-w list builds a new row E₀ that differs from every row.
- On the river
- A stack of books · 1750–1899 (Cast-iron plaque · gas lamps · iron truss bridge · factory chimneys, railway and steam train · steamboats)
14·1900 CE·Paris(basis: Presentation)
Is There an Infinity between the Naturals and the Reals? — Hilbert's First Problem
Hilbert put the continuum hypothesis first in his Paris list of problems: is there no cardinal strictly between countable infinity and the continuum? He discussed ten problems in the lecture while the full list of twenty-three appeared in print. The question did not leap immediately to its later independence result.
- Pause and ask
- Is there another infinite size strictly between the naturals and the reals?
- How thinking changed
- Turn the discovery of unequal infinities into a public research program asking whether the interval between them is empty.
- What we cannot claim
- Hilbert discussed ten problems in the lecture and published the full twenty-three; he neither predicted nor proved independence in 1900.
- This place
- The Paris ICM gave mathematicians across countries a stage on which to read the next century's problems as a shared agenda. (Seine banks · broadleaf trees · flat basin · 48.9°N 2.4°E · landmark: Eiffel Tower (1889), Notre-Dame de Paris (1250))
- Figure board
- The first line of a 23-problem list asks whether any size lies strictly between the countable ℵ₀ and the continuum.
- On the river
- A desk holding a written record · 1900–1969 (Concrete marker · electric streetlights · concrete bridge · pylons, apartment blocks and radio masts · barges · aircraft)
15·1902 CE·Jena(basis: Letter received)
Gathering Every Set Produces a Contradiction — Russell's Letter
Russell discovered in 1901 that the collection of all sets that are not members of themselves leads to contradiction, and told Frege by letter in 1902. Jena marks where Frege received the letter and disclosed the crisis in an appendix. The paradox did not declare all set theory meaningless; it demanded explicit rules for forming sets.
- Pause and ask
- Is it always safe to collect 'everything satisfying a condition' into a set?
- How thinking changed
- Show that collecting all sets not members of themselves creates contradiction, making set formation itself subject to rules.
- What we cannot claim
- Jena is the receipt and response pin, not the discovery site. The paradox did not abolish every form of set theory.
- This place
- Jena anchors Frege's receipt of Russell's 1902 letter and his disclosure of the crisis in an appendix just before publication. (Saale valley · broadleaf trees · limestone hills · 50.9°N 11.6°E)
- Figure board
- R gathers the sets that are not members of themselves; placing R inside or outside R both lead to contradiction.
- On the river
- A post holding tied letters · 1900–1969 (Concrete marker · electric streetlights · concrete bridge · pylons, apartment blocks and radio masts · barges · aircraft)
16·1908 CE·Göttingen(basis: Publication)
Preventing Sets from Being Formed at Will — Zermelo's Axioms
Zermelo organized separation, power set, choice, and other rules for forming and comparing sets into an axiomatic system. It aimed to avoid paradoxes while recovering the main set-theoretic arguments of the time, and later revisions by Fraenkel and others developed into ZF and ZFC. Axioms state starting permissions; they do not end every question about infinity.
- Pause and ask
- Which formation rules must be stated to avoid paradox while retaining work with infinite sets?
- How thinking changed
- Replace unrestricted collection by explicit axioms for separation, union, power sets, and other constructions from allowed sets.
- What we cannot claim
- The 1908 system was not identical to today's ZFC; separation, replacement, and other details were refined through later formulation and critique.
- This place
- Göttingen was Zermelo's university base as he proposed axioms amid debates over set theory and the axiom of choice. (Wooded hills · broadleaf trees · small river · 51.5°N 9.9°E · landmark: Göttingen Observatory (1816))
- Figure board
- Axioms III–VI build new sets only from sets already given: separation, power set, union and choice.
- On the river
- A stack of books · 1900–1969 (Concrete marker · electric streetlights · concrete bridge · pylons, apartment blocks and radio masts · barges · aircraft)
17·c. 1924 CE·Göttingen(basis: Teaching / position)
A Full Hotel That Can Still Admit a Guest — Hilbert's Metaphor
The hotel associated with Hilbert's lectures around 1924 shows how a countably infinite full hotel can free room 1 by moving every guest from room n to n+1. The familiar account circulated widely through Gamow's 1947 book. It is a metaphor for a pairing rule, not a physically buildable hotel.
- Pause and ask
- How can a completely full infinite hotel admit one more guest?
- How thinking changed
- Use one rule moving guest n to room n+1 to rearrange countable infinity and free room 1.
- What we cannot claim
- The hotel is not an experimental claim that a physical infinity of moves can finish; it makes the function n to n+1 tangible.
- This place
- Göttingen anchors the teaching metaphor attributed to Hilbert's lectures around 1924, not a real hotel or surviving verbatim transcript. (Wooded hills · broadleaf trees · small river · 51.5°N 9.9°E · landmark: Göttingen Observatory (1816))
- Figure board
- In a full hotel every guest moves from room n to room n + 1, freeing room 1 for a new guest.
- On the river
- A lectern and a board · 1900–1969 (Concrete marker · electric streetlights · concrete bridge · pylons, apartment blocks and radio masts · barges · aircraft)
18·1940 CE·Princeton(basis: Publication)
Building a Universe Where the Continuum Hypothesis Holds — Gödel
Using the constructible universe L, Gödel showed that if ZF is consistent, adding the axiom of choice and the generalized continuum hypothesis does not introduce a contradiction. This established that the continuum hypothesis cannot be disproved from the standard axioms in one direction. It did not prove CH absolutely true.
- Pause and ask
- Can one build a model of set theory in which the continuum hypothesis cannot be refuted?
- How thinking changed
- Instead of proving CH directly from the axioms, build the constructible universe where the axioms and CH hold together, proving relative consistency.
- What we cannot claim
- Gödel did not prove CH absolutely true; the result is conditional: if ZF is consistent, then adding choice and GCH preserves consistency.
- This place
- Princeton's Institute for Advanced Study anchored Gödel's émigré research in logic and set theory and the 1940 monograph. (Woods · broadleaf trees · gentle lowland · 40.4°N 74.7°W)
- Figure board
- Inside the universe V, the constructible universe L is built level by level; CH holds there, carrying consistency conditionally.
- On the river
- A stack of books · 1900–1969 (Concrete marker · electric streetlights · concrete bridge · pylons, apartment blocks and radio masts · barges · aircraft)
19·1963 CE·Stanford(basis: Main activity)
Building a Universe Where the Continuum Hypothesis Fails — Cohen's Forcing
Paul Cohen invented forcing to show that, if ZF is consistent, it cannot prove the axiom of choice or the continuum hypothesis. Together with Gödel's opposite-direction result, this establishes that CH is independent of ZFC, assuming ZFC is consistent. It does not mean 'nothing is true'; the stated axioms alone do not select between those model worlds.
- Pause and ask
- Can one also build a model of the same axioms in which the continuum hypothesis fails?
- How thinking changed
- Use forcing to extend a model with controlled generic sets and construct a model satisfying the negation of CH.
- What we cannot claim
- The combined independence result is relative to the assumed consistency of ZFC; it does not make CH and not-CH true in the same model.
- This place
- Stanford anchors Cohen's faculty research as he developed forcing and tested the result through seminars and papers. (Golden grass · oaks · rolling foothills · 37.4°N 122.2°W · landmark: Hoover Tower (1941))
- Figure board
- A generic set G, chosen as a path through a tree of conditions, extends the ground model M to M[G], where CH fails.
- On the river
- A place of ongoing work, marked only by the route’s emblem · 1900–1969 (Concrete marker · electric streetlights · concrete bridge · pylons, apartment blocks and radio masts · barges · aircraft)