Math Memes

3012 readers

2 users here now

Memes related to mathematics.

Rules:
1: Memes must be related to mathematics in some way.
2: No bigotry of any kind.

founded 2 years ago

MODERATORS

NotAUser@lemmy.blahaj.zone

the linux file system satisfies the zf axioms (lemmy.world)

submitted 5 days ago by siriusmart@lemmy.world to c/mathmemes@lemmy.blahaj.zone

14 comments fedilink hide all child comments

you are viewing a single comment's thread
view the rest of the comments

[–] falcunculus@jlai.lu 8 points 5 days ago

In computer science this difference is called value types vs identity types. Value types are "equal" if their value is the same whereas, identity types are "equal" if they are the same actual instance. So what "equal" means changes.

For instance (using fantasy syntax), new Vector(1,2) == new Vector(1,2) as they are conceptually the same object, but new Person ("John Smith") ≠ new Person ("John Smith") as two persons can be different people even of they share their name, so they cannot be assumed to be the same.

I have no idea how this maps to actual math though.