Limited Diagonalization

Requires a Wolfram Notebook System
Interact on desktop, mobile and cloud with the free Wolfram Player or other Wolfram Language products.
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.
Contributed by: Michael Schreiber (March 2011)
Open content licensed under CC BY-NC-SA
Snapshots
Details
The real numbers in the unit interval are usually regarded as a model of the continuum. Cantor's continuum hypothesis states that there are no sets with a cardinality between the cardinality of natural numbers and the cardinality of the continuum.
Permanent Citation
"Limited Diagonalization"
http://demonstrations.wolfram.com/LimitedDiagonalization/
Wolfram Demonstrations Project
Published: March 7 2011