Programmer Humor

32443 readers

760 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

AgreeableLandscape@lemmy.ml

cat_programmer@lemmy.ml

1709

we are safe (discuss.tchncs.de)

submitted 11 months ago by produnis@discuss.tchncs.de to c/programmerhumor@lemmy.ml

150 comments fedilink hide all child comments

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

[–] metaStatic@kbin.social 2 points 11 months ago (1 children)

ChatGPT what is the Gödel number for the proof of 2+2=5?

[–] Rootiest@lemmy.world 2 points 11 months ago (1 children)

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 11 months 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.