MathsGee is free of annoying ads. We want to keep it like this. You can help with your DONATION

1 like 0 dislike
112 views

What is $\aleph$  in mathematics?

| 112 views

1 like 0 dislike
Aleph is a letter from the Hebrew alphabet. Georg Cantor, a deeply religious man, introduced it to denote cardinalities of sets in his effort to provide a rigorous axiomatization of set theory.

Two of the results of Cantor's work appear paradoxical.

The first paradox has to do with Aleph-0 - the cardinality of all countably infinite sets: Although the sets N, Z and Q are strict subsets of each other, they all have the same cardinality i.e. Aleph-0.

The second paradox has to do with Aleph-1 - the cardinality of R (or just the interval [0, 1]), which is equal to the cardinality of the set of all subsets of Z i.e. 2 to the power Aleph-0.

It appears that the continuum hypothesis (CH - Hilbert 1st Problem)  that speculates on the existence of an infinite between Aleph-0 and Aleph-1, is quite independent of Axioms chosen for Axiomatisation of Set theory (e.g. Zermelo-Frankel + Axiom of choice). CH is thus an example of Godel Incompleteness Theorem: A statement that is neither provable nor disprovable.
by (45 points)
selected by

0 like 0 dislike