'Lakatos and the Historical Approach to Philosophy of Mathematics'
The Element begins by claiming that Imre Lakatos (192274) in his famous paper 'Proofs and Refutations' (196364) was the first to introduce the historical approach to philosophy of mathematics. Section 2 gives a detailed analysis of Lakatos' id