4 ms·
> This is actually why I feel that mathematical texts tend to be not rigorous enough, rather than too rigorous. This is _precisely_ the opinion of Roger Godeme
by Galanwe 3y ago
> This is actually why I feel that mathematical texts tend to be not rigorous enough, rather than too rigorous.
This is _precisely_ the opinion of Roger Godement, French mathematician and member of the Bourbaky group.
I would highly recommend his books on Algebra. They are absolutely uncompromising on precision and correctness, while also being intuitive and laying down all the logical foundations of their rigor.
Overall, I cannot recommend enough the books of the Bourbaky group (esp. Dieudonne & Godement). They are a work of art in the same sense that TAOCP is for computer science.
- ykonstant 3y agoUnfortunately, some of the Bourbaki books need to be read in French, because the typesetting on the English translations is so atrocious as to be unreadable; as a consolation, the typesetting on the original French is, as always, immaculate.