Thanks Jim and Frédéric. Frédéric: I saw that you did not mention Bourbaki's treatise on the wikipedia page. My point was simply that the use of Bourbaki's ideas as pedagogical tools (which was not advocated by members of the Bourbaki group) was strongly (and in my opinion, rightly) criticized (a few classes in the 1970's suffered the "mathématiques modernes", having to draw potatoids and bijections in middle school, but fortunately this craze only lasted a few years). I think that similarly, the use of Metamath as a pedagogical tool should be taken with care (to me, it could be used as secondary material in introduction to logic classes, but not much else).
If Frédéric and Jim can word a more balanced view, I encourage you to edit the wikipedia page section. I agree with Frédéric that the Bourbaki treatise is a wonderful book, and it really emphasizes the unity of mathematic (no 's'!). I've read big chunks of the first five books and "Lie groups and algebras" and spectral theory. It is a reference book, not a textbook or a pedagogical device. Benoit -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/0a7ad72f-e4f1-4aec-a45c-a6a06f8e8f1c%40googlegroups.com.
