Physical world and mathematics

Cantor's diagonal argument

Cantor's diagonal argument, or diagonalization, is an 1891 proof by Georg Cantor that no list can contain every real number in [0,1], showing the reals are uncountable.