Gödel Without (Too Many) Tears

This page links to a new series of handouts for a twelve-lecture course I’m giving in February and March 2010 as a visiting Erskine Fellow at the University of Canterbury at Christchurch. These handouts aim to fill the gap between relaxed chalk-and-talk lectures on the one hand and my not-so-very-introductory Introduction to Gödel’s Theorems on the other. The series is encouragingly entitled ‘Gödel Without (Too Many) Tears‘, and updates/extends a previous series published on this page.

  1. Incompleteness — The Very Idea [February 23, 2010]
  2. Incompleteness and undecidability [February 24, 2010]
  3. Two weak arithmetics [March 2, 2010]
  4. First-Order Peano Arithmetic [March 3, 2010]
  5. Primitive recursive functions [March 9, 2010]