Math Memes

3856 readers

1 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 3 years ago

MODERATORS

NotAUser@lemmy.blahaj.zone

the linux file system satisfies the zf axioms (europe.pub)

submitted 8 months ago by siriusmart@lemmy.world to c/mathmemes@lemmy.blahaj.zone

15 comments fedilink hide all child comments

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

[–] ns1@feddit.uk 15 points 8 months ago (2 children)

The one that's most obviously wrong is no. 4, which I think is meant to be the axiom of infinity, as this would imply every filesystem has a folder with an unlimited number of files. Probably several others have issues as well.

But maybe you can get around it if you imagine an idealised infinite linux filesystem rather than an actual real example!

[–] bleistift2@sopuli.xyz 5 points 8 months ago (1 children)

5 is bogus, too. You can’t create a folder by copying files into a[n already existing?] directory.

[–] siriusmart@lemmy.world 2 points 8 months ago (1 children)

i was trying to say this command

mkdir union
cp -rf A/* union
cp -rf B/* union

would create the union folder

[–] bleistift2@sopuli.xyz 1 points 8 months ago

Oh. Your original 5th axiom didn’t mention unions.

[–] siriusmart@lemmy.world 2 points 8 months ago (1 children)

oh 8 is the axiom of infinity, 4 is the pair set axiom

[–] ns1@feddit.uk 1 points 8 months ago (1 children)

Ah that makes sense thanks. It's cool how symlinks can give a kind of infinity.

Is this OC? I didn't realise at first, it's a fun idea well researched.

[–] siriusmart@lemmy.world 2 points 8 months ago

yeah its OC