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/NKE6DETBHE4SCH3DTQREJTYPTDG3KXRA/
Code of Conduct: http://python.org/psf/codeofconduct/