"We are still in the aftermath of the great foundationist controversies of the early twentieth century. Formalism, and , each left its trace in the form of a certain mathematical research program that ultimately made its own contribution to the corpus of mathematics... As philosophical programs, as attempts to establish a secure foundation for mathematical knowledge, all have run their course and petered out or dried up. Yet there remains, as a residue, an unstated consensus that the philosophy of mathematics is research on the foundations of mathematics. If I find [that] uninteresting or irrelevant, I conclude that I'm simply not interested in philosophy (thereby depriving myself of any chance of confronting my own uncertainties about the meaning, nature, purpose or significance of mathematical research)."