Peter Smith – Gödel Without (Too Many) Tears

1. Incompleteness — The Very Idea
2. Incompleteness and undecidability
3. Two weak arithmetics
4. First-order Peano Arithmetic
5. Primitive recursive functions
6. Expressing and capturing the primitive recursive functions
7. The arithmetization of syntax
8. The first incompleteness theorem
9. The Diagonalization Lemma, Rosser and Tarski
10.Introducing the Second Theorem
11.Curry’s Paradox, Löb’s Theorem and other excitements   źródło opisu: http://www.logicmatters.net/igt/further-notes/godel-without-tears/