# Real Numbers are Uncountable/Historical Note

## Historical Note on Real Numbers are Uncountable

The fact that the Real Numbers are Uncountable was first demonstrated by Georg Cantor in $1874$.

Cantor's first and second proofs given above are less well known than the diagonal argument, and were in fact downplayed by Cantor himself: the first proof was given as an aside in his paper proving the countability of the algebraic numbers.

Joseph W. Dauben conjectures that this was because Cantor feared opposition from Leopold Kronecker among other contemporaries who aggressively dismissed Cantor's ideas.

In particular Cantor's first proof is worth reading; several texts reject the first proof as being more complicated and less instructive, but this seems to have arisen because the Diagonal argument has proven to be a more versatile tool and thus the others forgotten and dismissed.

In this instance the first and second proofs of Cantor are of equal merit to the diagonal argument, and the three together present clearly the flavor of the theorem.

## Sources

- 1972: Patrick Suppes:
*Axiomatic Set Theory*(2nd ed.) ... (previous) ... (next): $\S 1.1$ Set Theory and the Foundations of Mathematics