368
Proof by fucking obviousness
(sh.itjust.works)
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
this post was submitted on 20 Oct 2024
368 points (100.0% liked)
Math Memes
1481 readers
12 users here now
Memes related to mathematics.
Rules:
1: Memes must be related to mathematics in some way.
2: No bigotry of any kind.
founded 1 year ago
MODERATORS
This guy would not be happy to learn about the 1+1=2 proof
Isn't "1+1" the definition of 2?
That assumes that 1 and 1 are the same thing. That they’re units which can be added/aggregated. And when they are that they always equal a singular value. And that value is 2.
It’s obvious but the proof isn’t about stating the obvious. It’s about making clear what are concrete rules in the symbolism/language of math I believe.
Isn't 1 and +1 well defined by the Peano Axioms by using the intersection of all infinite successor functions and starting at the empty set?
It depends on what you mean by well defined. At a fundamental level, we need to agree on basic definitions in order to communicate. Principia Mathematica aimed to set a formal logical foundation for all of mathematics, so it needed to be as rigid and unambiguous as possible. The proof that 1+1=2 is just slightly more verbose when using their language.