← all shorts

Concept

diagonal argument

A formal proof published in 1891 that demonstrates the existence of different sizes of infinity. By constructing a new decimal number that differs from every number in a supposedly complete list, the argument shows that the set of real numbers is fundamentally larger than the set of integers. It remains one of the most elegant and influential proofs in the history of logic.

Mentioned in 1 article