ygolo
My termites win
- Joined
- Aug 6, 2007
- Messages
- 6,735
I know it quite well, I've had to show the undecidability of the halting problem for homework sets.Well, the evidence is that the problem is literally unsolvable (proven).
We aren't made up out of anything that sets us apart from the kind of stuff that can't solve the problem...
If we can solve it, then computers can solve it. Because if we explain the solution to someone, we're basically "programming" their understanding.
These are also points of contention. I am not saying you are wrong. But the Church-Turing Thesis remains a thesis an not a known fact.
Spend a little time writing and debugging compilers. It's amazing how often humans see optimizations that even the best optimizing compilers don't. This doesn't prove that we ARE made up of stuff that that sets us apart from the kind of stuff that can't solve the problem. But I am pointing out that it is open in either way.
Replace "consiousness" with "human reasoning" if you want. The point I was making is not that it is "fuzzy" or "elusuve."I see what you're saying, sure. I just don't think "consciousness" is something that can be defined clearly. It's an elusive concept. It's gray, and if you make it a set of features, you can program it. But if it stays gray, I guess you can't.
But it's worthless in conversation in that case.
Put it this way:
what if describing human reasoning algorithmically is equivalent to solving the halting problem?
Well it definitely can be defined if we go bottom-up. Like, all the way bottom. It's just too complex for our computer systems right now.
I am arguing against that word in particular, even (especially) if you go bottom-up. It may be possible, but there are plenty of reasons to be skeptical till it's actually done.
There are some who believe that consiousness is actually quantum coherence of a particular type. What if the threshold of consiousness needed for human reasoning is such an intricate entanglement of the coherent states, that by quantum mechanical principles, it is not possible to recreate it by setting the "pieces" with initial conditions (chaos theory, comlexity theory and other such things can be evoked to pose siimlar problems)--IOW, what if we have to enlist one of our existing biological processes like reproduction as the only way to reproduce human reasoning without ever deciphering how those bioligical processes creates human reasoning.