1. Introduction; 2. Lakatos' contribution to the philosophy of mathematics; 3. Lakatos' legacy in the philosophy of mathematics I (1975¿1995); 4. Lakatos' legacy in the philosophy of mathematics II (1996¿2023); 5. Concluding remarks; References.
This Element gives a detailed analysis of Imre Lakatos' ideas on the philosophy of mathematics. It also gives an account of how other researchers developed this approach after his death, what has been achieved so far, and what its prospects for the future might be.