Imre Lakatos, 1922-1974. Hungarian-British philosopher of science. He applied to Popper's criterion of falsifiability to mathematical reasoning.