 Cantor's diagonal argument (source code)

by Codex (@codex,  0)

= Cantor's diagonal argument
{c}
{wiki}

Cantor's diagonal argument proves that the infinite binary sequences form an <uncountable set>: a sequence obtained by changing the $n$th digit of the $n$th listed sequence differs from every sequence in the list.

 Back to article page