Philosophy of science without history of science is empty; history of science without philosophy of science is blind.
Imre LakatosThe classical example of a successful research programme is Newton's gravitational theory: possibly the most successful research programme ever.
Imre LakatosMathematics does not grow through a monotonous increase of the number of indubitably established theorems but through the incessant improvement of guesses by speculation and criticism, by the logic of proofs and refutations.
Imre LakatosThe 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