On Mon, Oct 12, 2020 at 8:42 AM Wes Turner

No, 2 times something is greater than something. Something over something is 1.

If we change the division axiom to be piecewise with an exception only for infinity, we could claim that any problem involving division of a symbol is unsolvable because the symbol could be infinity.

Again, you start with the assumption that infinity is a number. "2 times something is greater than something" applies only to positive real numbers - not to zero, not to negative numbers, not to complex numbers.

This is incorrect: x / 2 is unsolvable because x could be infinity x / 2 > x / 3 (where x > 0; Z+) is indeterminate because if x is infinity, then they are equal.

assert 1 / 0 != 2 / 0 assert 2*inf > inf assert inf / inf == 1

Where do these assertions hold true? Certainly not in Python, nor in mathematical real numbers.

I should have said capricious (not specious). I'm again replying to the main thread because this is relevant: there would need to be changes to tests in order to return (scalar times) infinity instead of ZeroDivisionError.

We should not discard the scalar in scalar*infinity expressions.

The scalar becomes irrelevant when infinity is a limit, rather than a number. Further discussion probably belongs on python-list rather than here. ChrisA