What about the sign of zero crowd?
the 8/2(2+2) crowd is almost as annoying as the people who claim that 9.99999... and 10 are different numbers and equally annoying as the people who can't grasp that dividing by zero is as invalid in algebra as it is in arithmetic send tweet
-
-
-
You mean the IEEE 754 standard committee? :D
- Show replies
New conversation -
-
-
i was with you right until division by zero, there *are* some algebras (e.g. the one Coq uses) where division by zero is perfectly defined
-
Well, division is just "finding the inverse multiplicative element in the structure we're working in". However, solving 0·x=a for x is ambiguous for non-zero a in anything that's a ring… and most useful structures that have a multiplication operation are rings.
- Show replies
New conversation -
-
-
Actually I am really happy that (finally) 1/0 = 7 (for unsigned bit vector divison of bit vectors with 3 bits in the SMTLIB standard). Took quite some time.
-
Oh, I didn't know that. Since when? I always liked that about the BTOR bit vector division semantic. Good to know it's now also in SMTLIB.
- Show replies
New conversation -
-
-
Fun aside - in Algorithmic Information theory, you do want binary strings like 10.111111... and 11.0000... to be different, so a common convention to avoid confusion in Cantor space is to treat all binary reals as irrational. (Photo snapped from my copy of Downey and Hirschfelt)pic.twitter.com/ehO9WDVWUz
-
Interesting. Not sure if I'm missing something here, but 11.0000... obviously is rational. Therefore, as far as I understand this, it's not assuming that 10.1111... and 11.0000... are different. Instead, it's assuming that we never encounter such numbers.
- Show replies
New conversation -
-
-
This Tweet is unavailable.
-
People are debating which operator order is the "right" one, as if that were a serious math question.https://knowyourmeme.com/memes/8222
End of conversation
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.