On Mon, Oct 12, 2020 at 8:42 AM Wes Turner <wes.tur...@gmail.com> wrote: > > 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 _______________________________________________ Python-ideas mailing list -- python-ideas@python.org To unsubscribe send an email to python-ideas-le...@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/R2CC5PGN5VHQUJDEOP5CWOCRUHELCEBZ/ Code of Conduct: http://python.org/psf/codeofconduct/
