> Metamathematics, by Kleene, is programming in maths.

Ookay.

Back in the day i was confused by 'Linear programming', which is optimisation and has nothing to do with coding.

> every feature is ultimately filled in and the underlying beauty is obscured by a fractal of complexity required by the ever growing requirements.

Right. I would say Mathematics tries to unobscure (patterns in) nature. Engineering is creating tools, sometimes leveraging natural patterns. But yeah, Fourier or Laplace definitely created tools, too.