(!rant)

Agree.

Algorithms will never replace math. Algorithms are often based on math, but are generally imperfect iterative approaches to solving something, whereas math solves things at a more fundamental level.

In short, math can make your algorithms way more efficient.

I mean I suck at math, but I would never underestimate its importance.

@devios1 Yes, you're right. Can't leave math behind. There's no algo without math. But algorithms give you a fun and logically solid enough way to think of solutions.

There is a lot of operation not formalizable with algorithm

@devios1 they’re not actually talking about replacing math though, just the format that mathematical functions take. Personally I love the idea because I get programming, but vector calculus is lost on me

@dev0urer i challenge you

Formalize the dual vector space theorem of the dual basis existance with INFINITE dimensions

It's teached at first year of physics university

Formality of mathematics is the best possible to suit EVERY problem.

It's scalable as nothing else

@eisterman first of all, *taught. Secondly, I’m sure I could if I knew anything about it. A lot of these difficult equations are being solved by super computers. A lot of programming is also based off of mathematical notation in the first place (lambda calculus)

@dev0urer you wrong

Math is not only equations.
Math is THEOREMS.

Only Haskell have prooven some theorems. No language can solve abstract theorems which are the base of all the modern science.

This approach to the Math is very naive

Algorithms are just a branch of mathematics born long before IT computing. They allow to solve problems that present no analytical path to reach an exact solution but only an analytical demonstration of having a single solution (like non linear systems of algebraic equations or partial differential equations systems) by using iterative procedures to converge to an imperfect but close enough solution. Computing began because this shit is time consuming for a human being but blazing fast (in comparison, because I had problems being crunched by clusters for days before obtaining a result) for a CPU, since it is basically moving from the "conceptually hard" continuum field to a discretized field of simple subsequent operations.

That being said there are algorithms capable of producing the exact analytical solution (ofc for problems with an analytical solution ), for example using Gauss LU transformation to solve a linear system.

Example: Demonstrate me with a computer that pi is an irrational number. With a computer is prooven impossible

@eisterman Absolutely! But I don't think we're talking abt replacing Math itself! Some (of course not all, NEVER all) of these 'models' are now somewhat easier to understand algorithmically is all that's implied.

@null-pointer but it's not more than a mental excercise

Sure man. Good luck with calculus.