14
What are some complicated ways to write 1+1?
(programming.dev)
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 28 Sep 2023
14 points (100.0% liked)
math
804 readers
5 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
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({ {{{}}}, {{{}},{{},{{}}}} })