WOLFRAM|DEMONSTRATIONS PROJECT

Limited Diagonalization

​
number of bits
2
3
permutation of enumeration
mark diagonal
invert diagonal
Limited enumeration of real numbers by lists of bits illustrates Cantor's diagonalization argument. The number formed from complements of bits on the diagonal is not included because of the way it is constructed. All permutations of the enumerations must miss at least the number corresponding to the inverted digits on the diagonal.