this post was submitted on 17 Jul 2024
314 points (94.6% liked)

Programmer Humor

32022 readers
544 users here now

Post funny things about programming here! (Or just rant about your favourite programming language.)

Rules:

founded 5 years ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
[–] CanadaPlus@lemmy.sdf.org 3 points 2 months ago* (last edited 2 months ago)

I mean, unironically yes. It seems the most popular stance is that all math regardless of how weird is Platonically real, although that causes some real bad problems when put down rigorously. Personally I'm more of an Aristotelian.

In the case of things like rational or real numbers, they have a counterpart that's weirder (irrational and imaginary numbers). For the rest I'm not sure, but it's pretty common to just pick an adjective for a new concept. There's even situations where the same term gets used more than once in different subfields, and then they collide so you have to add another one to clarify.

For example, one open interval in the context of a small set of open intervals isn't closed analytically under limits, or algebraically closed, but is topologically closed (and also topologically open, as the name suggests).