this post was submitted on 26 Apr 2025
128 points (92.7% liked)
Technology
69421 readers
2799 users here now
This is a most excellent place for technology news and articles.
Our Rules
- Follow the lemmy.world rules.
- Only tech related news or articles.
- Be excellent to each other!
- Mod approved content bots can post up to 10 articles per day.
- Threads asking for personal tech support may be deleted.
- Politics threads may be removed.
- No memes allowed as posts, OK to post as comments.
- Only approved bots from the list below, this includes using AI responses and summaries. To ask if your bot can be added please contact a mod.
- Check for duplicates before posting, duplicates may be removed
- Accounts 7 days and younger will have their posts automatically removed.
Approved Bots
founded 2 years ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
Yet we live in a world where millions of humans assert their will over undecidables every day. Because we can make irrational decisions, logic be damned. Explain that one.
That's not deciding anything in the information-theoretical sense. We rely a lot on approximations and heuristics when it comes to day to day functioning.
You can't decide the halting problem by saying "I'll have a glance at it and go with whatever I think after thinking about it for half a second". That's not deciding the problem that's giving up on it and computers are perfectly capable of doing that.