About GWT
This page links to a second edition of notes originally written to accompany short lecture courses given at Cambridge and at the University of Canterbury at Christchurch NZ in 2010-11. These notes aimed to fill the gap between what can be covered in pretty relaxed chalk-and-talk lectures on the one hand and my not-so-very-introductory Introduction to Gödel’s Theorems on the other. However, I’ve tried to make them reasonably stand-alone. The series is encouragingly entitled ‘Gödel Without (Too Many) Tears’.
Here are the current titles of the now twelve episodes:
- Incompleteness — The Very Idea
- Incompleteness and undecidability
- Two weak arithmetics
- First-order Peano Arithmetic
- Quantifier complexity
- Primitive recursive functions
- Expressing and capturing the primitive recursive functions
- The arithmetization of syntax
- The first incompleteness theorem
- The Diagonalization Lemma, Rosser and Tarski
- Introducing the Second Theorem
- Curry’s Paradox, Löb’s Theorem and other excitements
How to get GWT
- The complete set of notes in A4 format can be previewed and then, if you like, downloaded here: alternatively, if you don’t have an academia.edu login, they can be downloaded here.
- The same notes but reformatted to be more readable on e.g. an iPad screen can be previewed and then, if you like, downloaded here: alternatively you can download this version here.
(Last updated, April 16, 2016.)