assert math.inf**0 == 1 assert math.inf**math.inf == math.inf On Sun, Oct 18, 2020, 3:13 AM Wes Turner <wes.turner@gmail.com> wrote:

Thanks for your feedback Rob.

On Sun, Oct 18, 2020, 12:27 AM Rob Cliffe via Python-ideas < python-ideas@python.org> wrote:

On 11/10/2020 22:47, Wes Turner wrote:

Indeed, perhaps virtual particles can never divide by zero and thus the observed laws of thermodynamic systems are preserved.

Would you please be so kind as to respond in the main thread so that this is one consecutive thread?

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. 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.

Which of these are you arguing should fail if Python changes to returning [+/-]inf instead of raising ZeroDivisionError?

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

Both of them (assuming that they don't raise an exception).

assert inf / inf == 1

That should raise an exception; inf/inf is meaningless (just as division by zero is meaningless with finite numbers).

No offence Wes, but you are clearly not familiar with the subject of transfinite numbers as discovered by Cantor. I earnestly suggest you learn something about it before making statements which are - again, no offence intended, but frankly - nonsense. Transfinite numbers do not obey the same rules as finite numbers. Which can be counter-intuitive and take some getting used to, but ... that's the way it is. Best wishes Rob Cliffe _______________________________________________ Python-ideas mailing list -- python-ideas@python.org To unsubscribe send an email to python-ideas-leave@python.org https://mail.python.org/mailman3/lists/python-ideas.python.org/ Message archived at https://mail.python.org/archives/list/python-ideas@python.org/message/NKE6DE... Code of Conduct: http://python.org/psf/codeofconduct/