Formalized mathematics, to which most philosophizing has been devoted in recent years, is in fact hardly to be found anywhere on earth or in heaven outside the texts and journals of symbolic logic.

In: John D. Barrow, Pi in the Sky: Counting, Thinking, and Being (p. 140)