Aleph-0

From Citizendium
Revision as of 21:55, 8 November 2007 by imported>Larry Sanger (Need to add the actual Hebrew letter, right? Also, adding categories, please stay on top of that!)
Jump to navigation Jump to search

Aleph-0, usually pronounced 'aleph null', is the cardinality of the natural numbers. It is the first transfinite ordinal; it represents the "size" of the "smallest" possible infinity. The notion was first introduced by Georg Cantor in his work on the foundations of set theory, and made it possible for mathematicians to reason concretely about the infinite.

Aleph-0 represents the 'size' of the natural numbers (0, 1, 2, ...), the rational numbers (1/2, 2/3, ...), and the integers (... -1, 0, 1, ...). The size of the real numbers is in fact strictly bigger, in a sense, than aleph-0; some authors define this set to have cardinality aleph-1. In fact, aleph-0 is the first in an infinite family of infinities, each 'larger' than the last.

Greek mathematicians first grappled with logical questions about infinity (See Zeno and Archimedes) and Isaac Newton used inadequately defined 'infinitesimals' to develop the calculus; however over centuries the word infinity had become so loaded and poorly understood that Cantor himself preferred the term transfinite to refer to his family of infinities.