What are some complicated ways to write 1+1? (programming.dev)

submitted 11 months ago by Kuba@programming.dev to c/math@lemmy.world

12 comments fedilink hide all child comments

Kinda like (2/2)+(3/3) but way more complicated

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

[-] TheOrs@lemmy.world 8 points 11 months ago

The standard way when using ordinal arithmetic is: Take the ordinal 1, which is {{}}. Replace each element with a ordered pair of the form {{a},{a,b}} with second element being 0 (that is {}). Repeat with second element 1. Take a union. Take find the ordinal with this order. Overall: otp({ {{{}},{{},{}}}, {{{}},{{},{{}}}} }) Or simplified

otp({ {{{}}}, {{{}},{{},{{}}}} })

this post was submitted on 28 Sep 2023

12 points (83.3% liked)

math

792 readers

24 users here now

General community for all things mathematics on @lemmy.world

Submit link and text posts about anything at all related to mathematics.

Questions about mathematical topics are allowed, but NO HOMEWORK HELP. Communities for general math and homework help should be firmly delineated just as they were on reddit.

founded 1 year ago

MODERATORS

mrh@lemmy.world