On: There’s more to mathematics than rigour and proofs

[jeeyoungk]

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.