Rice's Theorem & Post's Correspondence Problem
Lecture notes:
07a. Rice's Theorem (Notes)
07b. Post's Correspondence Problem (Notes)