Mathematics proof vs Physicists proof

In summary: Pythagorean theorem. You can also use the law of motion to calculate the velocity of an object. You can use the equation for distance between two points, and so on.In summary, a physicist convincing another physicist of a theory will often use math and/or experimental evidence.
  • #1
farleyknight
146
0
Firstly, a little background: I'm a compsci major with a new found love of mathematics and particularly formal logic. To put it bluntly, I like symbols. Reality doesn't really give me a warm fuzzy feeling inside, but when I see that two algebraic equations are identical, I feel like god is smiling on me (and, as you would guess, when I make a mistake, it's like I'm being tortured by demons)

Anyways.. How do physicists prove theoretical / abstract concepts? I understand that all principles must be held up to the light of physical evidence and measurement, but say that you don't have that. Say you're having a conversation with a friend, a thought experiment or what-have-you. You're just trying to convince them that what you say is true, but without the benefit of experiment. How do you do this without the use of formal logic like in mathematics?

Is convincing another physicist more about experience with a long list of principles, gathered by old dudes over centuries, and just becoming familiar with them, or is there a way to derive secondary laws from the primary ones?
 
Physics news on Phys.org
  • #2
The problem is that there is no "proof" in science. Proof is, as you seem to suspect, a mathematical concept. So if you are having a conversation with a friend and are trying to convince them of something, you will need either experimental and observational evidence, as you pointed out, or math. Preferably both. And the more you have of these than the closer you can get to this "proof"...although, you can never truly attain it.

If you go and try to convince someone of some theory without either, then you are probably a crackpot. How much of a crackpot is directly proportional to how extravagant your theory is, and how little evidence you have for it.

However, you can definitely derive new theories from existing ones. For example, I can use the theory of gravity to derive the theory that if I drop a bowling ball on someone's head, they will get hurt/ die. I don't need to make a direct experiment to be fairly certain of this.
 
  • #3
you can obviously mathematically or logically derive certain things that must hold if your original findings were true. For example, if you know that if the velocity of an object is porportional to its motion with respect to time, then its motion cannot follow the equation ct^2. But the foundations of physics will always be observational and experimental.

An interesting thought is what physicists are actually looking for, I wouldn't say that a physicist actually wants to find what is "true" about the universe, a physicist only wants to come up with a useful system with which they may view the world. "An apple doesn't fall down because of gravity, it falls down because it falls". On the other hand, finding "absolute truths" in the universe is a very romantic and directionless goal. Many things are true, you can say something that must be true - and this is how arbitrary it can be.
I originally wanted to study math - and while doing math is fun, physics is just so much more exciting.
 
Last edited:
  • #4
There is still lots of mathematical proofs in physics. Look at a GR book like Wald, or Hawking&Ellis. In there you will see lots of Theorem/Proof blocks.
 
  • #5
nicksauce said:
There is still lots of mathematical proofs in physics. Look at a GR book like Wald, or Hawking&Ellis. In there you will see lots of Theorem/Proof blocks.

Hmm.. Turns out I have a pdf of Wald.. Looking at it now.. Seems like there are a couple of proofs.. I'm in Calc III now, so I recognize but am not familiar with the operators they use, but that's only a matter of time.. I have no real understanding of what a tensor other than that it was described as an n-dimensional matrix. At the very least I don't feel like I'm being talked down to and asked to use my intuition for everything like my undergrad physics book does. I hate that crap... I'll add it to my wishlist.. Maybe I'll pick up a copy when I have the money.
 
  • #6
Look at Chapter 8 of Wald especially. It reads like a math textbook.
 
  • #7
nicksauce said:
Look at Chapter 8 of Wald especially. It reads like a math textbook.

Ahh... okay, I see what you mean.. This is probably the kind of physics that people fall in love with :) Not the "A train travels east at 100 km/h while a car travels north at..." kind of crap that I was exposed to previously...
 
  • #8
The proof is in the pudding.

We have a few sets of fundamental functions, postulates, constants, and operators from which we can derive many equations which we use to calculate many things...and it works.

For instance, Newton's equations can be used to derive the ideal gas equation with a thought experiment of how ideal gasses work (spheres of mass bumping into each other in free space). The ideal gas equation is experimentally found to work with near ideal gasses with in ideal ranges. We have corrections for non ideal behavior that comes from the electromagnetic interactions and the fact that atoms take up space. These electromagnetic interactions are, fundamentally, calculated from quantum mechanics and electromagnetic force equations. When we apply these corrections the math nearly identically describes measured values. Quantum and electromagnetic force equations were both developed by different people of different fields at different times and are independently verified experimentally.

If you looked at my Physical Chemistry book (basically a class on the molecular approach to quantum, thermo, and stat mech) you'd think it were a math book with real world examples. In fact, between each chapter is an appendix on things like operators and complex numbers and what not.

Edit:
And for that matter, many contributions to physics have come from mathematicians. Newton developed "modern" calculus.
 
Last edited:
  • #9
farleyknight said:
<snip>
Anyways.. How do physicists prove theoretical / abstract concepts? I understand that all principles must be held up to the light of physical evidence and measurement, but say that you don't have that. Say you're having a conversation with a friend, a thought experiment or what-have-you. You're just trying to convince them that what you say is true, but without the benefit of experiment. How do you do this without the use of formal logic like in mathematics?
<snip>

Physicists (in general) are notorious for the lack of mathematical rigor. What constitutes a 'theorem' in physics is usually a half-baked derivation that mathematicians laugh at. Which is fine: Physics deals with the real world, not an abstract human invention.

If you would like to see a couple of mathematicians present an axiomatized branch of physics, check out "Mathematical Foundations of Elasticity" by Marsden and Hughes (Dover). I guarantee you that it looks like no physics book you have ever seen.
 
  • #10
Andy Resnick said:
Physicists (in general) are notorious for the lack of mathematical rigor. What constitutes a 'theorem' in physics is usually a half-baked derivation that mathematicians laugh at. Which is fine: Physics deals with the real world, not an abstract human invention.

If you would like to see a couple of mathematicians present an axiomatized branch of physics, check out "Mathematical Foundations of Elasticity" by Marsden and Hughes (Dover). I guarantee you that it looks like no physics book you have ever seen.

Hmm.. talk like that? Geez.. It's like, how does it make you feel when someone tries to explain centripetal acceleration by talking about what it feels like to be on a ferris wheel, something I probably haven't done for years, instead of just giving me the god damn theorem in R^2 like I'm an adult?
 
Last edited by a moderator:
  • #11
farleyknight said:
Hmm.. talk like that? Geez.. It's like, how does it make you feel when someone tries to explain centripetal acceleration by talking about what it feels like to be on a ferris wheel, something I probably haven't done for years, instead of just giving me the god damn theorem in R^2 like I'm an adult?

I suggest you never ever read books on evolution. Science sometimes has a very practical but messy side. We make models that work well, but don't conform to great mathematical rigor because you can't use math, the phenomena you are studying is way too complex. Does not mean its a waste.

When you come up with a mathmatical formula that tells us exactly what time in a persons life a cancer cell will go ballistic I will bow to you. There are very concrete differences between science and math. And I love math, but am also skeptical of some basic foundations. Kurt Goedel is quite interesting imo.

There are mathematical philosophers that tear up quite a few assumptions made by mathematics. We are only human... You think a hominid evolved over 100,000 years that somehow came up with a symbolic language is going to reach some sort of math nervana?

stay humble...
 
Last edited by a moderator:
  • #12
pgardn said:
I suggest you never ever read books on evolution. Science sometimes has a very practical but messy side. We make models that work well, but don't conform to great mathematical rigor because you can't use math, the phenomena you are studying is way too complex. Does not mean its a waste.

Erg.. must resist urge to start debate.. erg..

Well, much of evolution has not been formalized but that doesn't mean it cannot be. Gregory Chaitin proposed that a field of mathematics called metabiology be developed and studied that would do exactly that. No such field exists but it would be a place where Darwin's theory of evolution could be "proved", given sufficient conditions.

When you come up with a mathmatical formula that tells us exactly what time in a persons life a cancer cell will go ballistic I will bow to you. There are very concrete differences between science and math. And I love math, but am also skeptical of some basic foundations. Kurt Goedel is quite interesting imo.

And incidentally, Kurt Godel was probably the first lisp programmer :)

There are mathematical philosophers that tear up quite a few assumptions made by mathematics. We are only human... You think a hominid evolved over 100,000 years that somehow came up with a symbolic language is going to reach some sort of math nervana?

http://xkcd.com/435/" [Broken] is my general feeling about the topic. I hope I don't anger too many with it :)
 
Last edited by a moderator:
  • #13
pgardn said:
When you come up with a mathmatical formula that tells us exactly what time in a persons life a cancer cell will go ballistic I will bow to you. There are very concrete differences between science and math. And I love math, but am also skeptical of some basic foundations. Kurt Goedel is quite interesting imo.

Once we fully understand the mechanism of cancer we will be able to.

Mathematics is used to describe physics which dictates chemistry which dictates biology.
 
  • #14
So now I really want to know.. Since I'm browsing Amazon for the topic: does there exist any books that can do this level of axiomatization for undergrad physics?
 
  • #15
farleyknight said:
How do physicists prove theoretical / abstract concepts? I understand that all principles must be held up to the light of physical evidence and measurement, but say that you don't have that. Say you're having a conversation with a friend, a thought experiment or what-have-you. You're just trying to convince them that what you say is true, but without the benefit of experiment.
Physicists can and do find exact solutions to basic problems without doing an experiment. Physicists would never have found the exact fastest path of a frictionless bead sliding down a curved wire from point A to point B by experimentation. One physicist, Isaac Newton, calculated the correct curve in 1697. See brachistochrone solution and animation in

http://curvebank.calstatela.edu/brach/brach.htm

http://mathworld.wolfram.com/BrachistochroneProblem.html

Bob S
 
  • #16
ChmDudeCB said:
Once we fully understand the mechanism of cancer we will be able to.

Mathematics is used to describe physics which dictates chemistry which dictates biology.

When you go up a level to chemistry you increase the complexity enormously. And then take a step up to Biology... its nuts. The math becomes less rigorous because the complexity in modeling is crazy hard.

What breakthroughs do you see in biology and physics that will EVER allow us to predict when a person will die to the very second right when he is born? The complexity piles up on the probability to make this way too difficult.
When will we see a unified field theory? Since we start with the most basic science.
 
  • #17
maybe we should just try and get the weather right...

I watched the Jetsons, no rocket cars yet. Very dissappointing.
 
  • #18
farleyknight said:
Well, much of evolution has not been formalized but that doesn't mean it cannot be. Gregory Chaitin proposed that a field of mathematics called metabiology be developed and studied that would do exactly that. No such field exists but it would be a place where Darwin's theory of evolution could be "proved", given sufficient conditions.

I would not expect evolution to be proved. Its the mechanisms of evolution that we attempt to quantify with things like population genetics. I would expect that we might be able to predict conditions at a later time. This is basically what most physics does. And I don't personally see this happening in this area. I see attempts, but it will be jelly because the variables are out of control.
 
  • #19
farleyknight said:
Hmm.. talk like that? Geez.. It's like, how does it make you feel when someone tries to explain centripetal acceleration by talking about what it feels like to be on a ferris wheel, something I probably haven't done for years, instead of just giving me the god damn theorem in R^2 like I'm an adult?

It's always good to be precise and think clearly, but the kind of axiomatic approach used by mathematicians is rarely useful (or even possible) in physics.
 
Last edited by a moderator:
  • #20
pgardn said:
I would not expect evolution to be proved. Its the mechanisms of evolution that we attempt to quantify with things like population genetics. I would expect that we might be able to predict conditions at a later time. This is basically what most physics does. And I don't personally see this happening in this area. I see attempts, but it will be jelly because the variables are out of control.

You wouldn't be able to predict much of anything. That's not quite the point. The point would simply be to have a paper-and-pencil simulation of evolution that would show that given certain properties of an organism (or whatever mathematical formalism we use instead) it would "mutate" and "evolve" towards a set of fitness constraints. What would be the immediate benefit of this? Well, you may be already aware of this, but the field of genetic algorithms would benefit most certainly. Perhaps bioinformatics or quantitative biology? Who knows.. But a mathematical proof would be nice to finally kill of any notion of intelligent design.
 
  • #21
dx said:
It's always good to be precise and think clearly, but the kind of axiomatic approach used by mathematicians is rarely useful (or even possible) in physics.

It's useful because it helps me to understand it clearly :) A good general / abstract proof is not just an axiomatization but a very thorough and complete explanation. It carries out the very special cases. It does not bother giving actual examples (although they may be illustrative, they are not the proof itself). And most important, it does not rely on intuition. If I'm taking a test and I give some crazy answer, and I tell the teacher "but it's right because I used my intuition!", he'll probably fail me on the spot. But that's what I'm expected to use to understand certain physics principles in my undergrad book. Screw that. If it cannot be proved, take it as an axiom. But if it can, I'd like to see it.
 
Last edited:
  • #22
farleyknight said:
You wouldn't be able to predict much of anything. That's not quite the point. The point would simply be to have a paper-and-pencil simulation of evolution that would show that given certain properties of an organism (or whatever mathematical formalism we use instead) it would "mutate" and "evolve" towards a set of fitness constraints. What would be the immediate benefit of this? Well, you may be already aware of this, but the field of genetic algorithms would benefit most certainly. Perhaps bioinformatics or quantitative biology? Who knows.. But a mathematical proof would be nice to finally kill of any notion of intelligent design.

A mathematical proof would do nothing to stop these ideas. You don't utilize reasoning with people that did not use reason to establish their position in the first place.

The ultimate reason for using math in science is to be able to predict future conditions. Or look back into the past for a possible glimpse of how we got to present status. My take...
 
  • #23
pgardn said:
A mathematical proof would do nothing to stop these ideas.
That's right.

I don't really understand the OP's issue. Physics is about the real world, a.k.a. "our universe." How can you "prove" anything relevant to that? After all, this (all that you see & feel) could all be a dream of some butterfly. To make progress, we choose to discount such notions. But we don't delude ourselves that we can construct 'proofs' regarding how the world works. And even if you do, someone will come along and find the faults in your proof. Didn't Kant & company 'prove' that the world has three dimensions?
 
  • #24
IMO, be careful of mathematical proofs. Mathematics is a symbolic representation of reality. Not reality itself. It is a form of language and can be used to communicate, but never expresses the actual reality.

EG. Zero is not a number.
 
  • #25
gmax137 said:
That's right.

I don't really understand the OP's issue. Physics is about the real world, a.k.a. "our universe." How can you "prove" anything relevant to that? After all, this (all that you see & feel) could all be a dream of some butterfly. To make progress, we choose to discount such notions. But we don't delude ourselves that we can construct 'proofs' regarding how the world works. And even if you do, someone will come along and find the faults in your proof. Didn't Kant & company 'prove' that the world has three dimensions?

I can let go of the idea that certain things cannot be mathematically proved but are still evident by observation. My real problem is when a teacher asks me to solve a problem and I cannot give him a rigorous explanation of why the result goes such-and-such a way due to the lack of rigor of the principles of physics.
 
  • #26
andrewbb said:
EG. Zero is not a number.
:confused:
 
  • #27
Hurkyl said:
:confused:

I'm guessing he means that it's not a number because it cannot be expressed in terms of countable objects in the real world..

Records show that the ancient Greeks seemed unsure about the status of zero as a number. They asked themselves, "How can nothing be something?", leading to philosophical and, by the Medieval period, religious arguments about the nature and existence of zero and the vacuum. The paradoxes of Zeno of Elea depend in large part on the uncertain interpretation of zero.

http://en.wikipedia.org/wiki/0_(number)#History_of_zero
 
  • #28
farleyknight said:
<snip>
My real problem is when a teacher asks me to solve a problem and I cannot give him a rigorous explanation of why the result goes such-and-such a way due to the lack of rigor of the principles of physics.

I don't understand what you mean- can you give a specific example?
 
  • #29
Andy Resnick said:
I don't understand what you mean- can you give a specific example?

Hmm.. damn.. I'm going to have a hard time coming up with an example, even though I had this feeling quite a lot while studying last semester.. The first one that comes to mind, and something that I kinda got over so it's no longer an issue, although it still feels funny, is when one says in physics that a quantity is "too small to be considered and can be neglected".. It came up a couple of times during lectures but I paid the idea no mind. It didn't seem applicable. But when it showed up in a test, my very formalist mindset said "But WHY? Just give me the number and I'll decide for myself!"..

In other words, I felt as though I needed a formal proof that such a quantity don't matter. Otherwise they could affect the answer. My math teacher would never let me get away with such nonsense. I remember staring at the test for like 10 or 20 minutes trying to convince myself that it was okay but regardless of this, I couldn't.. My rational mind must have blanked out at that point because when I saw it returned to me none of the answers made any sense..

There are likely more.. If I dig out my physics book I could probably find some, I'm sure.
 
  • #30
Andy Resnick said:
I don't understand what you mean- can you give a specific example?

My example would be "kinetic energy". That is a loose, general phrase that is almost referred to as a discrete substance when the underlying concepts are insufficiently explored. The mathematics of it describe a relationship but not the actual.
 
  • #31
andrewbb said:
My example would be "kinetic energy". That is a loose, general phrase that is almost referred to as a discrete substance when the underlying concepts are insufficiently explored. The mathematics of it describe a relationship but not the actual.

Ah yeah, kinetic and potential energy both gave me headaches.. My mind would start wandering and trying to come up with counter-examples and paradoxes where the definition just didn't make sense or the rule was broken. I managed to curb those thoughts for the most part and just focus on the problems at hand which luckily didn't test my very naive assumptions. But I still needed help from the people on this forum to get past all that..
 
  • #32
farleyknight said:
<snip>The first one that comes to mind, and something that I kinda got over so it's no longer an issue, although it still feels funny, is when one says in physics that a quantity is "too small to be considered and can be neglected".. It came up a couple of times during lectures but I paid the idea no mind. It didn't seem applicable. But when it showed up in a test, my very formalist mindset said "But WHY? Just give me the number and I'll decide for myself!"..

<snip>

A lot of problems in physics are linearized in order to generate an analytic solution. Sometimes, the linearization fails: a common example in mechanics is when the solution bifurcates. However, if the linearization process works (and there are formal theorems which determine this), then the solution to the full problem can be expanded as a Taylor series. This is sometimes called a 'perturbation expansion'. Truncating the series as an approximate solution is what is meant by 'small enough to be neglected'.
 
  • #33
"Heat" is another of those abstract concepts that some physicists almost refer to as a discrete substance. IMO, it is a property of the fluid and should be discussed as temperature and its transferrence.
 
  • #34
Andy Resnick said:
A lot of problems in physics are linearized in order to generate an analytic solution. Sometimes, the linearization fails: a common example in mechanics is when the solution bifurcates. However, if the linearization process works (and there are formal theorems which determine this), then the solution to the full problem can be expanded as a Taylor series. This is sometimes called a 'perturbation expansion'. Truncating the series as an approximate solution is what is meant by 'small enough to be neglected'.

Ah yeah, I can see dynamical systems theory having a lot of applications in physics, especially at very large or very small distances.. I managed to at least half-convince myself that leaving out small values wouldn't affect the final based on very rough draft proof using significant figures, i.e. a subset of the rational numbers which have fixed length representation. Given some set of numbers represented in such a format, it would be possible to prove certain properties that it would never change the final result based on their relative sizes.. I doubt it's entirely correct but at least I could sleep at night..
 
  • #35
Energy is a very abstract idea imo. But making attempts to identify what it means in certain situations has been very useful. Thats really what it all comes down to for many of us (humans). Sometimes we want to find out the way things seem to work so we can say "so..., that's the way it is" and it feels comfortable because someone else comes along and utilizes the purer idea for some technological purpose that allows us to control our environment to suit our desires.

But deep down I think most realize being useful, and at the same time conforming to some mathematical principals, don't necessarily marry well. And then the quantum stuff where the math seems to be driving the search (experiments) seems very bizarre. It makes sense in my mind because its just modeling. I just think that sometimes the actually symbolic naming of some of this stuff "strings" leads to metaphorical usage that lead people to wrong-headed notions. But we, as humans, rely so heavily on metaphor and analogy, its understandable even though it is limiting, and flat out wrong sometimes, we are indeed satisfying our strong desire to control our world. Taking a Platonic type of view that we should not clutter our ability to reason by using our senses to observe phenomena is an extremely cold way of viewing what type of animals we really are. But possibly necessary in certain situations.
I promise you I will slap a fire ant crawling on my leg. And I will use various chemical tricks to keep them from biting and stinging me. And others will try to understand this beast for the sole purpose of stopping it from stinging and biting. And the math they use to understand this complex social animal will not properly adhere to all mathematical rigor because its a very complex situation.
But I digress...
 
<h2>What is the difference between a mathematics proof and a physicist's proof?</h2><p>A mathematics proof is a rigorous and logical argument that uses deductive reasoning to show that a statement or theorem is true. It is based on axioms, definitions, and previously proven theorems. On the other hand, a physicist's proof is less formal and relies on experimental evidence and physical principles to support a conclusion or theory.</p><h2>Do mathematicians and physicists use different methods to prove their theories?</h2><p>Yes, mathematicians and physicists use different methods to prove their theories. Mathematicians use deductive reasoning and logical arguments, while physicists use a combination of empirical evidence, mathematical models, and physical principles to support their theories.</p><h2>Which type of proof is more reliable, a mathematics proof or a physicist's proof?</h2><p>Both types of proof have their own strengths and limitations. A mathematics proof is considered more reliable in the sense that it is based on logical reasoning and can be verified by other mathematicians. However, a physicist's proof is also reliable as it is based on empirical evidence and can be tested through experiments.</p><h2>Can a mathematics proof and a physicist's proof lead to different conclusions?</h2><p>Yes, a mathematics proof and a physicist's proof can lead to different conclusions. This is because they use different methods and approaches to prove their theories. While a mathematics proof is based on logic and abstract concepts, a physicist's proof is based on physical principles and experimental data.</p><h2>Are there any similarities between a mathematics proof and a physicist's proof?</h2><p>Yes, there are some similarities between a mathematics proof and a physicist's proof. Both types of proof aim to provide evidence to support a theory or statement. They also both require a high level of rigor and accuracy in their arguments. Additionally, both mathematicians and physicists use mathematical tools and concepts in their proofs.</p>

What is the difference between a mathematics proof and a physicist's proof?

A mathematics proof is a rigorous and logical argument that uses deductive reasoning to show that a statement or theorem is true. It is based on axioms, definitions, and previously proven theorems. On the other hand, a physicist's proof is less formal and relies on experimental evidence and physical principles to support a conclusion or theory.

Do mathematicians and physicists use different methods to prove their theories?

Yes, mathematicians and physicists use different methods to prove their theories. Mathematicians use deductive reasoning and logical arguments, while physicists use a combination of empirical evidence, mathematical models, and physical principles to support their theories.

Which type of proof is more reliable, a mathematics proof or a physicist's proof?

Both types of proof have their own strengths and limitations. A mathematics proof is considered more reliable in the sense that it is based on logical reasoning and can be verified by other mathematicians. However, a physicist's proof is also reliable as it is based on empirical evidence and can be tested through experiments.

Can a mathematics proof and a physicist's proof lead to different conclusions?

Yes, a mathematics proof and a physicist's proof can lead to different conclusions. This is because they use different methods and approaches to prove their theories. While a mathematics proof is based on logic and abstract concepts, a physicist's proof is based on physical principles and experimental data.

Are there any similarities between a mathematics proof and a physicist's proof?

Yes, there are some similarities between a mathematics proof and a physicist's proof. Both types of proof aim to provide evidence to support a theory or statement. They also both require a high level of rigor and accuracy in their arguments. Additionally, both mathematicians and physicists use mathematical tools and concepts in their proofs.

Similar threads

  • STEM Educators and Teaching
4
Replies
136
Views
5K
  • Science and Math Textbooks
Replies
28
Views
1K
  • STEM Academic Advising
Replies
15
Views
1K
  • Other Physics Topics
Replies
7
Views
997
  • STEM Academic Advising
Replies
26
Views
2K
Replies
5
Views
568
  • Other Physics Topics
Replies
4
Views
1K
Replies
9
Views
2K
  • General Math
Replies
13
Views
1K
  • Other Physics Topics
Replies
2
Views
1K
Back
Top