Lakatos, Imre That sometimes clear ... and sometimes vague stuff ... which is ... mathematics. In P. Davis and R. Hersh The Mathematical Experience, Boston: Birkhäuser, 1981.