News for hackers. Stuff that matters.

A comment on In Erlang/OTP 27, +0.0 will no longer be exactly equal to -0.0. Parent comment

Re:In Erlang/OTP 27, +0.0 will no longer be exactly equal to... by bawolff on Wednesday May 10, 2023 @06:24AM (#35885610)
Numbers are abstract concepts in general. There is no fundamental reality only "real" numbers.
[ Parent | on HN ]
Re:In Erlang/OTP 27, +0.0 will no longer be exactly equal to... by kragen on Wednesday May 10, 2023 @12:19PM (#35889551)
the question of whether mathematical objects like 53 are more or less real than the historically contingent universe is indeed very interesting

however, it is irrelevant to the fact that a commenter was disagreeing because they had confused ieee-754 division with the division operation on so-called 'real' numbers

[ Parent | on HN ]