weirdoguy
- 1,326
- 1,312
sahashmi said:Can you cite a proof that 2+2=4?
You haven't heared of Peano axioms, have you...
sahashmi said:Can you cite a proof that 2+2=4?
"Principia Mathematica" - B. Russell, A.N. Whitehead (Vol 2 page 86) prove that 1+1=2. It is an immediate corollary that 2+2 =4.sahashmi said:Can you cite a proof that 2+2=4?
You’re missing the point. In order to prove that 2+2=4, you first need axioms that can’t be proven. Instantaneous causation implies that A does not occur before B but A causes B. But causality implies time. You can redefine causality in such a way where A occurs at the same time as B or where A occurs before B. But this is nonsensical. You can also redefine 2 to mean something else such that it violates 2+2 equalling 4.martinbn said:"Principia Mathematica" - B. Russell, A.N. Whitehead (Vol 2 page 86) prove that 1+1=2. It is an immediate corollary that 2+2 =4.
You also missed the point presumablyweirdoguy said:You haven't heared of Peano axioms, have you...
Yes, any proof eventually comes down to axioms that must be accepted without proof. That means that choosing axioms is an important part of constructing any system of propositions. You don't appear to have grasped that essential point.sahashmi said:In order to prove that 2+2=4, you first need axioms that can’t be proven.
Says who? Have you proved this? Or are you proposing it as an axiom? On what grounds?:sahashmi said:causality implies time.
Why? It's certainly not as nonsensical as defining "2" to be something else.sahashmi said:You can redefine causality in such a way where A occurs at the same time as B or where A occurs before B. But this is nonsensical.
From what I can see, you are the one who is missing quite a bit in the dogmatic claims you are making.sahashmi said:You also missed the point presumably
Why is it more nonsensical than redefining what 2 means? 2 is literally human language. You can easily redefine it to mean what 3 refers to.PeterDonis said:Yes, any proof eventually comes down to axioms that must be accepted without proof. That means that choosing axioms is an important part of constructing any system of propositions. You don't appear to have grasped that essential point.
Says who? Have you proved this? Or are you proposing it as an axiom? On what grounds?:
Why? It's certainly not as nonsensical as defining "2" to be something else.
From what I can see, you are the one who is missing quite a bit in the dogmatic claims you are making.
sahashmi said:Give me one single, observable example where A causes B and A doesn’t occur before B. This is science. We don’t just get to idly speculate
...
Show me an example of causation where A causes B and A doesn’t occur before B. Causation fundamentally requires time...
If measurements on quantum entanglement are examples of causation, then any such measurements which are spacelike separated are examples of causation where A doesn't occur before B in at least some frames.sahashmi said:can you give one single example of causation where A doesn’t occur before B?
Out of deference to @pines-demon, I am replying in this active thread rather than the other old one.sahashmi said:I will say though: QM doesn’t need spooky action at a distance. All correlations can be explained by (currently unobserved) superluminal influences as well, although they must be super fast