Four lectures on the First Incompleteness Theorem

Better late than never — what I said, more or less, in four lectures earlier this term on the First Incompleteness Theorem. The lectures were to maths students, but only the last of the four requires a bit of background in computability theory.