Completion of the lecture on Godel's first incompleteness theorem.
See All 27 Episodes of "Theory of Computation - Fall 2011"