Imre Lakatos: "Proofs and Refutations.  The logic of mathematical discovery" is a fantastic read!