Is 2 + 2 = 4 universally true?
Obviously, in mathematics 2 + 2 = 4 is not a ‘fact’ but just a well-formed string within the rules of the game, because
(1+1) + (1+1) = (1+1+1+1)
and
SS0 + SS0 = SSSS0.
This game and its rules don’t tell us any facts about the universe, however. It was long thought that Euclidean geometry was the correct set of rules to describe reality, but now we know that we need the rules of the non-Euclidean game to be more accurate. Euclidean geometry is intuitive, but the real universe turns out to be more complex, strange and counter-intuitive than we ever guessed.
So, what about the real universe? Does this mathematical game, in which (1+1) + (1+1) = (1+1+1+1), accurately describe the cosmos that we live in?
We are all familiar with the idea that a counter-example disproves a universal statement. The claim ‘all swans are white’ is falsified by the discovery of one black swan. You don’t need any more than one such black swan, one is enough for the falsification.
And this is where I have a problem. The rules of the game say that (1+1) + (1+1) = (1+1+1+1), but does this actually obtain in the real world?
Well, if you take two apples and you add two apples and then count the resulting apples, it seems that you always get four apples. Certainly no-one has ever demonstrated a real-world instance of anything else. But is this universally true? Can we extrapolate from that to the statement that on the planet Zog in the Andromeda Galaxy, if you add two thargs to two thargs and count the result, you will always find that you have four thargs?
Let’s see what our understanding of the maths that governs the universe tells us. And here’s the rub.
A simple use of the rules of the game by Newton led him to state that if you have two units of velocity, and you add two units of velocity, you get four units of velocity. Or, the sum of the velocities (u,v) is given by u + v. That fits with our intuitions that created the rules of the mathematics game, and it is always true with apples.
The Michelson-Morley experiment threw a spanner in the works, and showed that if you start with the speed of light and add the speed of light, what you get is the speed of light. Everyone else thought that this meant there was something odd about light, but Einstein and Poincaré realised that it meant there was something odd about speed. They came up with a brilliantly simple and elegant solution, which is also an ontological statement about the real world, saying that Newton’s claim is false, and instead the sum of two velocities (u,v) = [math] \frac{u + v}{1+\frac{uv}{c^2}}[/math].
This means that, for velocities, 2 + 2 does not = 4, instead 2 + 2 = [math]\frac{4}{1+\frac{4}{c^2}}[/math].
This has been investigated and found to be true.
It is therefore an instance of 2 + 2 = 4 not being the case, which acts as a counterexample and falsifies the claim to its generality.
Any piece of simple addition that follows the rules of the game, such as 2 + 2 = 4, cannot be a general truth about the universe then, because we have one demonstrated instance, one black swan, in which the game is different in the actual real world and the intuitive rules don’t apply.
So if you went to the planet Zog and added two thargs to two thargs, how many would you get? [math]\frac{4}{1+\frac{4}{c^2}}[/math] thargs? Why not?
(1+1) + (1+1) = (1+1+1+1)
and
SS0 + SS0 = SSSS0.
This game and its rules don’t tell us any facts about the universe, however. It was long thought that Euclidean geometry was the correct set of rules to describe reality, but now we know that we need the rules of the non-Euclidean game to be more accurate. Euclidean geometry is intuitive, but the real universe turns out to be more complex, strange and counter-intuitive than we ever guessed.
So, what about the real universe? Does this mathematical game, in which (1+1) + (1+1) = (1+1+1+1), accurately describe the cosmos that we live in?
We are all familiar with the idea that a counter-example disproves a universal statement. The claim ‘all swans are white’ is falsified by the discovery of one black swan. You don’t need any more than one such black swan, one is enough for the falsification.
And this is where I have a problem. The rules of the game say that (1+1) + (1+1) = (1+1+1+1), but does this actually obtain in the real world?
Well, if you take two apples and you add two apples and then count the resulting apples, it seems that you always get four apples. Certainly no-one has ever demonstrated a real-world instance of anything else. But is this universally true? Can we extrapolate from that to the statement that on the planet Zog in the Andromeda Galaxy, if you add two thargs to two thargs and count the result, you will always find that you have four thargs?
Let’s see what our understanding of the maths that governs the universe tells us. And here’s the rub.
A simple use of the rules of the game by Newton led him to state that if you have two units of velocity, and you add two units of velocity, you get four units of velocity. Or, the sum of the velocities (u,v) is given by u + v. That fits with our intuitions that created the rules of the mathematics game, and it is always true with apples.
The Michelson-Morley experiment threw a spanner in the works, and showed that if you start with the speed of light and add the speed of light, what you get is the speed of light. Everyone else thought that this meant there was something odd about light, but Einstein and Poincaré realised that it meant there was something odd about speed. They came up with a brilliantly simple and elegant solution, which is also an ontological statement about the real world, saying that Newton’s claim is false, and instead the sum of two velocities (u,v) = [math] \frac{u + v}{1+\frac{uv}{c^2}}[/math].
This means that, for velocities, 2 + 2 does not = 4, instead 2 + 2 = [math]\frac{4}{1+\frac{4}{c^2}}[/math].
This has been investigated and found to be true.
It is therefore an instance of 2 + 2 = 4 not being the case, which acts as a counterexample and falsifies the claim to its generality.
Any piece of simple addition that follows the rules of the game, such as 2 + 2 = 4, cannot be a general truth about the universe then, because we have one demonstrated instance, one black swan, in which the game is different in the actual real world and the intuitive rules don’t apply.
So if you went to the planet Zog and added two thargs to two thargs, how many would you get? [math]\frac{4}{1+\frac{4}{c^2}}[/math] thargs? Why not?
Comments (49)
The relativistic velocity formula that you gave is a physics statement. Anyway the internal structure of the formula still follows the rules of math where 2 + 2 = 4.
I think Crazy Diamond was illustrating the point that “2+2=4” doesn’t say anything about the universe itself but is a useful language game tool in certain arenas.
Why?
As you can see the math rules still apply inside the relativistic speed calculation.
I think the relativistic speed calculation is an error in physics rather than math.
I'd argue that maths transcends and therefore governs the universe. You can write:
2+2=5
Subtract 4 from each side give:
0=1
That implies false=true. That implies logic is broken and there is also no information in the universe (IE bits of information can take on only a single value).
So it seems basic maths and logic must hold in all possible universes. Geometry is a different matter though. Various geometries have additional axioms beyond basic arithmetic/logic that are questionable and may not hold.
But you didn’t start with a true statement. “2+2=4” is true given the conventional meanings of the terms used. “2+2=5” is false given the conventional meanings of the terms used. The operative word is “convention”.
I believe that mind and matter are both necessary components of reality. Math is inherent in minds but not matter. Math is used by minds to describe how the physical world appears to minds, but matter would be quite different without minds.
As I said above, a universe in which 2+2<>4 is a universe with no information in it. IE no matter/energy. A very boring sort of universe.
Maths is just an extension of logic. Maths/logic existed before any minds and before the universe was created. The universe must obey the rules of math IMO.
Because of that, there's no reason to say that any mathematical statement is universal.
As it is, no mathematical statement is universally constructed by humans, but we have very stringent socialization procedures in place to enforce conformity to the norms.
An interesting remark. I guess math began as an abstraction of reality. We started with the basics which meant math was just counting.
The odd/interesting thing is that when we developed and amplified the abstraction and applied it back to the real world something clicked.
I'm not a mathematician so you'll have to take this with more than a pinch of salt but all known laws of science are mathematical. Now if math isn't something inherent in reality we should be seeing some exceptions which I presume we haven't.
It's like someone who sees a theme in a storyline and discovers that all other stories have the same theme. Is it coincidence? Is it God? Is our world mathematical?
What do you think?
It's just that that's the language we're using to describe phenomena.
If we used a "natural language" instead, we could say, "All known laws of science are in English."
It's just like the world being in "black & white" with black and white film, or the world being only shades of red/pink/white if we only have red and white paint.
actually all physics is, at its core, is a mathematical model of some reality or observation. Which then allows you to change the variables and make predictions. Then test those predictions experimentally to see if the math is actually predictive. If so, great you may have a workable model, if no - can it and try another one.
There is math that doesn’t refer to anything in reality. For example, if String theory is correct, then the fundamental units have a minimum size which isn’t zero. This would imply that zero-dimension points don’t actually refer to anything? Then again, the entire theory and it’s mathematics could very well be pure fiction.
I believe our minds are mathematical, and our minds being a part of the natural world, then I guess in a sense the world is mathematical. Theories and language describe our perception of the universe, however. If the universe couldn’t sustain life, then I think mathematics wouldn’t exist.
A mathematician friend of mine did his dissertation on something that was over my head. I asked him if it referred to anything in the physical universe, and he said he didn’t know.
"2+2" is just another way of saying "4". "2+2=4" is just another way of saying "4 is 4". "This rock is this rock" is an instance of A=A or "this is this". Any time you put two expressions on opposite sides of an equals sign, you are declaring identity. If they are not equal, your equation is simply false.
As for physics, aren't conservation laws just the same sort of thing? This much stuff is always this much stuff. It can't be not equal to itself. No matter what you do, you can't make it not equal to itself.
If you ever discover that what you had put on one side of an equals sign is in fact not equal to what you had put on the other side, this simply indicates a prior failure to understand what you are dealing with, maybe what the basic stuff being conserved in fact is. If something like mass-energy equivalence seems like it is a statement that something is not itself, this just means that you fail to understand what mass and energy are at a more fundamental level.
Einstein's theories don't involve violations of basic conservation laws or the law of identity or the law of non-contradiction. If they were to involve such violations, they'd be wrong.
With regard to speed, isn't it just the case that Einstein gave us a deeper understanding of what it is that is being conserved? Regardless of the frame of reference, the spacetime interval is invariant, no?
If you show that a previously believed equation doesn't hold, you haven't demonstrated an actual instance of A in fact equaling non-A or 2+2 equaling 5. Rather, you are showing that what you had put on one side of the equals sign is in fact not the same as what you put on the other.
With regard to relativity, a difference in the frame of reference is what makes two things previously believed to be equivalent in fact non-equivalent.
Imagine a train of a certain length seen from two different perspectives on the ground. The apparent length as seen from each of the two perspectives will naturally vary. If the train is in fact 10 miles long but you view it from directly behind the caboose, it will appear to be only 11 feet long. If you view it from the side, it will appear much longer. Have you discovered an instance of A=A being violated? No. What you have discovered is that the apparent length from perspective A is not equal to the apparent length from perspective B. The situation is more clear as seen from high above. Einstein's theories give us that different vantage point where we can see just how the two perspectives are related and how they don't in fact disagree about any objective actuality. The mistake was in thinking that the apparent length from a given ground-based perspective was the actual length and that therefore, all apparent lengths of a given train must be equal.
If the law of identity is just a matter of convention and doesn't say anything about physical reality, then we are quite lost! The fact that logic and math are so applicable to physical modelling suggests pretty strongly that they aren't merely conventional. They have something to do with physical reality, surely!
It seems to me that mathematics is just an abstract way of stating universal truths that physical reality must obey. Physical reality cannot, for example, involve an actualized contradiction. Perhaps you could say that math is all about the laws of substance itself.
Didn't we get our math in the first place by abstracting from or generalizing about physical reality? We started making marks to stand for physical things. Obviously, the particular marks and sounds we make are simply a matter of convention. One could imagine, for example, that an alien civilization has a different way of representing these universal truths. But would you suppose that aliens could have a mathematics or logic that is simply irreconcilable with ours?
With relativity, it requires a conscious observer with a particular location. Aliens are conscious as well. Without observers, would “location” even make any sense?
Not really. Mathematical structures are pure abstractions I believe unlike natural language. Yet they seem to apply to the real world. I'm not sure on this but you've made a good point.
I am not sure questions about consciousness and whether relativity requires it are particularly relevant to the topic of this thread. If we pursue those questions, it would likely prove a distraction.
You’re right, though. What I said may not deal with the OP. I guess ”2+2=4” is always true (universally true). It’s just that it’s not possible without minds.
The way we talk and think about the truth that something is identical with itself or simply is itself is a convention that perhaps requires our minds. Maybe all abstractions require minds. But something's actually being identical with itself, or the impossibility of it being not itself does not seem to require our minds. But the abstractions we make seem to reflect something about the world in itself even though abstractions as we make them are not exactly found out in the world. The whole problem of universals is actually rather perplexing.
But let's not get derailed talking about consciousness here. That's a whole other issue. What we are talking about here is really whether or not the law of identity gets violated, whether 2+2 can ever equal something it isn't equal to.
I don't think the OP has properly demonstrated 2+2 not equaling 4. I'm in the process of trying to exactly identify the problem with the attempted demonstration.
I now realize what I originally commented with was something of a non-sequitir. You seem to know much more about maths than I do.
The difference occurs because the velocities are being added from different inertial reference frames.
Suppose I am standing on a train platform and the train is travelling at 20km/h from my reference frame. If it goes 10km/h faster (from my reference frame), then it will be travelling at 20km/h + 10km/h = 30km/h from my reference frame. Standard addition.
However if a person on the train subsequently moves forward at 2km/h in the train's reference frame, then that person will be travelling at less than 32km/h from my reference frame.
The formula just shows how velocities from different inertial reference frames should be added.
In your original post, I believe there are some problems with your analysis. I don't know how to format the math expressions properly here like you did, and my math and physics are both very weak, so please bear with me as I fumble about here.
When you say that 2+2 = 4/(1+4/c^2), if we take your expression just as you put it, with no units, no vectors, and so on, if we do a bit of simplification here, if my rusty basic algebra skills have not led me astray, we can show that you are saying that 16/c^2 = 0, or even 16=0, which is not true. Such a result shows not that the law of non-contradiction and law of identity are wrong, but rather that there is something wrong with your equation.
I looked up velocity addition and the formula I found is different from yours. Have a look here:
https://web.pa.msu.edu/courses/2000fall/phy232/lectures/relativity/vel_add.html
You seem to be saying that u+v = (u+v)/(1+4/c^2)
And you then put in 2 for u and for v. This is apparently where you get 2+2 = (u+v)/(1+4/c^2). But this seems not correct. v', not u+v, is what equals (u+v)/(1+4/c^2).
In the relativistic theory, v' does not equal u+v, so you can't put u+v on the left side of that equation in place of v'.
It seems that you are trying to make equivalent the Newtonian and relativistic formulas, as follows:
and
and therefore, you seem to be saying, using the first formula to replace v' with u+v in the second,
u+v = (u+v)/(1+4/c^2)
But this isn't correct since the Newtonian and relativistic formulas are different as they involve different considerations. The v' in one formula is not the same as the v' in the other. So you have never shown that 2+2 equals anything other than 2+2 or 4.
And we aren't talking about simply adding two velocities. The apparent times and distances in question are different with different frames of reference.
Thank you for your interesting and intelligent discussion Petrichor. The problem I have with it is that the whole point of coming up with the Einstein-Poincaré equation in the first place was to explain the strange but true observed fact that c + c = c. By all of your discussion it would be absurd for that to be true, but it is, and it is precisely that absurdity that led them to come up with the solution. When you add c and c together using that equation and not c + c = 2c, you get the required answer, that c + c = c, which is true. And that's the observed fact that underlies my whole discussion.
I've been thinking about this all day and I think the answer might be that it is not the reference frames that matter, but that no actual 'thing' is being added when you add velocities. Taking two apples and physically putting them with two apples and counting the resultant number of apples is qualitatively different from a moving object accelerating and doubling its previous speed, or something travelling at the speed of light emitting light which is observed by someone at rest relative to the light as travelling at the speed of light. In these instances, nothing is actually being added to anything in reality, so that saying that going from 2 mph to 4 mph is 'adding' 2 mph to the original 2 is just a human interpretive parsing of a phenomenon that didn't actually involve any addition. So that far from finding a genuine counter-example, I have confused two things that are different, made a category mistake perhaps by saying that adding velocities is the same type of thing physically as adding apples, when it isn't. I don't know, I'm not sure about this at all, I'll have to think about this one a bit longer...
If you are standing on a train platform and the train is travelling at 20km/h according to your reference frame, and the driver switches the headlamp on and emits light at the speed c, then in your reference frame you will measure the light as travelling at c, and not at c + 20km/hr. That was the puzzling observed phenomenon in the Michelson-Morley experiment that led to Special Relativity in the first place. If something is travelling at the speed of light and it emits light, everyone will measure that light as travelling at exactly the speed of light, whatever their reference frame. No standard addition ever works with light. c + c = c, and that's the observation that led to the equation. I don't see how and why it can be dismissed as only a superficial feature of different reference frames. Please enlighten me! (Pun intended...)
My physics and math education are so limited and rusty! I am not sure how to deal with this. I've been trying to read and think about it, but I am just way out of my depth here. And my mental blocks are difficult to surmount.
Is "c + c = c" actually a valid expression? Do physicists actually ever put it that way? If they do, we should be able to find a discussion about this oddity somewhere. I don't even know how to Google it. I tried and didn't come up with anything relevant. If you can point me somewhere, I'd appreciate it!
I noticed that if you plug c in for u and for v in that equation, the result is just c. But we aren't really putting c+c on the left side of the equation, are we? It seems obviously problematic to do so, as u+v simply does not equal (u+v)/(1+4/c^2).
There simply must be something wrong with looking at it this way, but at the moment, I just don't have the requisite understanding to see what it is.
Play with this graph I made here:
https://www.desmos.com/calculator/yejpszq9ev
y = (u+v)/(1+4/x^2)
Now test to see if y ever equals u + v.
I put in x instead of c to show that no matter the value of x, for any sum of nonzero values for u and v, y never equals u + v. As the value of x increases, the y value asymptotically approaches u+v, but never reaches it.
I suppose I'll need to! But does it put things that way? I'll have a look.
It doesn’t.
Under both currently understood physical law, and the logical law of identity, c + c = c is unintelligible.
If you don’t already have it, see http://www.fourmilab.ch/etexts/einstein/specrel/www/
Thanks. I will read that later.
I've got a maths degree and a good chunk of it was self taught due to course structure. Currently doing a PhD in it too, and I've been employed as a research assistant in applied statistics a couple of times. /CV :)
I've got 1.8k of the damn things, I should probably post less.
Yes.
Quoting Crazy Diamond
OK, think of the reference frame as an implicit aspect of the velocity that must be factored in to any calculation. The train is travelling at 20km/h in my reference frame (on the train platform) but is at rest in its own reference frame. That is, there is only ever a velocity relative to a reference frame. Just adding the velocities assumes that the reference frame information can be ignored, whereas the formula factors them in. That is, the formula calculates the velocity of the emitted light in my reference frame given the train's velocity in my reference frame (20km/h) and the velocity of the emitted light (c) in the train's reference frame. Which is (20 + c) / (1 + (20 * c) / c^2) = c.
It's like calculating the amount of US dollars given 20 US dollars and 100 Australian dollars. 20 + 100 = 120, but the answer to the actual question is 20 + (100 * 0.70) = 90 US dollars (assuming the exchange rate is 1AUD = 0.70USD). If we ignore the currency rates, and it so happened that they were the same, then just adding the dollar amounts would give the correct answer. Similarly, if we ignore the reference frames and it so happened that there was no maximum velocity across all reference frames, then just adding the velocities would give the correct answer.
Quoting petrichor
That's not the law of identity... And besides which, there's some evidence that quantum objects are individuated so there is metaphysical leeway here.
You're right. It isn't. I am not claiming that "2+2=4" is actually the law of identity itself as traditionally given. The law of identity says that "A = A". "A" is identical with itself. What I am suggesting is that "2+2=4" or any other correct mathematical expression like it where two expressions on opposite sides of an equals sign are in fact equal is perhaps regardable as an instance of this law. The law itself is more abstract and covers all possible cases.
"2+2=4" is just another way of saying "4=4".
"2+2" and "4" are just different ways of expressing the same thing.
There is a reason it works to replace one expression with an equivalent one in an algebraic operation. You could replace "2+2" with "4" or "8/2" or "1+1+1+1" or "2*2" or "sqrt(16)" or "12-8". You get the idea.
You're going to have to explain that to me. And if quantum objects are individuated as you say, what does that mean for pure mathematical quantities like "4"?
I think the question at issue is whether it is a fact. As others have explained, it doesn't have to be. It depends on your starting assumptions.
Can you provide a link or citation for this? Cause I was curious to read more, but I can't find anything. Thanks!
The formula for adding velocities in relativistic physics is
[math]u = \frac{v + u'}{1+\frac{vu'}{c^2}}[/math]
It is described here. Like any other formula in physics, it depends on the ordinary truths of arithmetic.