Cantor's diagonal argument is a mathematical proof devised by Georg Cantor in the late 19th century. It demonstrates that not all infinities are equal, specifically showing that the set of real numbers is uncountably infinite and larger than the countably infinite set of natural numbers.
Articles by others on the same topic
Cantor's diagonal argument proves that the set of infinite binary sequences is uncountable: a sequence obtained by changing the th digit of the th listed sequence differs from every sequence in the list.
