Humour in mathematics is something that Daniel Dennett has demonstrated most effectively in his book.
When I made the statement "women are not equal to men" I in no way implied any ordering. If you inferred one, then I would suggest you setup the proposition in metamath and see if you can find a proof that such an ordering exists. Might it be that you have overlooked the fact that the equality relation is abelian ? It certainly suggests a whole new avenue of research for the sociologists amongst us "non-abelian equality and the implications towards multi-valent logic lattices -- or why the world is so fucked up ?" It was a joke ! Andrew On Sat, Jan 4, 2025 at 8:05 PM Jim Kingdon <[email protected]> wrote: > On 1/4/25 08:21, 'Andrew Thompson Thompson' via Metamath wrote: > > there is plenty to do for everyone from newbies ( tell us how you got it > working ) to experts. > > Totally agreed. We aren't going to run out of things to work on with > metamath. > > Finally, I will make the observation that women are not equal to men. > > This is easily demonstrated in all but a countable number of Von Neumann > Univeraes! > > I'm not sure whether this is intended as humor or what, but I do feel the > need to say that we welcome contributors to metamath of any gender, and > indeed have received contributions from people of multiple genders and > continue to do so. > > We haven't formalized our Code of Conduct, but we do have a mostly > unwritten one as described here: > https://github.com/metamath/set.mm/issues/3170#issuecomment-1546072331 > > -- > 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 visit > https://groups.google.com/d/msgid/metamath/1213e2d6-97f7-475b-8bd7-50d38ec34dec%40panix.com > <https://groups.google.com/d/msgid/metamath/1213e2d6-97f7-475b-8bd7-50d38ec34dec%40panix.com?utm_medium=email&utm_source=footer> > . > -- 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 visit https://groups.google.com/d/msgid/metamath/CAAaOGdbfOdRB20CF_XfVtQTj7zMc2907GPgU8%3Ddh168wC_55eg%40mail.gmail.com.
