Even so, beside the point. I said advances in the state of the art come from thinking about computations and programs mathematically. I later softened that because it was just a stake in the ground anyway, for discussion, which R Hansen then rejects absolutely.
Some people speculate Gauss' contributions to differential gemotery came were (partly?) inspired by his survey of Hanover from 1821-1825. Suppose that's true, does it make differential geometry a branch of surveying?