I’m sometimes asked for recommendations about what to read after IGT – or indeed, what to read instead of tackling IGT if you are looking for something less weighty, or for something more like a conventional mathematical text. So here are some suggestions, for different kinds of audiences.
There is also the entry on Goedel in the Stanford Encyclopedia of Philosophy, which goes through most of the major theorems, on the general audience level, including of course the Incompleteness Theorems. It has been recently updated (by me, its author).
Oops, yes of course! I’ll add that to the page. Thanks.