Formalism, Formalization, Intuition and Understanding in Mathematics

From Informal Practice to Formal Systems and Back Again