> > Could this be an approach to find an acceptable way to achieve everybody`s > short/mid-term goals? What would remain to be discussed are the criteria > for definitions (and/or theorems) serving the 1st level goals, i.e. which > definitions are acceptable to be added to the main body/Volume I. of > set.mm... >
A CS engineer in me have a feeling that this is a clumsy half-and-half resolution. Wouldn't it make a zoo of existing informal agreements even less maintainable? Huge database size and single name space hinder scalability. Is there a hope that it could be fixed by something more conventional once and for all? -- 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/895a1dfc-4768-4c9e-84c1-18d1eeddcc94%40googlegroups.com.
