Exactly. Math isn't a set of procedures, it's a way of thinking. Without understanding that way of thinking it is impossible to be an educated person.
"Most mathematicians at one time or another have probably found themselves in the position of trying to refute the notion that they are people with "a head for figures." or that they "know a lot of formulas." At such times it may be convenient to have an illustration at hand to show that mathematics need not be concerned with figures, either numerical or geometrical. For this purpose we recommend the statement and proof of our Theorem 1. The argument is carried out not in mathematical symbols but in ordinary English; there are no obscure or technical terms. Knowledge of calculus is not presupposed. In fact, one hardly needs to know how to count. Yet any mathematician will immediately recognize the argument as mathematical, while people without mathematical training will probably find difficulty in following the argument, though not because of unfamiliarity with the subject matter.
What, then, to raise the old question once more, is mathematics? The answer, it appears, is that any argument which is carried out with sufficient precision is mathematical, and the reason that your friends and ours cannot understand mathematics is not because they have no head for figures, but because they are unable [or unwilling, DRH] to achieve the degree of concentration required to follow a moderately involved sequence of inferences. This observation will hardly be news to those engaged in the teaching of mathematics, but it may not be so readily accepted by people outside of the profession. For them the foregoing may serve as a useful illustration."
College Admissions and the Stability of Marriage, Gale & Shapley, The American Mathematical Monthly (Jan 1962)
"Most mathematicians at one time or another have probably found themselves in the position of trying to refute the notion that they are people with "a head for figures." or that they "know a lot of formulas." At such times it may be convenient to have an illustration at hand to show that mathematics need not be concerned with figures, either numerical or geometrical. For this purpose we recommend the statement and proof of our Theorem 1. The argument is carried out not in mathematical symbols but in ordinary English; there are no obscure or technical terms. Knowledge of calculus is not presupposed. In fact, one hardly needs to know how to count. Yet any mathematician will immediately recognize the argument as mathematical, while people without mathematical training will probably find difficulty in following the argument, though not because of unfamiliarity with the subject matter.
What, then, to raise the old question once more, is mathematics? The answer, it appears, is that any argument which is carried out with sufficient precision is mathematical, and the reason that your friends and ours cannot understand mathematics is not because they have no head for figures, but because they are unable [or unwilling, DRH] to achieve the degree of concentration required to follow a moderately involved sequence of inferences. This observation will hardly be news to those engaged in the teaching of mathematics, but it may not be so readily accepted by people outside of the profession. For them the foregoing may serve as a useful illustration."
College Admissions and the Stability of Marriage, Gale & Shapley, The American Mathematical Monthly (Jan 1962)
From a link I believe on HN to http://noahpinionblog.blogspot.com/2013/08/a-few-words-about... which lead eventually to http://econlog.econlib.org/archives/2012/10/rigor_math_and.h...