this post was submitted on 10 Jul 2025
322 points (93.8% liked)
Technology
72729 readers
1922 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
So are we fully abandoning reason based robots?
Is the future gonna just be things that guess but just keep getting better at guessing?
I’m disappointed in the future.
Reasoning is just informed guessing.
https://en.wikipedia.org/wiki/Propositional_calculus
https://en.wikipedia.org/wiki/First-order_logic
And that's all for analyzing statements. You can't just do that to some words and discover objective truth out of nowhere, so I'm not sure what you think you're accomplishing here. What you're linking is more analogous to the code that underlies an AI(if/while loops and whatnot). Reasoning is closer to the scientific method of forming a hypothesis and whatnot than anything you linked.
You basically just pointed out that there's a math system for logic. Neat.