Gödel's Legacy: The Limits Of Logics Anything says is false! Great Theoretical Ideas In Computer Science Steven Rudich CS 15-251 Spring 2005 Lecture 28 April 26, 2005…