Under the present dominan of formalism ( i. e. , foundationism), 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 history of mathematics, has become empty.