Slide 1 February 11, 2015CS21 Lecture 161 CS21 Decidability and Tractability Lecture 16 February 11, 2015 Slide 2 CS21 Lecture 162 Outline Gödel Incompleteness Theorem on…