[jasode]

>Case in point, what are b, a and c? what is their _meaning_

The "b, a, and c" in the quadratic equation are abstractions. They are placeholders for any number. That math equation is purposely designed to not have any concrete meaning for a,b,c. Therefore, asking for their meaning does't make any sense.

I'll try an analogy. We can give provide analogous "computer equation" for taking the last four characters of a string:

  s2 = Right(s1, 4);

If someone were to ask "what is the _meaning_ of s1?", it would be a nonsensical question. The s1 is a placeholder for any string. The s1 could be a domain name and you want to extract the TLD (".com", ".org", ".edu"). Or the s1 could be a date "mm-dd-yyyy" and you want to extract the "2016" from ""10-31-2016". The s1 could be a placeholder for a thousand unrelated applications.

If you further generalize the "computer equation" to be take the rightmost "x" amount of characters, you'd replace the "4" with "x" like this:

  s2 = Right(s1, x);

... it could trigger confusion as to "what does x _mean_? And what measuring device does it come from?"

The "x" is an abstraction/parameter/argument of any number. That number could be 4, or 40000. (You might be tempted to say, "but I know 'x' stands for the number of characters I want from the string!" If so, by analogy you can also say that "c" in the quadratic equation stands for the number that satisfies the equation when you know "x", "a", and "b" ... which just circles back to each 1-character variable not having a concrete "meaning."

The concrete meaning of "a,b,c" in the quadratic equation depends on whether the equation was modeling something in physics, or engineering, or finance.[1][2]

The concrete meaning of "s1" and "x" in the "computer equation" depends on whether you're parsing logs, decomposing dates, verifying credit card numbers, etc.

The analogy above could have been demonstrated with regex such as "(.+)(.{4})" ... which would trigger questions, *"why do programmers use 1-character symbols such as '.' and '+' instead of "anycharacterm_oneormoretimes_consideredasagroup_then_anycharacters_fourtimes_consideredasagroup" ... etc

tldr: computer programmers also deal with weird-looking "equations" but since they are used to them, they have the background knowledge to decipher them.

[1]https://www.mathsisfun.com/algebra/quadratic-equation-real-w...

[2]https://www.boundless.com/algebra/textbooks/boundless-algebr...

[terryf]

Thank you for the thorough explanation!

I see your point with abstract expressions, but the connection I'm failing to make is - if they are completely abstract, then how can the equation be related to the physical world?

In essence, the equation defines the relations between some values - but if any or some of the values can be replaced by real measurements, then surely the relations between real measurements are not interchangeable?

[jasode]

if they are completely abstract, then how can the equation be related to the physical world?

Math equations do not have to be related to anything in the physical world. It's just that humans have found that some patterns in nature seem to match some equations. Why or how math describes the real world is a deep philosophical question![1]

When G.H. Hardy[2] was exploring certain aspects of number theory and properties of prime numbers, it didn't have any relevance to the real world. 100 years later, we now use the math concepts in public key cryptography.

Does Isaac Newton's "F = ma" of "force = mass times acceleration" describe the "reality" of gravity and how planets move in the solar system? Well -- it does -- and it doesn't. It seemed to match reality well enough to find the planet Neptune -- purely by using math. But Newton's math equations didn't seem to match the "reality" of Mercury's orbit.

Then Einstein came up with another set of math equations that matched the "reality" of Mercury's shifting orbit.[3] But now today's physicists notice that Einstein's formulas don't match the "reality" of galaxies rotating faster than the his formulas predict. Today's physicists are trying to come up with another set of math equations to match that reality (or find the elusive "dark matter" so that Einstein's equations remain unchanged.)

(Einstein's equations do not make Newtons's equations obsolete. Newton's math (that doesn't perfectly match reality) is still good enough to guide Apollo rockets to the Moon and back. It's just not good enough to fully describe how Mercury wiggles around the Sun.)

Math is not reality. Math is its own topic that can stand apart from "physics" or "engineering". (Hence, math is the ultimate abstraction.) It's just sometimes convenient for humans to map some mathematics to some realities. It's often helpful for us to do that. Sometimes it backfires. Some Wall Street guys "mapped" math equations to model the financial behavior of mortgages and they turned out to be wrong.

Put another way: If math is used to model the physical world, it is only an approximation for it.

[1]https://www.google.com/search?q=the+unreasonable+effectivene...

[2]https://en.wikipedia.org/wiki/A_Mathematician%27s_Apology#Cr...

[3]http://physics.stackexchange.com/questions/26408/what-did-ge...

[naasking]

> Math equations do not have to be related to anything in the physical world.

Not to derail this into philosophy, but that position is conjecture. There are people who adopt a position where all mathematical concepts actually derive from physical structures, ie. a kind of mathematical physicalism. These people hold that the reduction of math to the physical may be obscure, like a reduction of economics to physics, but still real.