Lakso

joined 1 year ago
[–] Lakso@ttrpg.network 99 points 1 year ago (33 children)

...then don't study computer science. I study CS and it's annoying when someone in a more math/logic oriented course is like "If I get a job at a tech company I won't need this". All that IS computer science, if you just wanna code, learn to code.

[–] Lakso@ttrpg.network 0 points 1 year ago* (last edited 1 year ago) (1 children)

Those are valid points and make some practical sense, but I've talked too much with mathematicians about this so let me give you another point of view.

First of all, we do modular arithmetic with integers, not natural numbers, same with all those objects you listed.

On the first point, we are not talking about 0 as a digit but as a number. The main argument against 0 being in N is more a philosophical one. What are we looking at when we study N? What is this set? "The integers starting from 0" seems a bit of a weird definition. Historically, the natural numbers always were the counting numbers, and that doesn't include 0 because you can't have 0 apples, so when we talk about N we're talking about the counting numbers. That's just the consensus where I'm from, if it's more practical to include 0 in whatever you are doing, you use N~0~. Also the axiomatization of N is more natural that way IMO.

[–] Lakso@ttrpg.network 1 points 1 year ago (3 children)

Depends on where you are! In some places it is more common to say that 0 is natural and in other's not. Some argue it's useful to have it N, some, say that it makes more historical and logical sense for 0 not to be in N and use N_0 when including it. It's not a settled issue, it's a matter of perspective.

[–] Lakso@ttrpg.network 11 points 1 year ago

Lua is just a based language. It has strong unpopular opinions and doesn't care what you think.