BTW, I wonder if Bourbaki is the only place for proper taxonomy? Shouldn't there be established standards, similar to MSC2010? As I've said in other thread: why not have some formal classification and let the user to assign his own tags for searching. That would need better tools of course.
It's not the same thing. The MSC2010 is just a list of topics. It is used to classify math articles as the Dewey Decimal Classification is used by librarians to classify the books. In Bourbaki's treatise, at least in the first six volumes, a theorem depends only on what is found in the previous volumes. There is no such thing in MSC2010. And above all it permits to find a core of mathematics. Because mathematics by themselves -- FL -- 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/3a2906ca-7f78-469d-9e3a-1873e5de6fc2%40googlegroups.com.
