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.

This entry was posted in Gödel's theorems. Bookmark the permalink.

Leave a Reply

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