(November 26, 2022 at 7:19 pm)polymath257 Wrote:(November 26, 2022 at 6:24 pm)Jehanne Wrote: You were taught naive set theory, as was I. Little to no introduction to ZFC.
ZFC vs naive ST isn't so much the issue here as clarity about what an infinite decimal expansion means. Which means being a bit more precise about what it means to be a real number (although, in this case, we are doing convergence in the rationals).
Real numbers, of course, include irrational numbers. In my discrete mathematics course (Rosen was the text), ZFC was mentioned but not taught. Professor Rosen has a text on elementary number theory; I never took that class, as I was a computer science major. Some of the concepts in number theory were mentioned in my automata theory class.
