News for hackers. Stuff that matters.
Re:1/0 = 0 by ajanuary on Friday August 10, 2018 @05:36PM (#17736918)
“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.

Re:1/0 = 0 by lisael on Friday August 10, 2018 @09:00PM (#17737722)
To elaborate on the 'nice little shortcut' you mentioned, here it is:

If a==b and N≠0, then x==y

EDIT: Formatting

Re:1/0 = 0 by ummonk on Friday August 10, 2018 @11:41PM (#17738188)
No, 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.