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 ...

For a couple of years or so the brouhaha about AI has been on us. The one worry that consistently nags me is the lack of ...