Exercises

IGT1 was already a long book: IGT2 is a bit longer still.  That’s one major reason for not including exercises in the book itself. But another, equally important, reason is  that I didn’t want to discourage not-so-mathematical philosophers by adding daunting end-of-chapters lists of problems.

Still, some readers might appreciate exercises to help test their understanding, and (occasionally) to expand their knowledge too. Note, it isn’t required that you do any of the exercises to follow the book. But here’s a (very slowly growing) selection to make use of as you will.

I’ve given answers to most of the exercises. All references to Chapters, Sections, Theorems etc. are to the Second Edition.

Ch. Topic Answers Updated
2 Functions Ans 25 jul 2014
2 Equinumerosity Ans 15 feb 2013
3 Computability Ans 16 feb 2013
4 Theories Ans 22 feb 2013
5 The language LA Ans 7 mar 2013
6, 7 Sufficiently expressive/strong theories Ans 12 jan 2014
9 Induction, informally Ans 5 mar 2014
10, 11 Arithmetics without induction Ans 24 jul 2014
12, 13 Arithmetics with induction Ans coming soon