Programmer Humor

31816 readers

785 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

[email protected]

1693

we are safe (discuss.tchncs.de)

submitted 9 months ago by [email protected] to c/[email protected]

148 comments fedilink hide all child comments

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

[–] [email protected] 2 points 9 months ago (1 children)

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

[–] Rootiest 2 points 9 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.

[–] [email protected] 1 points 9 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.