1742

submitted 1 year ago by produnis@discuss.tchncs.de to c/programmerhumor@lemmy.ml

144 comments fedilink hide all child comments

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

[-] Rootiest@lemmy.world 2 points 1 year ago

Gödel numbers are typically associated with formal mathematical statements, and there isn't a formal proof for 2+2=5 in standard arithmetic. However, if you're referring to a non-standard or humorous context, please provide more details.

[-] metaStatic@kbin.social 1 points 1 year ago

Of course I don't know enough about the actual proof for it to be anything but a joke but there are infinite numbers so there should be infinite proofs.

there are also meme proofs out there I assume could be given a Gödel number easily enough.

this post was submitted on 20 Nov 2023

1742 points (98.2% liked)

Programmer Humor

32568 readers

297 users here now

Post funny things about programming here! (Or just rant about your favourite programming language.)

Rules:

Posts must be relevant to programming, programmers, or computer science.
No NSFW content.
Jokes must be in good taste. No hate speech, bigotry, etc.

founded 5 years ago

MODERATORS

cat_programmer@lemmy.ml

AgreeableLandscape@lemmy.ml