Like badly written haikus, there’s a steady flow of few-syllabled Brits leaving the UK right now. These abandoneers of the modern age are disgruntled with ...

His two early papers “What Numbers Could Not Be” (1965) and “Mathematical Truth” (1973) — the latter of which came to be called “the Benacerraf problem" — became instant classics and are discussed to ...