I can't believe that none of the people have mentioned Lakatos's "Proofs and Refutations" - such a good work, which shows the organical refactoring of a vague mathematical intuition into a formal system.