3.A: Infinity, hotel Hilbert, and countable and uncountable sets
Description: Hotel Hilbert is a story of infinity and how to calculate with countable, infinite sets. Cantor’s proof of the uncountability of the set of real numbers is presented using the famous technique of diagonalisation. Other examples of uncountable sets are given. The existence of languages that are not Turing recognisable is demonstrated.
Book: Introduction to the Theory of Computability, Chapter 4, pp. 176-180.
Exercises: 4.5, 4.6, 4.7 and 4.8
- Hilbert’s Hotel
- Two Degrees of Infinity
- Countable and Uncountable Sets
- Uncountability of the Reals
Theory of Computation by TU Delft OpenCourseWare is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License.
Based on a work at https://ocw.tudelft.nl/courses/theory-of-computation/.