Those edits look good; thanks. I like the way that you described the scope not to the detail of things like square root, but do include general topics like set theory, complex analysis, topology, etc.
As for Pedagogy, I'd be fine with removing this section. I could see something (moderately different from what is there now) about using metamath in education (I think maybe I saw a few papers in Google scholar on that), although I'm not sure that's enough of a thing that it necessarily needs a mention. On July 12, 2019 6:41:47 AM PDT, Benoit <[email protected]> wrote: >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. -- 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/FC1DFB9C-2B37-44A6-B620-92C043A7546A%40panix.com.
