Authors:

The history of mathematics, lacking the guidance of philosophy, [is] blind, while the philosophy of mathematics, turning its back on the most intriguing phenomena in the history of mathematics, is empty.

Imre Lakatos (1976). “Proofs and Refutations: The Logic of Mathematical Discovery”, p.2, Cambridge University Press
The history of mathematics, lacking the guidance of philosophy, [is] blind, while the philosophy of mathematics, turning its back on the most intriguing phenomena in the history of mathematics, is empty.