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