870
Zero to hero
(mander.xyz)
A place for majestic STEMLORD peacocking, as well as memes about the realities of working in a lab.
Rules
I just found out about this debate and it's patently absurd. The ISO 80000-2 standard defines ℕ as including 0 and it's foundational in basically all of mathematics and computer science. Excluding 0 is a fringe position and shouldn't be taken seriously.
Ehh, among American academic mathematicians, including 0 is the fringe position. It's not a "debate," it's just a different convention. There are numerous ISO standards which would be highly unusual in American academia.
FWIW I was taught that the inclusion of 0 is a French tradition.
I have yet to meet a single logician, american or otherwise, who would use the definition without 0.
That said, it seems to depend on the field. I think I've had this discussion with a friend working in analysis.
I did say mathematician, not logician.
Logicians are mathematicians. Well, most of them are.
But not all mathematicians are logicians.
Logically.