Comics

749 readers

273 users here now

Post your comics here. Single or multi boxed comics.

Please mark nsfw when appropriate.

Same rules as primary server, no hate.

Please warn others if there may be triggers.

Please mark if the comic is yours either in the title or description

founded 2 years ago

MODERATORS

Linuxduck@lemmy.blahaj.zone

Disjunction (SMBC) (cdn.imgchest.com)

submitted 1 week ago by Samdell@lemmy.eco.br to c/comics@lemmy.blahaj.zone

1 comments fedilink hide all child comments

Alt text: "Thank you to the four people who found this funny or 1=1"

source

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

[–] TauZero@mander.xyz 5 points 1 week ago

There is a crazy idea that since Peano arithmetic has not been proven to be consistent (and cannot be proven so, by Goedel's Theorem), if you ever find a counterexample you can use nondisjunctions like these to immediately effectively prove anything. This may have dubious effects on objective reality. "I have one apple and one apple. Since I can prove that 1+1=5, I now have 5 apples." And boom! You got 5 apples.