News:

Welcome to our site!

Main Menu

geometry - long post

Started by entropy, August 23, 2013, 12:14:10 AM

Previous topic - Next topic

entropy

The question in another thread about whether or not mathematics is a science was an interesting one to contemplate. Beyond the basic answer I gave in that earlier thread, thinking about the question got me to thinking about geometry, but I thought sharing those thoughts in the other thread would be too much off topic, so I decided it might be better to start another thread rather than have even the small risk of spinning too much of the discussion off away from the primary theme of that thread.



There are many kinds of geometries. Each kind has its own unique set of axioms (though there may be a large number of subsets of axioms that are the same or very similar amongst various geometries). Many, if not all, geometries are logically inconsistent with each other because they have some different fundamental axioms. Mathematicians have no problem with the inconsistencies amongst geometries because they see mathematics as a field of understanding that is about the logical application of axioms related to quantities and is, in its most dogmatic form, "agnostic" about any metaphysical truth or falsity being affixed to one set of axioms just because it is logically inconsistent with another set of axioms. Pure mathematics treats all systems of axioms as equal in the application of basic rules of logic; e.g., the rules of any axiomatic system must be consistent with the law of non-contradiction or it will be deemed mathematically illogical.

Significantly for purposes of this discussion, mathematics has no necessary empirical factor against which to test a system of axioms, because pure mathematics is "agnostic" with respect to any relationship between mathematical axioms and physical reality (events).

Science, on the other hand, is anything but "agnostic" about its application of logic to the hunt for patterns in observations of physical events. Science is empirical. To make a scientific hypothesis is to make a claim about the presence of a pattern in physical events. The hypothesis must not only be logically valid (which is the minimal requirement for a mathematical system), it must also be physically tested to see if it properly predicts relevant physical events.

So...
there are many geometries, but if Einstein is right, there is only one geometry for space-time. Mathematics and science are fairly distinct spheres of thought, but there is a deep conceptual connection between the two due to the natures of mathematics being about quantities and science being about measuring quantities when observing to try to verify a hypothesized pattern in physical events. Certain axiomatic systems about quantities in mathematics work to predict patterns in physical events (and other mathematical axiomatic systems do not).Oftentimes, the hunt for patterns in physical events inherently involves a hunt for mathematical equations derived from axiomatic systems that "match" observed patterns.
 
I think it's interesting to note, though, that in mathematics you can have an "ironclad" proof, but not in science. In science, any conclusion about what is most likely to be the correct identification of a pattern in physical events is a conclusion that is tentative. Nothing in science is proven in the "ironclad" sense. I think that is a reflection of the fundamentally different natures of mathematics and science. Mathematical axiomatic systems are closed loops of logic - though the loopz can expand and contort in the most intriguing ways. When something is mathematically proven, a logical loop is closed. Until there stops being the experience of new events, though, the logic of science can never be closed - it must always be open to the possibility of more accurately finding patterns in physical events. Science can't prove anything (in the "ironclad" sense); the loop is always open.

Solitary

Good post, and I agree that no theory can be proved and is always tentative. In my opinion mathematics is a tool. Solitary
There is nothing more frightful than ignorance in action.

SGOS

I wouldn't call math a science, but a lot of sciences, maybe all of them, need math.  Without the math, much of science would just be some guy pontificating.  Religion doesn't use much math beyond basic counting two of each "kind" sort of things.  It would be irrelevant, perhaps even harmful to the cause.

GurrenLagann

Good post. I'm not very familiar with metaphysics relating to math, so I don't tend to get into those discussions but cool.
Which means that to me the offer of certainty, the offer of complete security, the offer of an impermeable faith that can\'t give way, is the offer of something not worth having.
[...]
Take the risk of thinking for yourself. Much more happiness, truth, beauty & wisdom, will come to you that way.
-Christopher Hitchens

aileron

I think mathematics is an extension of language.  Mathematics has rules much like the rules of syntax, and symbols much like written language.  Some people claim that math is the language of nature, but I think that's just poetic phrasing.  Electrons don't have language; people do.

Mathematics and language are even somewhat interchangeable.  No matter how complex a computer program it all reduces to mathematical instructions coded into semiconductors, and yet we use languages to program our computers.  

As far as the relation between science and math, I think that scientists tend to use the more convenient language to record or communicate a particular idea.  If a scientist is writing about the social behavior of a band of gorillas, English would probably be the language of choice for most or all of the paper.  For papers in Physics, it's typical to see a mixture of English and mathematics.
Gentlemen, you can't fight in here! This is the War Room! -- President Merkin Muffley

My mom was a religious fundamentalist. Plus, she didn't have a mouth. It's an unusual combination. -- Bender Bending Rodriguez

Johan

Quote from: "entropy"When something is mathematically proven, a logical loop is closed. Until there stops being the experience of new events, though, the logic of science can never be closed - it must always be open to the possibility of more accurately finding patterns in physical events. Science can't prove anything (in the "ironclad" sense); the loop is always open.
Science doesn't tell us what's true. Science can only tell us what isn't true and we are then left to assume what is true after we have eliminated all other possibilities as false. And of course there are always other possibilities so the loop is always open.
Religion is regarded by the common people as true, by the wise as false and by the rulers as useful

entropy

#6
Quote from: "SGOS"I wouldn't call math a science, but a lot of sciences, maybe all of them, need math.  Without the math, much of science would just be some guy pontificating.  Religion doesn't use much math beyond basic counting two of each "kind" sort of things.  It would be irrelevant, perhaps even harmful to the cause.

Mathematics provides a language for quantitative measurement - as aileron was talking about - that is objective in the sense that anyone should be able to duplicate a test of a scientific hypothesis and get the same results from the measurements. This is a large part of how science gets around the problem of subjective impressions - or as you suggest, "just some guy pontificating".

Plu

I think "mathematics as language" is a pretty accurate description of what it does. It's a language designed to be understandable by everyone, that leaves no real margin for error, and has no subjectivity.

It's no wonder that we operate computers using math. All of the english in programming is just window-dressing for raw mathematics that operate the programs.

entropy

Quote from: "GurrenLagann"Good post. I'm not very familiar with metaphysics relating to math, so I don't tend to get into those discussions but cool.

Yeah, I'm not sure about the ontology of mathematics. But I think we can talk about the relationship of mathematics and science without assuming a particular ontological status for mathematical "entities". I suppose, though, that if a person assumes that mathematical entities exist in physical reality like matter and energy, then that could lead to some fascinating conjectures about the relationship of mathematics to science. Maybe a synesthetic who sees colors or hears musical notes when he contemplates certain numbers is apprehending the connection between mathematics and physical reality in a profound way.   :-D

SGOS

It's strange that rather simple mathematical expressions should precisely describe natural events  (E=mc2).  And why does the square and square root show up so much in nature?  

Take the speed of a falling body.  Know the duration of the fall, the distance a body falls in that duration, multiply some numbers and then square the thing, and presto.  You know how fast it's falling at any given second.  It's just gravity, but to figure it out, you need squares and square roots.  Why is that?  What's so special about squares and square roots?  They keep showing up as if nature can't do anything without using some arbitrary mathematical language with a square root here and there to do it.  

My intuition tells me math just describes nature, yet on the surface it seems like nature takes it's orders from math.  I've always wondered why it seems like that.

entropy

Quote from: "Johan"Science doesn't tell us what's true. Science can only tell us what isn't true and we are then left to assume what is true after we have eliminated all other possibilities as false. And of course there are always other possibilities so the loop is always open.

That's true.  :)  In a practical sense, what we are left with in science is a best guess about what is likely to be true. In the functioning world that seems to be extremely useful. That's what engineering is all about.

Plu

A square root is just representing a 2-dimensional attribute, usually. Actually they're deceptive; they're not as meaningful as they look. It's not so much E = m*c^2, but it's E = m*c*c. These are, of course, equivalent, but it looks much more mathematical if you use the square root sign.

If you replace all the square roots with what they represent (ie; a square is not 6m^2 of surface but rather 6*m*m meters) it'll look very different, but represent the same. Except now all the "math" is gone, it's just a bunch of physical constants.

Then if you remember that the meter is just an arbitrary piece of length decided on by some french emperor, you get to the point where the surface of a square is just the multiplication of two distance vectors that have a unit conversion in there to make it clear to readers that we're talking distance, and roughly how much distance.

And then multiplication can be described as taking a distance vector, making a number of copies, and then putting them side by side, pointing in the same direction, with one unity-vector distance between them, and you realise that ultimately surface area is just expressed in a number on a numbers-line, and all the mathematical constants like meter or second is just stuff we add for our own clarity, so that we can easily see what the real world effect is.

This probably stopped making sense a while ago.

Plu

For the hell of it, because this kind of thing was an eye-opener to me as a kid, I'm gonna do some juggling.

E = mc^2
---
E = m * c * c
---
c = 299 792 458 * m / s
(Replacing one m with kg, because e=mc^2 uses m for mass but c uses it for meters)
---
E = kg * 299 792 458 * m / s * 299 792 458 * m / s
---
E = 8.9875518e+16 * kg * m * m  / ( s * s )
---
E = 8.9875518e+16 * kg * m^2 / s^2

This is a perfectly valid way to write the amount of energy E present in matter.

Now we can make it even funnier... we're arrived at the unit kg * m^2 / s^2... and that's actually a really well known unit, namely the Joule. So I guess E is 8.9875518e+16 Joules.

Is that useful? I don't know. Probably not. But not a lot of people seem to realise you can do this kind of stuff. The math is just a descriptor, and you just get taught a few and then usually lose track of what they mean.

SGOS

Quote from: "Plu"This probably stopped making sense a while ago.
No worries.  That's the same thing I thought about my own question.  Sometimes it's like that when trying to express yourself.

I can see why formulas work when working with simple geometrical objects.  That's more cut and dried.  But nature?  Specifically, things like behavior of gravity, energy as a function of the speed of light squared?  Whoa!  Those things seem mysterious to me.  It's like a mathematician designed the physical laws that our universe is dependent on.  It's like he asked, "How strong a force should I make gravity?"  And then he arbitrarily started with an equation that included a square or square root, did the math, and declared, "That's how strong a force I will give to gravity!"

After he had done the math, he could have said, "Just to make it complicated, I'll thrown in a +14 for the Hell of it, and use that for the amount of energy in mass, but he didn't.   :-D

Plu

I think you are approaching it from the wrong side. This is really hard to explain, especially in English, but I'll try anyway...

The meter is an arbitrary distance. (You probably know that Napoleon first introduced it because he was sick of all the different distance units.)
However, the concept of distance is not arbitrary. We understand that there is such a thing as distance, and we needed to measure it. So we decided to pick our numbers scale, pick a random distance, and then said "1 distance unit".

Then, when we came across other kinds of abstract concepts, we picked a unit for them as well. We took a random point in time and said "1 time unit".

And thus enters the formula... because we have an arbitrary unit for distance and an arbitrary unit for time, we can now create a formula for the speed of an object. (Because speed is a measurement of distance over time). So we create the formula "1 distance unit per 1 time unit", to determine the abstract concept of how quickly something is moving.

This also brings into light the seperation between numbers of units... numbers are meaningless. Only when a number (like 3) is combined with a unit (like the meter) does a number represent something useful. This is why it would be impossible to have a formula that has a "+14" in it... 14 does not mean anything. In order to be added to the formule, it would need a unit. And if it has a unit... we'll need an arbitrary conversion unit for it. And hey, we might as well pick one that simplifies the formula. Like, if we add some constant force to all of these... we might as well pick our unit as "equal to that constant force" and simplify our formula from (randomly) G=vkr+14z to G=vkr+X, and suddenly have something that looks elegant. Just because we picked a different number, or introduced a new constant.

--

Writing this I came up with what is probably the perfect example of "picking your units wisely".... the formula to calculate the circumference of a circle. It's really messy:
Circumference = length * 3.14159265359. That doesn't look elegant at all.

Hey, I know... lets convert the complicated number into a constant.
Circumference = length * ?.

Boom. Instant elegance. Not a property of the universe, just a property of "picking your units wisely since they are arbitrary anyway"

Another example. If your lamp said: "60kg?m^2?s^-3", that would not look very elegant, would it? On the other hand, if we just make it elegant by defining a new unit called the Watt which is defined to be equal to 1kg?m^2?s^-3 we can say a lamp is 60Watt and suddenly it looks elegant and simple again, even though it is not really so.