Programmer Humor

32557 readers

313 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]

1106

Early disappointment (lemmy.ml)

submitted 1 year ago by [email protected] to c/[email protected]

92 comments fedilink hide all child comments

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

[–] [email protected] 15 points 1 year ago (1 children)

Wait till you hear about oracle machines. They can solve any problem, even the halting problem.

(It's just another mathematical construct that you can do cool things with to prove certain things)

[–] [email protected] 4 points 1 year ago

Thanks for the fun rabbit hole. They can't really solve the halting problem though, you can make an oracle solve the halting problem for a turning machine but not for itself. Then of course you can make another oracle machine that solves the halting problem for that oracle machine, and so on and so forth, but an oracle machine can never solve its own halting problem.