We covered sections 20.6-20.9. Specifically, we used diagonalization to show that the power set of the integers, as well as the reals, are uncountable. We then looked at some sample countable and uncountable sets. And then at applications of uncountability to computability and tiling/Chemistry.
Pictures of tilings:
We also did ICES forms.