> Everybody experienced writing irrational numbers using decimal notation in school,
To be pedantic, we experienced writing approximations of these numbers in decimal arithmetic.
To be pedantic, we experienced writing approximations of these numbers in decimal arithmetic.
[EDIT] Look, I don't mean to be a dick, performative misreading and plainly-unnecessary "correction" are just two of my least-favorite types of HN post. I probably should have just downvoted the original performative misreading (not yours, the one up-thread) and not Assumed Good Faith that the original poster genuinely doesn't understand what every non-math-nerd means when they say or write "decimal number" (it's the ones you write with a decimal. It's... so very simple, that's why non-math-nerds use that and not "real number", the definition of which they've long since forgotten. "Well but you can't actually represent irrationals them entirely in decimal notation" great, wonderful, has zero bearing on what people mean by it).
“Decimal numbers” is not a term routinely used by mathematicians (quite distinct from primary and secondary teachers of arithmetic who are, unfortunately, rarely mathematicians), precisely because of the confusion you, perhaps unwittingly, elicited. If you mean by this phrase all infinite series with a decimal approximation, then you’re talking about the reals. Some people thought you meant this!
Other people, also quite reasonably, interpret “the Decimal numbers” to mean all numbers that can actually be expressed with (finite) decimal notation, in which case you are talking about (a subset of) the rationals.
It is extremely important, when discussing different sets, to be clear about the difference between these two.