4 ms·
The rule `if null < 0 is false, then null >= 0 is true` seems to rely upon the law of the excluded middle, which is violated by the comparison algorithms. I thi
by acjohnson55 9y ago
The rule `if null < 0 is false, then null >= 0 is true` seems to rely upon the law of the excluded middle, which is violated by the comparison algorithms. I think this summarizes the issue.
- lou1306 9y agoMore precisely, it relies on the assumption that (x > y) || (x == y) || (x < y) is true for all values x, y. But the semantics of the comparison operators lead to null > 0 || null == 0 || null < 0 being false and the whole house of cards crumbles down.