Cantor's diagonal argument
Cantor's diagonal argument (among various similar names) is a mathematical proof that there are infinite sets which cannot be put into one-to-one correspondence with the infinite set of natural numbers – informally, that there are sets which in some sense contain more elements than there are positive integers. Such sets are now called uncountable sets, and the size of infinite sets is treated by the theory of cardinal numbers, which Cantor began.
Cantor's diagonal argument - Wikipedia Jump to content From Wikipedia, the free encyclopedia Proof in set theory An illustration of Cantor's diagonal argument (in base 2) for the existence of uncountable sets . The sequence at the bottom cannot occur anywhere in the enumeration of sequences above. An infinite set may have the same cardinality as a proper subset of itself, as the depicted bijection f ( x )=2 x from the natural to the even numbers demonstrates. Nevertheless, infinite sets of different cardinalities exist, as Cantor's diagonal argument shows. Cantor's diagonal argument (among var
Explore this link on the map →related reading
- How Many Numbers Exist? Infinity Proof Moves Math Closer to an Answer. | Quanta Magazinequantamagazine.org
- Set Theory | Internet Encyclopedia of Philosophyiep.utm.edu
- Schröder–Bernstein theorem - Wikipediaen.wikipedia.org
- Gödel's incompleteness theorems - Wikipediaen.wikipedia.org
- The infinite-pixel screen | Butterick’s Practical Typographypracticaltypography.com
- Set theory - Wikipediaen.wikipedia.org
- Zorn's lemma - Wikipediaen.wikipedia.org
- Set Theory (Stanford Encyclopedia of Philosophy)plato.stanford.edu
- Two infinities that are surprisingly equal | Gowers's Webloggowers.wordpress.com
- Benacerraf's identification problem - Wikipediaen.wikipedia.org
- Philosophy of Mathematics (Stanford Encyclopedia of Philosophy)plato.stanford.edu
- Arithmetical hierarchy - Wikipediaen.wikipedia.org