[lagrange77]

> 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.

[lanstin]

The * in regular expressions is from that book by Kleene; it used to be called the Kleene star. And the book is all building up the apparatus of functional programs, recursion, implementations of arithmetic and logic, etc. it is a great book for programmers. But it is for basic computability theory, the Gödel incompleteness theorem, results on regular languages and so on.

[lagrange77]

Interesting.

Yes, functional programming feels a lot more mathy than procedural or OOP.