I cleaned up the introduction and the "Databases" section. In particular: * Mentioned the 3rd place in the "100 theorems" challenge * Restructured the "Databases" section to better reflect the relative importance of the databases, adding intuitionistic, NF, HOL, and putting the older databases in a separate subsection. * Removed excessive details: writing that set.mm implements square roots and exponentiation and whatnot is really too much detail for such a wikipedia page.
What remains to be done: * There are many broken links among the references... * "Pedagogy" section: I would simply remove the whole thing: it merely expresses someone's opinions (which, FWIW, I happen to disagree with). It looks like it was written by FL? I you read me, Frédéric, what's your opinion? Can we delete it? Remember that some of the harshest criticisms made to Bourbaki were actually directed to people wanting to use ideas from their Eléments as pedagogicals tools. * April's fool screenshot: replace with a screenshot of mpeuni/id.html ? Can someone do it? * Section "The Metamath language": I would remove most of the "how to" part, since it is in the Metamath book, where it belongs, and wikipedia is not a "how to" nor a substitute to the Metamath website or book. * Other sections Benoit On Friday, July 12, 2019 at 9:18:20 AM UTC+2, Jon P wrote: > > It looks like they have a system for disclosing conflicts of interest > <https://en.wikipedia.org/wiki/Wikipedia:Conflict_of_interest#How_to_disclose_a_COI>. > > That might help people feel more comfortable with editing. > > Another option would be to try and contact a mathematics or computer > science editor and to ask them to rewrite the page. Not sure how easy that > is though. > -- 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/7c6efcbc-fe9d-4e55-b437-639e3bbb94f4%40googlegroups.com.
