Slide 1David Evans http://www.cs.virginia.edu/evans cs302: Theory of Computation University of Virginia Computer Science Lecture 17: ProvingUndecidability Slide 2 2 Lecture…