There are two things being talked about here, and worth teasing them out.
On the one hand, this article is talking about the hierarchy of "physicality" of various mathematical concepts, and they put Cantor's real numbers at the floor. I disagree with that specifically; two quantities are interestingly "unequal" only at the precision where an underlying process can distinguish them. Turing tells us that any underlying process must represent a computation, and that the power of computation is a law of the underlying reality of the universe (this is my view of the Universal Church-Turing Thesis, not necessarily the generally accepted variant).
The other question is whether Cantor's conception of infinity is a useful one in mathematics. Here I think the answer is no. It leads to rabbit holes that are just uninteresting; trying to distinguish inifinities (continuum hypothesis) and leading us to counterintuitive and useless results. Fun to play with, like writing programs that can invoke a HaltingFunction oracle, but does not tell us anything that we can map back to reality. For example, the idea that there are the same number of integers as even integers is a stupid one that in the end does not lead anywhere useful.
> On the one hand, this article is talking about the hierarchy of "physicality" of various mathematical concepts, and they put Cantor's real numbers at the floor. I disagree with that specifically
I didn't mean to suggest that the reals are the floor of reality, rather that they are more floorlike than the integers.
> The other question is whether Cantor's conception of infinity is a useful one in mathematics. Here I think the answer is no.
Tools are created by transforming nature into something useful to humans. Is Cantor's conception of infinity more natural? I can't really say, but the uselessness and confusion seems more like nature than technology.
> the idea that there are the same number of integers as even integers is a stupid one that in the end does not lead anywhere useful
it leads to the idea that measuring 2 sets via a bijection is a better idea than measuring via containment
That a bijection exists is incredibly useful. But the idea of "measuring" infinite sets in the cardinality sense is not very interesting or useful.
Saying that two sets have the same cardinality is equivalent to saying there is a bijection between them. I don't understand how the latter can be useful but not the former?
It isn't very interesting or useful... to you.
> For example, the idea that there are the same number of integers as even integers is a stupid one that in the end does not lead anywhere useful.
I am not sure what you are arguing here. We’ve been teaching this to all undergraduate mathematicians for the last century; are you trying to make the point that this part of the curriculum is unnecessary, or that mathematics has not contributed to the wellbeing of society in the last hundred years? Both of these seem like rather difficult positions to defend.
Yeah, we teach it. It ends up showing up again in measure theory, assuming that anyone still bothers to teach the mostly useless Lebesgue integral instead of the gauge integral. Measure theory shows up again in probability theory if you're not using Kolmogorov for some sadistic reason and you have to deal with countability.
Otherwise it's pretty much a dead end unless you're in the weeds. You just mutter "almost everywhere" as a caveat once in a while and move on with your life. Nobody really cares about the immensely large group of numbers that by definition we cannot calculate or define or name except to kowtow to what is in retrospect a pretty bad theoretical underpinning for formal analysis.
> For example, the idea that there are the same number of integers as even integers is a stupid one that in the end does not lead anywhere useful.
Well, there are the same number. So, uh, sorry?