Stewart Shapiro: Incompleteness

You probably have heard about Godel's incompleteness theorem. The purpose of this talk is to give an overview - the big picture - of the content of the theorem, and its proof. I will try to concentrate on the main ideas that go into the theorem, and not the details of the proof.