Theory of Computation (CS3102), Lecture 02, Professor Gabriel Robins, Spring 2018

Specific topics covered in this lecture: centrifuge problem revisited, sum-of integers, elegant proofs, drawbacks of induction, proofs by picture, more problems with elegant solutions, Georg Cantor, infinite hotels, one-to-one correspondences, countability of rationals, dovetailing