Lecture on undecidable propositions:
transcribed text