Why does math work in our reality?

In summary, pure and applied mathematicians and physicists have tied our understanding of reality with mathematics. They believe that if it computes it is real. This will do for a while, till we pose a question beyond our understanding. The key to the "Unreasonable Effectiveness of Mathematics in the Natural Sciences" is having a large array of mathematical structures and choosing the one that best fits the specific application. Math works in our reality because it is a result of centuries of hard work and refinement to create a model of reality using symbols and logic. The universe can be seen as an aquarium where we are the marine species that got smarter, and mathematics is the tool we use to understand and explain it.
  • #106
apeiron said:
But if you insist on being dualist, taking the position that qualia are primal...

Consciousness is primary to epistemology, ontology is something entirely different.

I never said anything about dualism.

You're nothing but a cranky troll.
 
Physics news on Phys.org
  • #107
apeiron said:
In fact paying attention to your experiences is a highly artificial and learned skill. Animals and babies can't do it. And it takes a lot of practice and scaffolding for even modern Western adults.

That appears completely untrue. Even simple sea slugs can learn from experience. If they did not pay attention to an experience, it seems unlikely they would be able to pair it with an outcome and consistently modify their behavior (protectively) when a dangerous event repeated.

I suppose, they couldn't "mull it over" after the fact, but there was a sensory register (attention paying) at some point.
 
Last edited:
  • #108
Math Is Hard said:
That appears completely untrue. Even simple sea slugs can learn from experience. If they did not pay attention to an experience, it seems unlikely they would be able to pair it with an outcome and consistently modify their behavior (protectively) when a dangerous event repeated.

OK, this is getting ludicrous. Provide me with citations that Aplysia "pays attention" in Kandel's classic habituation experiments.

You in fact have this example exactly about front. Aplysia is genetically wired to respond to a prod and habituation is "learning" to ignore what is not actually dangerous. Or rather a simple tiring of the circuitry via the simplest feedback. No anticipation involved.

As to babies and chimps, I would refer you to Mead and Vygotsky. Feel free to debate the actual science.
 
  • #109
Then I might be unclear on the definition of "attention". The way I see it, it can be something that is controlled:

http://www.mybrilliantkidz.com/wp-content/uploads/studying-child.jpg

Or it can be something that is uncontrolled:

Cats-CatsWatchingBirds.jpg
 
Last edited by a moderator:
  • #110
Controlled and uncontrolled would be a woolly distinction. And also irrelevant to my statement - "In fact paying attention to your experiences is a highly artificial and learned skill."

It is selectively attending to the "contents of awarenesss" - introspection - that I was talking about. Extrospection is what brains are designed for. Introspection is a skill humans cultivate (and is difficult because it is essentially unnatural).
 
  • #111
apeiron said:
Controlled and uncontrolled would be a woolly distinction. And also irrelevant to my statement - "In fact paying attention to your experiences is a highly artificial and learned skill."

It is selectively attending to the "contents of awarenesss" - introspection - that I was talking about. Extrospection is what brains are designed for. Introspection is a skill humans cultivate (and is difficult because it is essentially unnatural).

OK, I think I understand you better now. Thanks for clarifying.

So, it is your belief that we are not biologically wired for metacognition (thoughts about our thoughts), but that we can learn it, and that non-human animals are incapable of this?
 
Last edited:
  • #112
Math Is Hard said:
So, it is your belief that we are not biologically wired for metacognition (thoughts about our thoughts), but that we can learn it, and that non-human animals are incapable of this?

Correct.
 
  • #113
Perspectives said:
I’m reviewing my mathematics knowledge, except I’m looking for a different reason. I understand how it works you know, 1 plus 1 so on, I’m trying to understand why it works.

Pure and applied mathematicians and physicists have tied our understanding of reality with mathematics. They believe that if it computes it is real. This will do for a while, till we pose a question beyond our understanding.

But that’s for a different time. Why does it work?

Any takers?

Even though a calculation computes, the result may not reflect reality. To give you an example, let's assume a computer monitor has an area of 93.5 square inches. It's width is 2.5 inches larger then its length. What is the length and width of the computer monitor?

The area of the computer monitor is computed as A=LW.
We know the area so 93.5 = LW.
We also know the width is 2.5 inches larger then the length so 93.5 = x(x+2.5).
After we distribute the x, we arrive with 93.5 = x^2 + 2.5x.
After we set the equation to 0, we have 0 = x^2 + 2.5x - 93.5
Since we are too lazy to factor, we use the quadratic equation:

attachment.php?attachmentid=21039&stc=1&d=1255143899.gif


The b value is 2.5.
The a value is 1.
the c value is 93.5.

After we plug in the values and do some calculating, we arrive with two solutions.
The roots of the quadratic are X = 8.5 and x = -11.

So we test our results with the area formula A=LW.
The area a will be 93.5.
The length will be 8.5.
The Width will be (8.5+2.5) or 11.
We plug in the values 93.5 = (8.5)(8.5+2.5).
We do the addition (8.5+2.5) = (11) first.
Then we times 8.5 with 11 to get 93.5.
The equation now appears as 93.5 = 93.5, and it its a true equation.
Thus, our first solution of 8.5 works, and we can tell the length is 8.5 inches and the width is 11 inches.


The next solution was -11, and we do the same thing to test the results.
After filling in the values, 93.5 = (-11)(-11 + 2.5).
We again arrive with 93.5 = 93.5, which is a true equation; however, the length of the monitor would be -11 inches, and the width would be -8.5 inches.

Can a monitor have a negative length and width? As far as mathematics is concerned, the answer is yes; however, we are presented with a physical limitation. So we disregard the negative result in favor of the positive result.
 

Attachments

  • quadratic.gif
    quadratic.gif
    1.7 KB · Views: 463
Last edited:
  • #114
wofsy said:
While I agree with your description of mathematics generally, I am not so sure that we can not have an ultimate mathematical/physical theory. Physicists differentiate between what they consider to be phenomenological theories and fundamental theories. For example the Shroedinger equation describes the spectrum of the hydrogen atom as a phenomenon but not in a fundamental way. this is because it takes coulomb forces as givens and does not explain them. But a theory like String theory attempts to explain everything fundamentally. Why could not a theory like this actually tell us everything exactly?

The problem is due to Godel's theorem of incompleteness. The theorem is very important because it shines a light on a fundamental limitation on systems. The limitation occurs when an attempt is made to explore properties of a system with the system. In a basic nutshell, the attempt cannot be complete and consistent at the same time. I personally think this manor of wording is very misleading to people, so allow me to reword it. In a basic nutshell, you cannot create enough axioms in order to have consistency and completeness. Since you do not have enough axioms, your system is incomplete. If an attempt to force completeness despite the lack of axioms is made, then the system will be inconsistent.

To illiterate the problem, I will create a very simple system.

Simple System:
In the United States, there is only one person named Joe who works as a professional landscaper. Joe mows lawns for a living. All inhabitants of the United States either mows their own lawn, or Joe to mows their lawn for them.

Limitation: If Joe does not mow his own lawn, then who does?

According to the system, if joe does not mow his own lawn, then Joe mows his own lawn.

See the problem?

This is why a TOE cannot be created. No matter how many axioms you add, you wind up with this same limitation. You can add axioms all day long with countless pages of complex details of the system, but you will eventually wind up with the Joe problem. If an attempt to force the Joe variable is made, the entire system becomes inconsistent.
 
  • #115
kote said:
Ah, so you are a dualist :smile:! I almost agree with what you're saying here, except for one minor point.

You say that the reality of ideas is indisputable. I agree. But for real ideas to be discovered as opposed to being invented or constructed, they must be real before they are ideas in the minds of any particular mathematician. This leads you to Berkeley's argument that for these ideas to have timeless existence, they must be existing in the mind of God.

If ideas are real, then either they are created in the minds of those who are thinking them, or they exist permanently and objectively in an eternal mind. In order for real ideas to be discovered, there must be an eternal mind in which they exist prior to their being discovered by our minds. Also, in order for ideas to be objective, they must exist in an omniscient objective mind.

If math is ideas that are discovered, then there exists an objective and eternal mind.

If math is relations and not ideas, then we don't have this problem. Analytic relations may be discovered, but they are not objects and do not have such a thing as existence. That is what I mean by the idea that they are purely formal. Their method of discovery is deductive and logical rather than scientific.

People should drop the human element from the entire discussion because the human element complicates the problem. I think it would be best to form the question outside of the human mind completely; instead, people should assign the question to a computer. If a computer finds the solution to p=np, did the computer discover the solution or invent it?
 
  • #116
The problem is due to Godel's theorem of incompleteness. The theorem is very important because it shines a light on a fundamental limitation on systems. The limitation occurs when an attempt is made to explore properties of a system with the system. In a basic nutshell, the attempt cannot be complete and consistent at the same time. I personally think this manor of wording is very misleading to people, so allow me to reword it. In a basic nutshell, you cannot create enough axioms in order to have consistency and completeness. Since you do not have enough axioms, your system is incomplete. If an attempt to force completeness despite the lack of axioms is made, then the system will be inconsistent.

For any formal effectively generated theory T including basic arithmetical truths and also certain truths about formal provability, T includes a statement of its own consistency if and only if T is inconsistent.

There are places where this incompleteness theory is not applicable.
 
  • #117
SixNein said:
The problem is due to Godel's theorem of incompleteness. The theorem is very important because it shines a light on a fundamental limitation on systems. The limitation occurs when an attempt is made to explore properties of a system with the system. In a basic nutshell, the attempt cannot be complete and consistent at the same time. I personally think this manor of wording is very misleading to people, so allow me to reword it. In a basic nutshell, you cannot create enough axioms in order to have consistency and completeness. Since you do not have enough axioms, your system is incomplete. If an attempt to force completeness despite the lack of axioms is made, then the system will be inconsistent.

To illiterate the problem, I will create a very simple system.

Simple System:
In the United States, there is only one person named Joe who works as a professional landscaper. Joe mows lawns for a living. All inhabitants of the United States either mows their own lawn, or Joe to mows their lawn for them.

Limitation: If Joe does not mow his own lawn, then who does?

According to the system, if joe does not mow his own lawn, then Joe mows his own lawn.

See the problem?

This is why a TOE cannot be created. No matter how many axioms you add, you wind up with this same limitation. You can add axioms all day long with countless pages of complex details of the system, but you will eventually wind up with the Joe problem. If an attempt to force the Joe variable is made, the entire system becomes inconsistent.

I don't see how Godel's theorem applies here. I thought it applied to specific models of axiomatic systems.
 
  • #118
wofsy said:
I don't see how Godel's theorem applies here. I thought it applied to specific models of axiomatic systems.

Formal, Finite, and Self Referencing are the requirements.

Are physical theories formal? Yes.
Are physical theories Finite? Yes.
Are physical theories self referencing? Yes.

*poof*
 
  • #119
Last time i was in this forum, there was this stupid guy that say "the laws of nature is derived from logic". Obviously, the guy is misguided, but i often feel that common people don ` t see the difference between math and physics. Math is a tool used to describe physical laws, and the tool to tease out the consequence of the laws.
 
  • #120
vectorcube said:
Last time i was in this forum, there was this stupid guy that say "the laws of nature is derived from logic". Obviously, the guy is misguided, but i often feel that common people don ` t see the difference between math and physics. Math is a tool used to describe physical laws, and the tool to tease out the consequence of the laws.

Physical laws are mathematical in my opinion. So math is not a tool only. It is the law.
 
  • #121
wofsy said:
Physical laws are mathematical in my opinion. So math is not a tool only. It is the law.


Physical laws does not have to be mathematical, and math is a tool, because there are infinite many mathematical results that do not have any applications to physical world.
 
Last edited:
  • #122
wofsy said:
Physical laws are mathematical in my opinion. So math is not a tool only. It is the law.

Your argument is rather meaningless:

premise 1: physical laws are mathematical
premise 2: (not stated, but implied... not sure I know what it is)

conclusion: It (presumably math) is the law.

In every case, your argument is vague. Premis 1 doesn't really say anything:

"Physical laws are mathematical". In what sense? Surely not in every sense, or it would just be mathematics! Physics is conceptual too, it has quality, not just quantity.

Premise 2: Your still have to tell us your second premise. You have to tell us why you think that Premise 1 leads to your conclusion.

Conclusion. "It is the law" This is meaningless. Is the law of what? Of the whole universe? That's quite a claim.

Come back with a more descriptive argument that can actually be argued.
 
  • #123
vectorcube said:
Physical laws does not have to be mathematical, and math is a tool, because there are infinite many mathematical results that do not have any applications to physical world.

I agree that math is a tool but to say that there is more math than physical laws and more than one mathematical description does not change what i am saying. Kepler thought of physics as a process of ever better approximation to truth. Intermediate theories reflect and guide us towards this truth even though they may be incomplete and non-unique for the set of phenomena that they predict.

To think that mathematics is somehow separate from reality seems to me to be an arbitrary hypothesis and also seems to contradict all of experience.
 
  • #124
Pythagorean said:
Your argument is rather meaningless:

premise 1: physical laws are mathematical
premise 2: (not stated, but implied... not sure I know what it is)

conclusion: It (presumably math) is the law.

In every case, your argument is vague. Premis 1 doesn't really say anything:

"Physical laws are mathematical". In what sense? Surely not in every sense, or it would just be mathematics! Physics is conceptual too, it has quality, not just quantity.

Premise 2: Your still have to tell us your second premise. You have to tell us why you think that Premise 1 leads to your conclusion.

Conclusion. "It is the law" This is meaningless. Is the law of what? Of the whole universe? That's quite a claim.

Come back with a more descriptive argument that can actually be argued.



He probably read somewhere about the mathematical universe. While i am not a proponent of the theory, it's been a deep conceptual problem in physics to identify and conceptualise the basic constituents of matter in a non-mathematical way. All efforts so far have proved contradictory and incomplete. The basic building blocks of the material universe(electrons, quarks, quanta in general) cannot be unambiguously described without resorting to maths. They are not 'material' in any of the traditional ways that we are accustomed to dealing with. What is an electron? What is a quark? As i am certain you are aware, those are not easy questions to answer. At all.

It takes a leap of faith to jump from "Matter can only be described through mathematics" to "Matter is pure mathematics", though.
 
Last edited:
  • #125
wofsy said:
I agree that math is a tool but to say that there is more math than physical laws and more than one mathematical description does not change what i am saying. Kepler thought of physics as a process of ever better approximation to truth. Intermediate theories reflect and guide us towards this truth even though they may be incomplete and non-unique for the set of phenomena that they predict.

To think that mathematics is somehow separate from reality seems to me to be an arbitrary hypothesis and also seems to contradict all of experience.

Contradict all experience my ***. Math is a internally consistent thing don` t need the physical world to make it`s statements true. Physics is about the world! There is a unlimited number of physical realities we can imagine up, and describe with math. Why do we live in a world without jelly monsters? We just don` t! There is no mathematically reasons why things are the way they are. They just are. Case closed.
 
  • #126
vectorcube said:
Contradict all experience my ***. Math is a internally consistent thing don` t need the physical world to make it`s statements true. Physics is about the world! There is a unlimited number of physical realities we can imagine up, and describe with math. Why do we live in a world without jelly monsters? We just don` t! There is no mathematically reasons why things are the way they are. They just are. Case closed.

I understood your point before you responded. I am not saying something superficial as you seem to think.

Theorem proving makes math internally consistent but that just means that there is something internally consistent about the universe. If it did not mean that then you would not even be able to talk.
 
  • #127
WaveJumper said:
He probably read somewhere about the mathematical universe. While i am not a proponent of the theory, it's been a deep conceptual problem in physics to identify and conceptualise the basic constituents of matter in a non-mathematical way. All efforts so far have proved contradictory and incomplete. The basic building blocks of the material universe(electrons, quarks, quanta in general) cannot be unambiguously described without resorting to maths. They are not 'material' in any of the traditional ways that we are accustomed to dealing with. What is an electron? What is a quark? As i am certain you are aware, those are not easy questions to answer. At all.

It takes a leap of faith to jump from "Matter can only be described through mathematics" to "Matter is pure mathematics", though.

Quite. That leap of faith would be his premise 2. I'm not sure if you could even prove premise 1 in the absolute sense. Physics is mathematical in some sense, but it's not 100% mathematical. Even in the case of leptons (electrons) and quarks. I do agree that these aren't easy questions to answer, but we have gained both a conceptual and mathematical understanding of them as a community. If the unnamed premise 2 were graspable, why would one pick mathematical over conceptual?

To inject my obvious opinion:
I think people have a blind respect and fear for mathematics. Mathematics is like dynamite: it's definitely a tool to respect for its power... but it's still a tool.
 
  • #128
Pythagorean said:
Quite. That leap of faith would be his premise 2. I'm not sure if you could even prove premise 1 in the absolute sense. Physics is mathematical in some sense, but it's not 100% mathematical. Even in the case of leptons (electrons) and quarks. I do agree that these aren't easy questions to answer, but we have gained both a conceptual and mathematical understanding of them as a community. If the unnamed premise 2 were graspable, why would one pick mathematical over conceptual?

To inject my obvious opinion:
I think people have a blind respect and fear for mathematics. Mathematics is like dynamite: it's definitely a tool to respect for its power... but it's still a tool.

I never said the universe is only a mathematical theorem. I said physical law is mathematical and thereby is intrinsic to the universe. If you think mathematics is only a tool, I would say that that is a leap of blind faith. why do you use it at all?
 
  • #129
wofsy said:
I never said the universe is only a mathematical theorem. I said physical law is mathematical and thereby is intrinsic to the universe. If you think mathematics is only a tool, I would say that that is a leap of blind faith. why do you use it at all?

This argument is still not sound.

"Why do we use it at all" seems to be your argument for it being more than a tool.

We could apply the same logic to a hammer and the fact that we us a hammer it all is not a sufficient argument for it having some deep, universal meaning.

Mathematics is a much bigger, diverse tool, and I'm not arguing that it's as simple as a hammer, it's not even the same kind of tool. I'm just pointing out that you still haven't made an argument. I invite you to think about it more and develop a better argument, though. I'm willing to listen.
 
  • #130
Pythagorean said:
This argument is still not sound.

"Why do we use it at all" seems to be your argument for it being more than a tool.

We could apply the same logic to a hammer and the fact that we us a hammer it all is not a sufficient argument for it having some deep, universal meaning.

Mathematics is a much bigger, diverse tool, and I'm not arguing that it's as simple as a hammer, it's not even the same kind of tool. I'm just pointing out that you still haven't made an argument. I invite you to think about it more and develop a better argument, though. I'm willing to listen.

In fact the ability to predict the outcome of the use of a hammer does have some deep universal meaning.
 
  • #131
WaveJumper said:
He probably read somewhere about the mathematical universe. While i am not a proponent of the theory, it's been a deep conceptual problem in physics to identify and conceptualise the basic constituents of matter in a non-mathematical way. All efforts so far have proved contradictory and incomplete. The basic building blocks of the material universe(electrons, quarks, quanta in general) cannot be unambiguously described without resorting to maths. They are not 'material' in any of the traditional ways that we are accustomed to dealing with. What is an electron? What is a quark? As i am certain you are aware, those are not easy questions to answer. At all.

It takes a leap of faith to jump from "Matter can only be described through mathematics" to "Matter is pure mathematics", though.

I think people misunderstand the role of mathematics or physics in general. So I'm going to make a chart to explain it better...

======Formal System=====|====Physical System====
------- Mathematics -----<Observation>----- Stars --------
------- Physical Theories -<Observation>---- Planets -------
===========================================
---- Formal Description <Observation> Event

Physical theories are very formal. They do not have the ability to describe the universe; instead, they can only model it using mathematics. The goal of physics is to place limitations on mathematical equations that are validated through observation. Mathematics does the same thing in a sense, but it works without physical imitations.

I think; therefore, I am.

The above statement is the only thing people can know for sure.
 
  • #132
wofsy said:
I understood your point before you responded. I am not saying something superficial as you seem to think.

Theorem proving makes math internally consistent but that just means that there is something internally consistent about the universe. If it did not mean that then you would not even be able to talk.

Wrong in some many levels.

1: The notion that you could make a math theorm true by proving it is a very constructivistic approach to math. It is also a deeply misguided one. Why? Intuitively, A theorm is true independent of anyone. fermat ` s theorm would be true even if that some guy did not prove it.

2. Because math is an internally consistent system. This follows that it is also independent from contingent nature of the world.

_____________________________________________________________

The world is contingent. That is, the world, being made of constitutes, and laws that governs those constitutes need not be the way they are for any mathematical reasons. As such, there could be different physical realities with different constitutes, and dynamical laws. This is as oppose to math propositions which needs to be the case in all possible worlds.

So:

For P, such that P is a law of nature, then there is a possible W, such that -P hold in W.

For P, such that P is a matheamatical proposition, then P is ture in all possible worlds.
 
  • #133
vectorcube said:
Wrong in some many levels.

1: The notion that you could make a math theorm true by proving it is a very constructivistic approach to math. It is also a deeply misguided one. Why? Intuitively, A theorm is true independent of anyone. fermat ` s theorm would be true even if that some guy did not prove it.

2. Because math is an internally consistent system. This follows that it is also independent from contingent nature of the world.

_____________________________________________________________

The world is contingent. That is, the world, being made of constitutes, and laws that governs those constitutes need not be the way they are for any mathematical reasons. As such, there could be different physical realities with different constitutes, and dynamical laws. This is as oppose to math propositions which needs to be the case in all possible worlds.

So:

For P, such that P is a law of nature, then there is a possible W, such that -P hold in W.

For P, such that P is a matheamatical proposition, then P is ture in all possible worlds.

you also did not get what I was saying.

math is not separate from the world and the world is not contingent. Only knowledge from sense experience is contingent.

I am not sure what you mean by mathematical reasons or why reasons at all have anything to do with math or physics.
 
Last edited:
  • #134
My answer:
Maths is a language in which true things can be said, so that the consequences of these truths are implied in the grammar of the statement. I declare that any such careful grammar partakes of whatever spirit is in formally recognised mathematics, and that for the purposes of your question, all statements purporting to be absolute truth are mathematics-like statements.
For me even such simple statements as "it is there" and "it is not there" comprise mathematics-like truths.
Then although I know this answer is scarcely an answer at all, maths works because it is a formalisation of our practical, day-to-day experience.

Is this answer to your point?
 
  • #135
arithmetix said:
My answer:
Maths is a language in which true things can be said, so that the consequences of these truths are implied in the grammar of the statement. I declare that any such careful grammar partakes of whatever spirit is in formally recognised mathematics, and that for the purposes of your question, all statements purporting to be absolute truth are mathematics-like statements.
For me even such simple statements as "it is there" and "it is not there" comprise mathematics-like truths.
Then although I know this answer is scarcely an answer at all, maths works because it is a formalisation of our practical, day-to-day experience.

Is this answer to your point?

yes - but I do not agree that math is a language - i agree that we can talk about it and think about it - to say that a 4 dimensional projective space is just just a word in a language with some grammar is just like saying that a tree is just part of a language.

Mathematical objects are perceived just as trees or cars.
 
  • #136
wofsy said:
you also did not get what I was saying.

math is not separate from the world and the world is not contingent. Only knowledge from sense experience is contingent.

I am not sure what you mean by mathematical reasons or why reasons at all have anything to do with math or physics.


Wrong. I do get what you are saying, and i can tell you that you are no different that what the ancient greeks, kelper, rationalist and common people think about the relationship between math& physics. Namely, there is no difference whatsoever. The Ideas that one could make some equations up because it is beautiful, and that it would apply to the real world is extremaly misguided.

In reality, people go on in the real world, makes observations, and described the regularities they see using math, and tease out the consequence of the mathematical description.

math is not separate from the world and the world is not contingent.


Tell me how? Give me a single example, and i will shut the hell up. What you are saying here is no different as saying that the laws of physics is logically necessary, but that is the same as saying it is logically impossible to have a world in which E=Mc^3.

There are infinite many ways which reality could be different. It is entire possible that there is a world govern by a 2-d cellular automata. I suppose the people in such a world could easily figure out the symmetries, and laws. Still, it would be a world.
 
  • #137
vectorcube said:
Wrong. I do get what you are saying, and i can tell you that you are no different that what the ancient greeks, kelper, rationalist and common people think about the relationship between math& physics. Namely, there is no difference whatsoever. The Ideas that one could make some equations up because it is beautiful, and that it would apply to the real world is extremaly misguided.

In reality, people go on in the real world, makes observations, and described the regularities they see using math, and tease out the consequence of the mathematical description.

math is not separate from the world and the world is not contingent. Tell me how? Give me a single example, and i will shut the hell up. What you are saying here is no different as saying that the laws of physics is logically necessary, but that is the same as saying it is logically impossible to have a world in which E=Mc^3.There are infinite many ways which reality could be different. It is entire possible that there is a world govern by a 2-d cellular automata. I suppose the people in such a world could easily figure out the symmetries, and laws. Still, it would be a world.

I do not think that math and physics are identical. But to say that math is just a tool is a blind assumption. I do not view ideas and sense data as existing in two different worlds as say Plato did. That is the whole point that I am making.

You say there are many possible universes. Well that is not a contingent statement and I don't think that you know that.

That there are many possibilities that we can conceive of does not mean that there are actually many possibilities. And even if there were, they would all be distinguished in their intrinsic mathematical laws.

Further the many possibilities would have to be connected through a universal law.
 
Last edited:
  • #138
You say there are many possible universes. Well that is not a contingent statement and I don't think that you know that.


I am saying that there infinite many ways things could be for the universe, and that is what makes it contingent. There could be a universe described by cellular automata, but we do not happen to live in such a world. Mathematical propositions are true in all possible worlds, and that is what makes it necessary.

That there are many possibilities that we can conceive of does not mean that there are actually many possibilities.

I do believe some form of modal realism. You are correct that possibilities only exist if something actually exist. My point that is that there on logical reasons for excluding these worlds based on logic, and logic alone.

And even if there were, they would all be distinguished in their intrinsic mathematical laws.

Something like every possible world corresponds to a fundamental equation of some specific form. I am sure if you open yourself, you see that the world of "harry potter" is logically possible, but there is no governing dymanical law.


Further the many possibilities would have to be connected through a universal law.

Not so. Suppose for a contradiction that such a law exist that govern the entire ensemble of universes. Say law U. But U and -U is also logically possible. Thus, -U would govern it `s own possible ensenble. contradiction.

Here is the thing you need to know. For a law of nature L, -L is a logically possibility.
For a mathematical proposition P, -P is logically impossible.


You benefit greatly by reading Nozick ` s principle of fecundity.
 
  • #139
Some few hours ago, from a distant time zone, I stated that math is a language and met with disagreement.
I have found that until a student understands that 'divided by' (maths) translates to 'per' or 'for every' (english) he will make no progress, but that to show a student that equivalence is to set his feet on the road of understanding the process of division.
Given that the four arithmetical operations are the foundations of the most popular mathematical truths, and that they are explicable in English, it seems to me that the mathematical representation of those truths is no different to the English exposition of them.
Hence mathematics is a language.
 
  • #140
wofsy said:
yes - but I do not agree that math is a language - i agree that we can talk about it and think about it - to say that a 4 dimensional projective space is just just a word in a language with some grammar is just like saying that a tree is just part of a language.

Mathematical objects are perceived just as trees or cars.

Perhaps you underestimate language. Check out linguistic relativity. The wiki on it has some notes on the empirical research involved.

Also, out of curiosity, what is your academic standing in mathematics?
 
Back
Top