Richard_Kennaway comments on Formalization as suspension of intuition

[Richard_Kennaway]

See also Terry Tao on three levels of mathematical understanding.