Posted by ibobev 7 days ago
I took the course under Howard G. Tucker and I did have the impression this was a course not worth taking due to the low number. Turned out to be one of the most memorable classes. We went beyond the curricula in this document and had some fun exploring Hilbert Infinite Hotel and Peanos Axioms. Howard G. Tucker was probably the most memorable professor I had as he was veering in his 90s at the time he taught the course and was just so passionate about teaching.
I was slightly taken aback by this phrasing in the preface as I was under the impression that undergrad math programs introduce foundations ASAP and typically start proof-based classes around end of freshman/start of sophomore.
At a fancy school, you can often take proof-based honors versions of Year 1-2 courses but you still may not get to skip over all of Year 3. Think: calculus using Spivak and real analysis using Rudin.
At Harvard, you can take Math 55, which is essentially Year 3 above (plus complex analysis) in Year 1.