0
$\begingroup$

Some media sources say that "Cantor claimed that there would only be potential infinity, not actual infinity"

In addition, the following link claims that Hilbert, Poincare, and Cantor were fully aware of the distinction between "potential infinity" and the actual one.

Is there a formal distinction between potential and actual infinities?

Of course all those mathematicians talked a lot about infinity in their publications; however I am having trouble to find exact quote on "potential infinity" from them. In which chapters did they mention the exact term "potential infinity"?

I did notice that Fraenkel mentioned "potential infinity" a lot, but not for Hilbert or Poincare.

$\endgroup$
  • $\begingroup$ Welcome to HSM. The article you have linked in your first sentence appears to be full of inaccuracies and falsehoods. For example, it states "For instance, Cantor proved that the set of all functions from $(0,1)$ →$\mathbb N$ is countable. Thus he defined a one-to-one and onto function from the interval $(0,1)$ to natural numbers." This is plainly false, and not entirely coherent. Also, the statement you attribute to Cantor in the first sentence of your post is, according to the article, the view of Aristotle rather than Cantor. $\endgroup$ – Nick Jun 26 at 21:38
  • $\begingroup$ @Nick I agree, that part is definitely incorrect. $\endgroup$ – High GPA Jun 26 at 22:40
5
$\begingroup$

You have misinterpreted the article you refer to; nowhere does it say that "Cantor claimed that there would only be potential infinity, not actual infinity". In fact, it says the opposite:

Furthermore, Cantor claimed that we could add and multiply infinity sets. Until that time, humans had followed Aristotle’s ideas about infinity. According to Aristotle, if we multiply the number 3 by infinity, it would be infinite again. Infinity would swallow everything. Based on this, he claimed that there would only be potential infinity, not actual infinity.

It's Aristotle claiming that there is only potential infinity, and we have since learned that in many ways, Aristotle was just a big windbag.


A potential infinity is the kind we work with all the time in calculus: the limit of something as something else controlling it it is allowed to grow with out bound. There is no "largest" natural number, you can always add one and get a bigger one. In a set-theoretical framework with basic axioms, any proper class is a potential infinity.

An absolute infinity is a "completed" one. As Cantor later showed, you need a whole new axiom to make it work formally. The usual way to do this is to assert the existence of a complete set of natural numbers ($\omega$) as an object you can manipulate. It's this Axiom of Infinity that formally defines an absolute infinity.


A number of years ago I was led to the infinite real whole numbers [die unendlichen realen ganzen Zahlen] without having realized that they were concrete numbers of real significance.$^1$

Cantor would never have claimed there was only potential infinity. His transfinite numbers are all completed ones.

Joseph Warren Dauben's biography of Cantor discusses this concept in Chapter 5, which is all about Cantor's 1883 Grundlagen einer allgemeinen Mannigfaltigskeitlehre.This title may cause you to do a double-take, as it transtates as "Foundations of a Theory of Manifolds". Here is the quote you're looking for:

As far as the mathematical infinite is concerned: to the extent that it has found justifiable use in science and made a useful contribution, the mathematical infinite has principally occurred in the meaning of a variable magnitude, either growing beyond all limits or diminishing to an arbitrary smallness, always, however remaining finite. I call this infinite the non-genuine-infinite [das Uneigentlich-unendliches].$^2$

There was great opposition to Cantor's ideas by people who couldn't wrap their heads around them. There's a remarkable quote later on in the book, criticizing "proofs" that completed infinities couldn't exist, because they assumed there were only potential infinities to begin with:

All so-called proofs against the possibility of actually infinite numbers are faulty, as can be demonstrated in every particular case, and as can be concluded on General grounds as well. It is their πρώτον ψεύδος [first lie] that from the outset they expect or even impose all the properties of finite numbers upon the numbers in question, while on the other hand the infinite numbers, if they're to be considered in any form at all, must (in their contrast of the finite numbers) constitute an entirely new kind of number, whose nature is entirely dependent upon the nature of things and is an object of research but not of our arbitrariness or prejudices.

-Cantor to Eneström$^3$


$^1$:Georg Cantor: His Mathematics and Philosophy of the Infinite, by Joseph Warren Dauben, Princeton University Press, 1990, quotation, p. 57

$^2$Cantor, G. Grundlagen einer allgemeinen Mannigfaltigskeitlehre. Ein mathematisch-philosophischer Versuch in der Lehre des Unendlichen. Leipzig, B.G. Teubner, 1883. Later in Mathematische Annalen. Translated by Uwe Parpart, first appearing in The Campaigner, January-February 1976, Vol 9 Nos. 1-2, P. 70.

$^3$ Dauben, quotation, p. 125

| improve this answer | |
$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.