158

Equality (ro-che.info)

submitted 4 months ago* (last edited 4 months ago) by barsoap@lemm.ee to c/science_memes@mander.xyz

24 comments fedilink hide all child comments

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

[-] lowleveldata@programming.dev 42 points 4 months ago

Actually we don't know whether 2+3 equals to 3+2 without seeing the definition of the + operator

[-] FuglyDuck@lemmy.world 37 points 4 months ago* (last edited 4 months ago)

1 x 0 = 0

And

2 x 0 = 0

Then 1 = 2.

And this folks is why you don’t hire “math teachers” because he was a successful football coach. It took him way too long to realize this is why we don’t divide by zero, (more than a week, actually.)

[-] barsoap@lemm.ee 16 points 4 months ago

Fun fact: C doesn't even guarantee a + b == a + b

[-] lowleveldata@programming.dev 15 points 4 months ago

*If a and b are float

[-] barsoap@lemm.ee 5 points 4 months ago* (last edited 4 months ago)

Or signed integers because overflow is undefined. It could do the left-hand computation in two's complement and the right hand in sign-magnitude, leading to different results. Or, as it's undefined, it could brew you some coffee and serve it with an aspirin.

[-] Viking_Hippie@lemmy.world 2 points 4 months ago

That's decidedly unfun and headhurty for those of us less mathemstically inclined. Also so deep into the theoretical weeds that I'm not sure that "fact" applies..

[-] barsoap@lemm.ee 6 points 4 months ago* (last edited 4 months ago)

One night I dreamt about the new C standard. It was a tome of ten thousand pages, in dense, tiny, font, three columns of text on each page, and it was all headings and sub-headings interspersed with nothing but either "undefined" or "implementation-defined".