Yes, the math of real analysis is too difficult as a way to learn to read/write proofs. The easy way is a course in abstract algebra from a good teacher who is nice enough to read and correct early homework papers in proofs. Abstract algebra is usually just darned simple, e.g., proving things learned in grade school, so is a good place to learn about proofs.
As in my posts in this thread, before real analysis should be about three books in linear algebra, and that is also likely an okay place to learn to read and write proofs -- a course in abstract algebra with a good teacher as I mentioned is easier, still.
Sadly it's a fact that the academic computer science community has too many chaired, full professors who got their education in mostly just computer science, had few or no good math theorem proving courses, in their current work try to get deep into math with theorems and proofs, but, alas, consistently make serious mistakes in notation, how to state theorems, how to write proofs, etc. I saw the same thing, sad to see, from a EE prof working hard in coding theory. It shows. Apparently a person can get competent reading and writing proofs in some early, appropriate pure math courses or not at all.
Yes, real analysis, advanced calculus, differential equations, differential geometry, mathematical statistics, stochastic processes, etc. are way too difficult as places to learn to read/write proofs. Similarly even for more advanced material in linear algebra.
As in my posts in this thread, before real analysis should be about three books in linear algebra, and that is also likely an okay place to learn to read and write proofs -- a course in abstract algebra with a good teacher as I mentioned is easier, still.
Sadly it's a fact that the academic computer science community has too many chaired, full professors who got their education in mostly just computer science, had few or no good math theorem proving courses, in their current work try to get deep into math with theorems and proofs, but, alas, consistently make serious mistakes in notation, how to state theorems, how to write proofs, etc. I saw the same thing, sad to see, from a EE prof working hard in coding theory. It shows. Apparently a person can get competent reading and writing proofs in some early, appropriate pure math courses or not at all.
Yes, real analysis, advanced calculus, differential equations, differential geometry, mathematical statistics, stochastic processes, etc. are way too difficult as places to learn to read/write proofs. Similarly even for more advanced material in linear algebra.