agaricus5 wrote:
Aleph-0 is the set of all the ordinal numbers from 1-ω, where ω stands for the number that comes after all the other ordinal numbers, that which we call "infinity".
I'm having trouble accepting wording of this definition as it makes it seem that ω is the "
biggest number"
when infinity is actually the absence of a "
biggest number"
. This is where most people seem to get hung up when trying to understand this concept. I think it's better to say ω is the set of all finite ordinals {1,2,3,...}. (For more ordinal fun here a
fun, formula filled page that looks at them.
Also, it's probably better to say that Aleph-0 is
isomorphic to the set of all the ordinal numbers from 1-ω as there's an infinite number of sets that are of this order of infinity.
The natural numbers {1,2,3,...}
The whole numbers {0,1,2,3,...}
The integers {0,-1,1,-2,2,-3,3,...}
Positive even numbers {2,4,6,8,...}
Positive odd numbers {1,3,5,7,...}
The Primes {2,3,5,7,...}
All the fractions between 0 and 1 {1/2,1/3,2/3,1/4,3/4,1/5,2/5,...}
and so on.
Those (and more) can all be shown to have a one-to-one correspondance with the Aleph-0. The fractions between 0 and 1 is an especially good one to try and grasp as it gives an example of an infinite set where the numbers are bounded by a finite number, i.e. no number of this infinite set is ever bigger than 1- yet there is no "
biggest fraction"
of this set.
------
Oh and I just picked up
The Millennium Problems by Keith Devlin, which looks at the 7 most important unsolved problems of our time. I've only read the first part on the the Riemann Hypothesis but it's pretty good so far (and I'm still reading the Feynman book). I'm thinking of picking up Devlin's
The Language of Mathematics next.
____________________________
And I can recall our caravel: a little wicker beetle shell with four fine maste and lateen sails,
its bearings on Cair Paravel. O my love, O it was a funny little thing to be the ones to've seen.
-Joanna Newsom "
Bridges and Balloons"