Math Memes

1530 readers

1 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]

363

Proof by fucking obviousness (sh.itjust.works)

submitted 4 weeks ago by [email protected] to c/[email protected]

59 comments fedilink hide all child comments

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

[–] [email protected] 23 points 4 weeks ago* (last edited 4 weeks 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