The aleph numbers get all the glory, but the beth numbers refer to easily describable sets and don't have all the messiness of the continuum hypothesis.
Similarly, the transfinite cardinals get all the attention, but the transfinite ordinals such as omega, epsilon-naught, the Church-Kleene ordinal are interesting, too.
Put the two together and one can get beth-omega, the size of a set so infinite (infinitely more infinite than the infinity of beth-1) that it boggles the mind. It's interesting that it remains well defined with a subscript beyond a finite natural number.
No comments :
Post a Comment