I think Gödel’s incompleteness theorem and undecidable problems show something about reality, or perhaps mathematics, rather than the human mind.
I don’t see what this has to do with the human mind, though. I would say the human mind can definitely be modelled as a computer of some sort, it is a computer, but not one that resembles a commercially available computer. They have significant differences, but I think theoretically one could write a program that would mimic the way the human mind works. It would have to use AI techniques like neural networks, and be able to rewrite itself in limited ways, which we haven’t figured out how they work. But I don’t think it would be impossible.
You are not logged in. However you can subscribe from another Fediverse account, for example Lemmy or Mastodon. To do this, paste the following into the search field of your instance: !asklemmy@lemmy.ml
A loosely moderated place to ask open ended questions
If your post is
Open ended
Not offensive
Not regarding lemmy support (c/lemmy_support)
not ad nauseam inducing (please make sure its a question that would be new to most members)
No.
I think Gödel’s incompleteness theorem and undecidable problems show something about reality, or perhaps mathematics, rather than the human mind.
I don’t see what this has to do with the human mind, though. I would say the human mind can definitely be modelled as a computer of some sort, it is a computer, but not one that resembles a commercially available computer. They have significant differences, but I think theoretically one could write a program that would mimic the way the human mind works. It would have to use AI techniques like neural networks, and be able to rewrite itself in limited ways, which we haven’t figured out how they work. But I don’t think it would be impossible.
I’m totally lost on why you would think that.
All it means is that the mind doesn’t operate on formal logic.
Someone would probably need to have dual PhDs in math and psychology to confidently answer that…
or, addressing this question requires a collaboration between math postdocs and psychology postdocs