Further notes and handouts
This page links to some assorted further materials related more or less closely to the discussions in IGT.
- Back to Basics: Revisiting the Incompleteness Theorems. The notes for a three-lecture series given to mathematicians at a Cambridge workshop for graduates. They complement the book by approaching things in a rather different order.
- Induction, More or Less: On Some Subystems of Second-Order Arithmetic. Explains, inter alia, more about ACA0, the theory mentioned in Sec. 22.7.
- Isaacson’s Thesis and Ancestral Arithmetic. A stand-alone paper (published in Analysis) reworking ideas in IGT.
- Church’s Thesis After 70 Years. Discusses papers in a volume of essays on Church’s Thesis (amplifying some remarks in the final chapter).
