February 3, 2016 CS21 Lecture 13 * CS21 Decidability and Tractability Lecture 13 February 3, 2016 CS21 Lecture 13 February 3, 2016 CS21 Lecture 13 * Outline Rice’s Theorem…