Under the present dominance of formalism, one is tempted to paraphrase Kant: the history of mathematics, lacking the guidance of philosophy, has become blind, while the philosophy of mathematics, turning its back on the most intriguing phenomena in the of mathematics, has become empty.

Proofs and Refutations: The Logic of Mathematical Discovery, Cambridge University Press. 1976