Thanks Alexander for this Halloween post and for raising the alarm. I think we should indeed fear the firm. Sugarhill's lawyers would be capable of suing Aristotle for copyright infringement with his "Metaphysics", ignoring that, in addition to being dead, he was not responsible for this title.
On a more serious note, we can be pretty sure of having no fake theorems, even though we have junk ones (discussed a while ago on this group). Benoît On Sunday, October 31, 2021 at 1:30:50 PM UTC+1 Alexander van der Vekens wrote: > 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/5dd86223-42d0-4682-8626-b4aec3814608n%40googlegroups.com.
