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.