more from this thinker     |     more from this text


Single Idea 18174

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

Full Idea

Cantor's second innovation was to extend the sequence of ordinal numbers into the transfinite, forming a handy scale for measuring infinite cardinalities.

Gist of Idea

Cantor extended ordinals into the transfinite, and they can thus measure infinite cardinalities

Source

report of George Cantor (works [1880]) by Penelope Maddy - Naturalism in Mathematics I.1

Book Ref

Maddy,Penelope: 'Naturalism in Mathematics' [OUP 2000], p.17


A Reaction

Struggling with this. The ordinals seem to locate the cardinals, but in what sense do they 'measure' them?


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]