this post was submitted on 22 Jun 2026
220 points (93.0% liked)

Technology

85670 readers
4102 users here now

This is a most excellent place for technology news and articles.


Our Rules


  1. Follow the lemmy.world rules.
  2. Only tech related news or articles.
  3. Be excellent to each other!
  4. Mod approved content bots can post up to 10 articles per day.
  5. Threads asking for personal tech support may be deleted.
  6. Politics threads may be removed.
  7. No memes allowed as posts, OK to post as comments.
  8. 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.
  9. Check for duplicates before posting, duplicates may be removed
  10. Accounts 7 days and younger will have their posts automatically removed.

Approved Bots


founded 3 years ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
[–] coriza@lemmy.world -3 points 17 hours ago (3 children)

There's nothing to indicate the human brain can't be implemented in a Turing machine too.

That is not true, this is a research branch from computer science and math, it is called Computability theory, it deals with the limits of expressiveness for different types of theoretical machines and expressions, and the most expressive of all is the Turing machine, and a Turing machine cannot do some stuff, the classic example is the Halting problem, a computer cannot definitely say if an algorithm ever stops (mathematica proven that it cannot do it), but a human can do so quite easily.

One may think that maybe a Turing Machine cannot do something but can simulate another machine that does, but that is also proven to be impossible, it cannot simulate something more expressive than itself.

I know computability theory, and I am very familiar with the halting problem. A human cannot solve it either. We made literal mathematical proof of it, and that proof is the halting problem.

The entire point of the halting problem is that if you assume that there is a black box that can answer whether a program halts, you then prove it can't be the case by a proof of contradiction. You can replace the black box with a human brain and it works just as well, that's the entire point of a black box.

[–] Feathercrown@lemmy.world 10 points 14 hours ago

You're misunderstanding the halting problem.

[–] 5gruel@lemmy.world 10 points 14 hours ago

You are refuting something that wasn't said. of course Turing machines cannot compute everything.