Theory of Computation: Lecture 8

Theory of Computation: Lecture 8. The main topics covered in this lesson include: the Halting problem; universal Turing machine; undecidability of the halting problem; diagonalization; galilean paradox; Hilbert hotel; countable sets; cantor diagonalization;...