Education
TI2320 (IN2505-II). Berekenbaarheidstheorie. "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."