Is Mark Zuckerberg our new boss now? I don't hope so. Reading about the new name "Meta" for the Facebook company (see https://www.wired.com/story/facebook-name-change-meta/), I cannot avoid thinking about the relation to and possible impacts on Metamath, just because of the name: Is it an advantage for Metamath, because people could think that it belongs to Meta or the Metaverse promised by Mark Zuckerberg? If this is the case, we may get some more "Followers", actively using and extending Metamath and its databases as set.mm. Or are we affected by the current negative associations with Facebook, putting off people interested in mathematics?
Maybe we are in a parallel Metaverse, where truth, trust and rigor are the central values, not allowing for fake news (false theorems) or alternative facts (based on unjustified axioms). Just some thoughts... Alexander -- 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/e5debdaf-eff4-415a-9667-6d1abbcb3eb7n%40googlegroups.com.
