more from this thinker     |     more from this text


Single Idea 8663

[filed under theme 6. Mathematics / A. Nature of Mathematics / 5. The Infinite / h. Ordinal infinity ]

Full Idea

After the multiples of omega, we can successively raise omega to powers of omega, and after that is done an infinite number of times we arrive at a new limit ordinal, which is called 'epsilon'. We have an infinite number of infinite ordinals.

Clarification

For 'omega' see Idea 8662

Gist of Idea

Raising omega to successive powers of omega reveal an infinity of infinities

Source

Michèle Friend (Introducing the Philosophy of Mathematics [2007], 1.4)

Book Ref

Friend,Michèle: 'Introducing the Philosophy of Mathematics' [Acumen 2007], p.13


A Reaction

When most people are dumbstruck by the idea of a single infinity, Cantor unleashes an infinity of infinities, which must be the highest into the stratosphere of abstract thought that any human being has ever gone.

Related Idea

Idea 8662 The first limit ordinal is omega (greater, but without predecessor), and the second is twice-omega [Friend]


The 9 ideas with the same theme [infinity as an unending ordered series]:

Cantor's theory concerns collections which can be counted, using the ordinals [Cantor, by Lavine]
Cantor extended ordinals into the transfinite, and they can thus measure infinite cardinalities [Cantor, by Maddy]
The number of natural numbers is not a natural number [Frege, by George/Velleman]
ω names the whole series, or the generating relation of the series of ordinal numbers [Russell]
Ordinals are basic to Cantor's transfinite, to count the sets [Lavine]
Paradox: the class of all ordinals is well-ordered, so must have an ordinal as type - giving a bigger ordinal [Lavine]
Raising omega to successive powers of omega reveal an infinity of infinities [Friend]
The first limit ordinal is omega (greater, but without predecessor), and the second is twice-omega [Friend]
Transfinite ordinals are needed in proof theory, and for recursive functions and computability [Hossack]