 Imre Lakatos (1922–1974) was a Hungarian-born philosopher of mathematics and science who rose to prominence in Britain, having fled his native land in 1956 when the Hungarian Uprising was suppressed by Soviet tanks. He was notable for his anti-formalist philosophy of mathematics (where “formalism” is not just the philosophy of Hilbert and his followers but also comprises logicism and intuitionism) and for his “Methodology of Scientific Research Programmes” or MSRP, a radical revision of Popper’s Demarcation Criterion between science and non-science which gave rise to a novel theory of scientific rationality.