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

[matt grime]

I would like to echo selfAdjoint there. The foundations of maths, whatever they may be, are of very little interest to mathematicians anymore. We do what we do. The vast majority of mathematics (including mathematical physics) papers have no reference to the world or experiment. In some sense that's what makes it hard to follow but it is also a necessity in order to make any progress at all. Are the underlying rules, rules that we make little reference to, chosen for their applicability to the real world? To be honest who knows, or cares - it's all a matter of interpretation anyway. For instance, do the axioms of ZF encapsulate the real world of "sets"? Many will say no. Indeed as soon as we start to do maths we create far more objects (used in a reasonably accurate sense for the category theorist) than exist, so the rules we need to manipulate them will not have any reflection in the real world: the set of all sets is purely a theoretical issue. There are many ways to pass beyond finite collections of things, and none of them can really be said to encapsulate the real world since there are only a finite number of objects in it, so how can we say the (very necessary) rules we choose there reflect anything 'real'?

If we take the axiom of choice as false then there are vector spaces without well defined bases. If we accept it then there are unmeasurable sets, and there is the Banach Tarski paradox to deal with.

Here is another discussion about such things:

http://www.maa.org/devlin/devlin%5F6%5F01.html

 

[Aquamarine]

I will repeat my previous post:

Maybe. But much mathematical research is not there. And probably almost all of that is applied. Much is never reveled. Like cryptography. The NSA is the world's largest employer of mathematicians with PhDs and has budget larger than the CIA. Or mathematics in military research. Or mathematics considered trade secrets by corporations. In finance mathematics is a central part of forecasting prices, often using exotic techniques.

And very importantly, everything involving programming computers is mathematical research into boolean algebra. All the steps from designing the CPU to high-level programming is an enormously complex application of boolean algebra. Including the research into efficient algorithms for database searches, data compression or graphical dispaly of 3D objects.

 

[Aquamarine]

I would like to echo selfAdjoint there. The foundations of maths, whatever they may be, are of very little interest to mathematicians anymore. We do what we do. The vast majority of mathematics (including mathematical physics) papers have no reference to the world or experiment. In some sense that's what makes it hard to follow but it is also a necessity in order to make any progress at all. Are the underlying rules, rules that we make little reference to, chosen for their applicability to the real world? To be honest who knows, or cares - it's all a matter of interpretation anyway. For instance, do the axioms of ZF encapsulate the real world of "sets"? Many will say no. Indeed as soon as we start to do maths we create far more objects (used in a reasonably accurate sense for the category theorist) than exist, so the rules we need to manipulate them will not have any reflection in the real world: the set of all sets is purely a theoretical issue. There are many ways to pass beyond finite collections of things, and none of them can really be said to encapsulate the real world since there are only a finite number of objects in it, so how can we say the (very necessary) rules we choose there reflect anything 'real'?

If we take the axiom of choice as false then there are vector spaces without well defined bases. If we accept it then there are unmeasurable sets, and there is the Banach Tarski paradox to deal with.

Here is another discussion about such things:

http://www.maa.org/devlin/devlin%5F6%5F01.html

And why then should society support those mathematics, if it is of no usefulness in the real world? Why not spend the money on teaching dead languages? Or on those prefering to play Everquest all day? Or on better health care? Or on reducing poverty? Why should taxpayer's money support those who want to play an useless game?

 

[master_coda]

And why then should society support those mathematics, if it is of no usefulness in the real world? Why not spend the money on teaching dead languages? Or on those prefering to play Everquest all day? Or on better health care? Or on reducing poverty? Why should taxpayer's money support those who want to play an useless game?

Money is spent on mathematics because there are people who are interested in its results. Just like any other type of research.

 

[Aquamarine]

Money is spent on mathematics because there are people who are interested in its results. Just like any other type of research.

Yes, but why should the state do that, using taxpayer's money? For those mathematics of no use in the real world? I am not arguing against indviduals spending their own money.

 

[HallsofIvy]

"The state" appears to believe that knowledge is a good thing in and of itself. It is also true,as I pointed out before, that often applications for pure mathematics are found AFTER the pure mathematics is done for no other reason than to "see how it works"- Riemannian Geometry was defined and researched long Einstein realized it could be used to describe general relativity.

By the way, the "state" doesn't support a heck of a lot of pure mathematics research. That typically is done by university professors who are paid to teach. The research is pretty much "on the side" (though an important side: it makes the university look better!). Wiles, for example, wasn't given any government support for his research into Fermat's Last Theorem (no doubt part of his salary was through government funding but it wasn't for the purpose of proving Fermat's Last Theorem)- which, by the way, is a good example of "non-empirical" mathematics.

Your original statement, by the way, was "truth in mathematics is ultimately derived from physics." Have you given up on that?

 

[CrankFan]

And why then should society support those mathematics, if it is of no usefulness in the real world?

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...

 

[Aquamarine]

"The state" appears to believe that knowledge is a good thing in and of itself. It is also true,as I pointed out before, that often applications for pure mathematics are found AFTER the pure mathematics is done for no other reason than to "see how it works"- Riemannian Geometry was defined and researched long Einstein realized it could be used to describe general relativity.

By the way, the "state" doesn't support a heck of a lot of pure mathematics research. That typically is done by university professors who are paid to teach. The research is pretty much "on the side" (though an important side: it makes the university look better!). Wiles, for example, wasn't given any government support for his research into Fermat's Last Theorem (no doubt part of his salary was through government funding but it wasn't for the purpose of proving Fermat's Last Theorem)- which, by the way, is a good example of "non-empirical" mathematics.

Your original statement, by the way, was "truth in mathematics is ultimately derived from physics." Have you given up on that?

Yes, I have given upp a consensus opinion of truth, especially since it is not possible to define semantic truth within a formal language. But the title and essence still stands. Is mathematics empirical?

You do seem to agree that the value of apparently useless mathematics above playing a computer game is that they may be useful in the future. And my point is that this is what decides mathematical research, other people are not interested in supporting useless games played of mathematicians. In return for working for the mathematicians, they want something in return. So most mathematical research is forced into that useful in and agreeing with the real world. In that sense it is empirical. And do not argue for beauty or being like poetry, almost all people except of the mathematicians themselves do not understand what they are doing or producing.

If the state do not support much pure mathematics, then that is support for my view.

 

[master_coda]

Yes, but why should the state do that, using taxpayer's money? For those mathematics of no use in the real world? I am not arguing against indviduals spending their own money.

Because not very many people want the state to only spend money on things "of use in the real world".

 

[Aquamarine]

Because not very many people want the state to only spend money on things "of use in the real world".

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.

 

[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