Four lectures on the First Incompleteness Theorem

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

Leave a Comment

Your email address will not be published. Required fields are marked *

Scroll to Top