Imre Lakatos was a Hungarian philosopher of mathematics and science, known for his thesis of the fallibility of mathematics and its "methodology of proofs and refutations" in its pre-axiomatic stages of development, and also for introducing the concept of the "research programme" in his methodology of scientific research programmes.
Lakatos, c. 1960s
Philosophy of mathematics
Philosophy of mathematics is the branch of philosophy that deals with the nature of mathematics and its relationship with other human activities.
Kurt Gödel
Bertrand Russell
David Hilbert
Leopold Kronecker