Gödel’s Theorems (and logicisms) revisited (opens in new tab)

I didn’t at all intend to return to my Introduction to Gödel’s Theorems (which I’ve not really read for a dozen years, apart from correcting a small handful of typos in the PDF). But I had occasion to look something up, and — hey, ho! — I’ve found myself over the last week beginning to […]