Limited Diagonalization

Requires a Wolfram Notebook System

Interact on desktop, mobile and cloud with the free Wolfram CDF Player or other Wolfram Language products.

Requires a Wolfram Notebook System

Edit on desktop, mobile and cloud with any Wolfram Language product.

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.



Feedback (field required)
Email (field required) Name
Occupation Organization
Note: Your message & contact information may be shared with the author of any specific Demonstration for which you give feedback.
Send