1763

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

153 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 10 months ago

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

[-] Rootiest@lemmy.world 2 points 10 months 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 10 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.

this post was submitted on 20 Nov 2023

1763 points (98.1% liked)

Programmer Humor

32060 readers

2531 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