Is the Empirical Nature of Mathematics and Logic the Key to Understanding Truth?

[Aquamarine]

Great idea!

Take non-Euclidean geometry. A perfect example of mathematics which had no obvious use in the "real world" at the time of its development. It's madness that anyone wasted their time with such fantasies when their time could have been equally well spent playing EQ!

And digital cryptography. More garbage. It just seems like many of the useful theorems of cryptography, discovered many centuries ago or earlier, have obvious application. The enlightened know that this is just an illusion; any result that follows from investigations into a branch of mathematics with no obvious application is necessarily useless in the "real world".

Just think about how much better off science would be if mathematicians never wasted any time on pure mathematics.

Oh wait a second...

That there were very little research into non-Euclidean geometry for centuries is support for my point. Not useful, not much research. Of course there will always be some who do research into apparently useless areas, sometimes with funds of their own. But most will be into areas apparently useful.

Regarding non-Euclidean geometry, research would have begun into that area anyway when it become clear that experiments were difficult to fit into Euclidean geometry. It is not evidence for that apparently useless mathematics must be done.

When it becomes clear that the old mathematical theories have difficulty fitting the facts of the real world, then new research will be done into now useful areas.

 

[master_coda]

You think so? That they do not want the state to concentrate its limited resources on things useful, like health care or reducing poverty? And it they do not want that, why should mathematics be supported instead of playing Everquest 24/7/52.

Almost everyone has their own little "useless" pet projects that they want to funnel public money into. Since there are lots of people who appreciate the acquisition of knowledge for its own sake, it's not surprising that a few crumbs of public money finds its way into the hands of mathematicians. Even if other people consider those endeavours useless.

And even then, it's usually indirect subsidies. People who are paid to do teach or do more applied research use some of their time doing pure math research. A scholarship to a student who's specializing in pure math. That sort of thing.


And of course, usefullness is in the eye of the beholder anyway. After all, health care money is sometimes spent keeping people alive who will no longer be able to contribute to society. So that money would be just as uselessly spent; but other people consider such work to be an end unto itself and would thus say that it is useful. Without a common standard for what is useless and what is not, usefullness isn't a good standard for public funding.

 

[master_coda]

When it becomes clear that the old mathematical theories have difficulty fitting the facts of the real world, then new research will be done into now useful areas.

This is like telling people to only invest in businesses that will be successful.

We don't know what areas of math are going to be helpful to other fields until after we've developed the math. How are we supposed to recognize an application of a math theory if we don't know anything about the theory yet because it's "useless"? We can't study the theory until we have an application, and we won't recognize the application until we study the theory.

And what's the threshold of difficulty before it becomes acceptable to research new fields? There isn't a lot of middle ground; requiring a concrete application in advance is basically equivalent to no research ever, and only requiring the possibility of an application makes almost any reasearch acceptable.

 

[Aquamarine]

Almost everyone has their own little "useless" pet projects that they want to funnel public money into. Since there are lots of people who appreciate the acquisition of knowledge for its own sake, it's not surprising that a few crumbs of public money finds its way into the hands of mathematicians. Even if other people consider those endeavours useless.

And even then, it's usually indirect subsidies. People who are paid to do teach or do more applied research use some of their time doing pure math research. A scholarship to a student who's specializing in pure math. That sort of thing.


And of course, usefullness is in the eye of the beholder anyway. After all, health care money is sometimes spent keeping people alive who will no longer be able to contribute to society. So that money would be just as uselessly spent; but other people consider such work to be an end unto itself and would thus say that it is useful. Without a common standard for what is useless and what is not, usefullness isn't a good standard for public funding.

Regarding a common standard, in practice most people are rule utilitarians. So spending money to reduce illness fit the common standard.

But you are right that people have somewhat different goals. And that therefore some money will find its way into not apparently useless mathematics. But that it is little money is support for the view that most people want to have something useful in return for working for the mathmaticians.

 

[Aquamarine]

This is like telling people to only invest in businesses that will be successful.

We don't know what areas of math are going to be helpful to other fields until after we've developed the math. How are we supposed to recognize an application of a math theory if we don't know anything about the theory yet because it's "useless"? We can't study the theory until we have an application, and we won't recognize the application until we study the theory.

And what's the threshold of difficulty before it becomes acceptable to research new fields? There isn't a lot of middle ground; requiring a concrete application in advance is basically equivalent to no research ever, and only requiring the possibility of an application makes almost any reasearch acceptable.

That is true for all investments. It is not possible to know before which one is the best and should get the resources. But it is possible to make educated guesses. So resources are given to those mathematicians who are working with axioms more probable to give useful results.

The need for new research can be when facts from experiments fit poorly with the known mathematical theories. Or doing research close to areas that given useful results before.

Again, this is like all other investments, most of those are done in areas mostly known before. Those investing in extremely speculative ideas, like a working black hole power generator, is likely to lose their investment. So little investing is done there.

 

[master_coda]

That is true for all investments. It is not possible to know before which one is the best and should get the resources. But it is possible to make educated guesses. So resources are given to those mathematicians who are working with axioms more probable to give useful results.

This is already the way things are done. The most heavily subsidized fields in mathematics are in fields with immediate applications e.g. cryptography. Some money is invested into general research without a specific purpose; this is hardly something unique to mathematics.


In fact, your argument doesn't seem to have anything to do with math at all. It seems to really just be a dispute about the proper way to invest public money.

 

[Aquamarine]

This is already the way things are done. The most heavily subsidized fields in mathematics are in fields with immediate applications e.g. cryptography. Some money is invested into general research without a specific purpose; this is hardly something unique to mathematics.


In fact, your argument doesn't seem to have anything to do with math at all. It seems to really just be a dispute about the proper way to invest public money.

Just a pointing out which areas and axioms of mathematics are most researched. And the reason why and that it is a good reason. Apparently, this is very controversial.

 

[Aquamarine]

See also my earlier discussion that predicate logic and the current concepts of limits and derivatives could be abandoned in the future, if this would be useful.

 

[master_coda]

Just a pointing out which areas and axioms of mathematics are most researched. And the reason why and that it is a good reason. Apparently, this is very controversial.

Well, the issue most people have is that you seem to think that something is invested in has to do with its validity or truthfulness, or how empirical a subject is. And referring to axioms is misleading; nobody invests in axioms.

Business investment strategies are hardly the place to be looking for truth. They're barely capable of producing adequate solutions to problems, even in the short-term.

 

[matt grime]

Regarding non-Euclidean geometry, research would have begun into that area anyway when it become clear that experiments were difficult to fit into Euclidean geometry. It is not evidence for that apparently useless mathematics must be done.

I've seen this view expressed a lot, without anyone ever providing any evidence to support it. How do you know that these physicists wojuld have thought to develop this theory? If it weren't there already why do you even think they would have gone towards it? It is just something that we use as a model after all, it isn't actually anything real.



I would like to proffer the alternate suggestion of why send people to the moon? Why develop satellite TV, why make particle accelerators? They are of no direct use. In fact practically none of the work in any physics department in the world today has any use in the real world. We are very good at predicting the behaviour of subatomic particles, and where there should be black holes, but physics can do squat about famine, drought, war, Earth quakes, avalanches, aids...

It can create an atomic bomb, chemical weapons and food stuffs that cause chronic obesity, though. So, yes, we mathematicians are the ones that should hand our head in shame at how little we contribute to the world.


Returning to mathematics and leaving the devil's advocacy alone, many of us have removed the notion of limit from derivative and found it very useful in mathematics and physics already.

 

[HallsofIvy]

Please do not "hi-jack" other peoples threads to tout your own pet non-sense. You have posted this same thing on two of you own threads- I don't mind that so much but don't try to take over other peoplkes threads.

 

[selfAdjoint]

Shorter Ryskamp:

Can't do relativity in economics, so much for relativity.

I like Sraffa better than Keynes, so much for Keynes.

We in the 21st century are ever so much sharper than the big names of the 20th century, so much for them.

I have a thought on Einstein's relativity which is so confused it shows I don't understand Einstein. So much for me!

I am going to keep posting this same megillah until I cover the face of the earth.

 

[Philocrat]

There is no absolute truth in mathematics and logics. There are many consistent mathematical systems, consistent in the sense that they are not breaking the basic rules. But there is no absolute way of knowing that the basic rules are true. And there are limitless basic rules that can be chosen. Different basic rules gives different systems, like the intuitionist logic,predicate logic or fuzzy logic.

So why then is mathematics/logic interesting and why are some systems studied instead of others? I would argue it is because mathematics is empirical. There are some logical and mathematical systems that are more true than others. Those systems that more closely follow the real world are more true than others.

So truth in mathematics is ultimately derived from physics. Those mathematics that gives physicists more accurate models are more true.

Yes, it is!

 

[CrankFan]

Yes, it is!

Right, so how do you derive from physics, the truth that \pi is transcendental?

 

[honestrosewater]

Well, just to strengthen my point, do I understand correctly that the universe of discourse, x, is empty just in case [\exists x (Px)] is false and [\forall x (Px)] is true? BTW, I am not talking about the physical universe.

 

[CrankFan]

Well, just to strengthen my point, do I understand correctly that the universe of discourse, x, is empty just in case [\exists x (Px)] is false and [\forall x (Px)] is true? BTW, I am not talking about the physical universe.

In FOPL, the domain of discourse is non-empty, by definition. Have no idea what your point is.

 

[honestrosewater]

In FOPL, the domain of discourse is non-empty, by definition. Have no idea what your point is.

My question about the universe of discourse is the subject of another thread where comments about the physical universe and the applications of logic keep intruding. Now that the question is here, I'm hoping those irrelevant comments will follow it.

 

[CrankFan]

My question about the universe of discourse is the subject of another thread where comments about the physical universe and the applications of logic keep intruding. Now that the question is here, I'm hoping those irrelevant comments will follow it.

I see your initial post in that thread, and questions along the lines of: if the domain of discourse is empty, is this or that formula "true" (I think you meant, a theorem).

But before anyone can answer your question they need to know what kind of logic you're talking about. If you're talking about first order predicate logic (which seems to me to be a reasonable assumption) then the answer to your original question is: that case never arises. So there's no point in taking it any further.

 

[honestrosewater]

CrankFan, so as not to intrude here, my reply is here.

 

[Philocrat]

Right, so how do you derive from physics, the truth that \pi is transcendental?

A Superior Logic or Mathematics is the one that CAN reconcile SEQUENTIALISM with SIMULTANEITY. The mariage between these two beasts is the very foundation or seat of reality. My prediction is that there is no logical or quantitative utterances that can transcend this spooky marriage. The fate of Logic or mathematics lies in the continual interplay of these beasts in the spooky marriage. If reality colapses so will the marriage along with its underlying sustaining quantitative and logical components! That mathematics or logic is empirically enliven is beyond dispute.

 

[Hurkyl]

All I have to say is