3 ms·
> 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
by lagrange77 3mo ago
> 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 3mo agoThe * 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 3mo agoInteresting. Yes, functional programming feels a lot more mathy than procedural or OOP.