Imre Lakatos (1922–1974): Philosopher of Mathematics and Philosopher of Science