It seems possible that there might also be finite closed rings of memes that all make fun of another. In this case there would be no normiest meme, and dankness would not be well-ordered.
Euler's Meme
Submitted 3 days ago by fossilesque@mander.xyz to science_memes@mander.xyz
https://mander.xyz/pictrs/image/4431ab0c-ae5e-4fe9-9995-eec89c9b2d33.jpeg
Comments
Malgas@beehaw.org 3 days ago
yetAnotherUser@discuss.tchncs.de 1 day ago
Let M be the set of all memes.
Is this well-defined? How can you tell whether something is an element of M?
f(x) is a meme making fun of x for all x in M
Does such an f even exist? Why? Obviously it exists for some x in M but for all?
Thus there exists a normie meme n
What’s a normie meme? Why does its existance follow?
and a unique function F for all natural number k
This again requires f to be well-defined.
The set M is also equipped with a dankness norm.
Prove it has that norm and please also prove it fulfills all properties of a norm.
with property that ||F(k)|| ≤ ||F(k+1)|| for all k in N.
[proof required]. Idea for a counterexample: A meme making fun of a meme in such a terrible way it cannot possibly be “danker”. Though this would require f^-1(terrible meme making fun of meme) to not be empty.
Urist@lemmy.ml 2 days ago
I would rather take my mathematical memes with adequate proof of well defined functions and proof of uniqueness 🤢
stevedice@sh.itjust.works 1 day ago
Let M and f be as in the hypotheses of the meme.
Since f is a meme, then f∈M. That means f can be applied to itself. It follows that (f, f(f))∈f. We have then:
f ∈ {f, {f, f(f)}} = (f, f(f)) ∈ f
Thus, f∈f, violating the Axiom of Regularity. We conclude the meme is mathematical bullshit and I will not have it.
wolframhydroxide@sh.itjust.works 1 day ago
One of your precepts is flawed. f is not a meme any more than the word “all” is in “all your base are belong to us”. f is defined by text within the overall meme, but while it is part of the meme, it is not the meme itself, as it lacks the content of the remainder of the meme. Your precept is like saying “9 is prime, because it is the prime number ‘19’”. 9 is not prime. It is part of the representation of the number 19. f is not the meme. It is part of the context which defines the meme.
stevedice@sh.itjust.works 1 day ago
What? No, the image explicitly says f is a meme.
Atlas_@lemmy.world 2 days ago
Oddly enough, if you take the derivative of f, you get the constant function 0.
Many interpret this to mean that “all memes are derivative”, which is true, but not the cause.
The real cause is that the value of any given meme is equal to the value of any other given meme. Doesn’t matter which one you look at, they all fail to make you laugh.
FishFace@piefed.social 3 days ago
We define a function f’:P(M)->M such that f’(A) is a meme simultaneously making fun of all memes in the set A.
We extend F transfinitely by defining F(l) where l is a limit ordinal to be f’(A) where A is the union of F(a) for a < l.
skulblaka@sh.itjust.works 2 days ago
I like your funny words, magic man