Prove that 2 + 2 = 4

Haha, I came across something quite funny on Math Stackexchange just now. :) Someone was asking for a proof that 2+2=42+2 =4. Well, it's kind of intuitive because we see it in our every day life.

But let's go down deeper and explore this statement more rigourously. In other words, how do we really know for sure that that statement is true?!

Let me post that question to you now. Try it before you look at the link below. :)

Here's the link. :)

Enjoy!

#NumberTheory #Proof

Note by Happy Melodies
6 years, 10 months ago

No vote yet
1 vote

  Easy Math Editor

This discussion board is a place to discuss our Daily Challenges and the math and science related to those challenges. Explanations are more than just a solution — they should explain the steps and thinking strategies that you used to obtain the solution. Comments should further the discussion of math and science.

When posting on Brilliant:

  • Use the emojis to react to an explanation, whether you're congratulating a job well done , or just really confused .
  • Ask specific questions about the challenge or the steps in somebody's explanation. Well-posed questions can add a lot to the discussion, but posting "I don't understand!" doesn't help anyone.
  • Try to contribute something new to the discussion, whether it is an extension, generalization or other idea related to the challenge.
  • Stay on topic — we're all here to learn more about math and science, not to hear about your favorite get-rich-quick scheme or current world events.

MarkdownAppears as
*italics* or _italics_ italics
**bold** or __bold__ bold

- bulleted
- list

  • bulleted
  • list

1. numbered
2. list

  1. numbered
  2. list
Note: you must add a full line of space before and after lists for them to show up correctly
paragraph 1

paragraph 2

paragraph 1

paragraph 2

[example link](https://brilliant.org)example link
> This is a quote
This is a quote
    # I indented these lines
    # 4 spaces, and now they show
    # up as a code block.

    print "hello world"
# I indented these lines
# 4 spaces, and now they show
# up as a code block.

print "hello world"
MathAppears as
Remember to wrap math in \( ... \) or \[ ... \] to ensure proper formatting.
2 \times 3 2×3 2 \times 3
2^{34} 234 2^{34}
a_{i-1} ai1 a_{i-1}
\frac{2}{3} 23 \frac{2}{3}
\sqrt{2} 2 \sqrt{2}
\sum_{i=1}^3 i=13 \sum_{i=1}^3
\sin \theta sinθ \sin \theta
\boxed{123} 123 \boxed{123}

Comments

It's shocking that 2+2=42+2=4 can be proven in only 2 pages, when it took 300 pages in Principia Mathematica by Russell and Whitehead to prove that 1+1=21+1=2.

Michael Mendrin - 6 years, 10 months ago

Log in to reply

300 pages!! I wonder what they wrote so much to prove that 1+1=2

Anuj Shikarkhane - 6 years, 10 months ago

@Michael Mendrin I don't understand why it would need 300300 pages to proof that 1+1=21 + 1 =2. By definition of multiplication 1+1=1×21 + 1 = 1 \times 2 and since 11 is the identity element for multiplication over all numbers (excluding zero) 1+1=1×2=2×1=21 + 1 = 1 \times 2 = 2 \times 1 = 2. Can you explain to me why my proof is less "Rigorous"? Notice that I only used the definition of multiplication and identity element since both of them was used in "Rigorous" proof of 2+2=42 + 2 = 4.

Siam Habib - 6 years, 10 months ago

Log in to reply

Well the whole point of the proof is how do you prove the definition of multiplication, not just we know by the definition of multiplication that this multiplied by this is this.I think that is why you would need a 300 page proof right? @Michael Mendrin and @Siam Habib

Mardokay Mosazghi - 6 years, 10 months ago

Log in to reply

@Mardokay Mosazghi Yes, right. Russell and Whitehead were trying to put all of mathematics on a "rigorous logical foundation" with their Herculean Principia Mathematica effort, but the problem is much like what happens when you answer a child's question of "why?", he immediately asks the next "why?" in an infinite regression. Kurt Godel, after reading the efforts of Russell and Whitehead, finally came out with his [first of his incompleteness theorems] On Formally Undecidable Propositions in Principia Mathematica and Related Systems. He essentially showed that perhaps Russell and Whitehead were fruitlessly chasing their own tails, and that, after all, the idea of putting all of mathematics on a "consistent and complete" foundation was doomed from the beginning. Hence, we pretty much go back to simply saying, "1+1=2 because it just is.". @Siam Habib and @Mardokay Mosazghi

Michael Mendrin - 6 years, 10 months ago

@Mardokay Mosazghi Yea I think so.... Like referring to the proof of 1×1=1-1 \times -1 = 1 as I have posted as a comment above, the lemma proved that 0=0×00 = 0 \times 0 which most of us think is common sense....

Happy Melodies - 6 years, 10 months ago

@Mardokay Mosazghi I still wonder that how could they define all the notations for defining multiplication. =="

If the whole point of it is about defining multiplication, why did they want to write about proving 1+1=21+1=2 instead?

Samuraiwarm Tsunayoshi - 6 years, 10 months ago

Wow! 300 pages??? Another link here to prove using only field axioms (using 0s) to prove that 1×1=1-1 \times -1 = 1. :D INTERESTING! :) (Refer to the first answer provided).

To Prove 1×1=1-1 \times -1 = 1

Happy Melodies - 6 years, 10 months ago

Yes. Such is mathematics. Arithmetic requires so much information to compute.

Sharky Kesa - 6 years, 10 months ago

OMG 300 pages

Aman Sharma - 6 years, 10 months ago

hey michael is this book available on internet ? i am eager to see this

Rishabh Jain - 6 years, 10 months ago

Such an easy question but no one can prove it!!!

Anuj Shikarkhane - 6 years, 10 months ago

2+2=(2)+(1+1)=3+1=4 (This is a fact that adding 1 is moving right to the number line which increases the count by 1)

Anshul Gupta - 5 years, 11 months ago

Mind = Blown! :D

Sharky Kesa - 6 years, 10 months ago

Log in to reply

Haha Ikr :)

Happy Melodies - 6 years, 10 months ago
×

Problem Loading...

Note Loading...

Set Loading...