Let me add my own modest contribution to the Lakatos literature: "The Philosophy of Mathematics of Imre Lakatos," Journal of Philosophy 80 (1983), 502-521. Mark Steiner