Correct. And this is the key distinction between the mathematical approach and the everyday / business / SE approach that dominates on hacker news.
Numbers are not "real", they just happen to be isomorphic to all things that are infinite in nature. That falls out from the isomorphism between countable sets and the natural numbers.
You'll often hear novices referencing the 'reals' as being "real" numbers and what we measure with and such. And yet we categorically do not ever measure or observe the reals at all. Such thing is honestly silly. Where on earth is pi on my ruler? It would be impossible to pinpoint... This is a result of the isomorphism of the real numbers to cauchy sequences of rational numbers and the definition of supremum and infinum. How on earth can any person possibly identify a physical least upper bound of an infinite set? The only things we measure with are rational numbers.
People use terms sloppily and get themselves confused. These structures are fundamental because they encode something to do with relationships between things
The natural numbers encode things which always have something right after them. All things that satisfy this property are isomorphic to the natural numbers.
Similarly complex numbers relate by rotation and things satisfying particular rotational symmetries will behave the same way as the complex numbers. Thus we use C to describe them.
As a Zen Koan:
A novice asks "are the complex numbers real?"
The master turns right and walks away.
Very similar arguments date back to at least Plato. Ancient Greek math was based in geometry and Plato argued one could never demonstrate incommensurable lengths of rope due to physical constraints. And yet incommensurable lengths exist in math. So he said the two realms are forever divided.
I think it’s modern science’s use of math that made people forget this.
Mathematics (and computer science) is often taught independent of philosophy, which is a loss for both fields.
[dead]