Math Memes

1477 readers

59 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

[email protected]

349

Proof by fucking obviousness (sh.itjust.works)

submitted 2 days ago by [email protected] to c/[email protected]

66 comments fedilink hide all child comments

you are viewing a single comment's thread
view the rest of the comments

[–] [email protected] 23 points 2 days ago* (last edited 2 days ago)

Using the Peano axioms, which are often used as the basis for arithmetic, you first define a successor function, often denoted as •' and the number 0. The natural numbers (including 0) then are defined by repeated application of the successor function (of course, you also first need to define what equality is):

0 = 0
1 := 0'
2 := 1' = 0''

etc

Addition, denoted by •+• , is then recursively defined via

a + 0 = a
a + b' = (a+b)'

which quickly gives you that 1+1=2. But that requires you to thake these axioms for granted. Mathematicians proved it with fewer assumptions, but the proof got a tad verbose