Meta

[Alexander van der Vekens]

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

[Benoit]

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