3 ms·
“Nothing breaks” in that it isn’t unsound, in that you can’t use it to prove a falsehood. Not that you can’t use the nice little shortcuts you’re used to. In p
by ajanuary 8y ago
“Nothing breaks” in that it isn’t unsound, in that you can’t use it to prove a falsehood. Not that you can’t use the nice little shortcuts you’re used to.
In practical terms, that _does_ have an impact, because people might use those shortcuts without realising the system they’re operating under doesn’t allow it.
But you picked the wrong quote to make that point under.
- lisael 8y agoTo elaborate on the 'nice little shortcut' you mentioned, here it is: If a==b and N≠0, then x==y EDIT: Formatting
- ummonk 8y agoNo, that is not necessary. "Given an x, y, and N such that x/N == y/N, it is true that x == y". There is no need to say N != 0 under the ordinary definition of division.