His two early papers “What Numbers Could Not Be” (1965) and “Mathematical Truth” (1973) became instant classics. The second ...