roger
Penultimate Amazing
- Joined
- May 22, 2002
- Messages
- 11,466
I need to retreat on a point. I've been proceeding as if Church-Turing is proven. It is not proven, however, it is assumed to be true.
Turing wrote about computability models that aren't Turing reducible. Hypercomputation generally involves introducing elements like oracles (something that somehow magically knows the right answer), infinities (calculate an infinite amount of work in a finite time), infinite superpositions in QM, etc. In short, nothing that appears to be physically realizable. Mark Burgin claims to have a physically realizable super-recursive algorithm, but his results are not accepted in the mathmatics community.
So of course what I've been arguing is not proven without exception. However, so far as I am aware no one has suggested a physically realizable non-Turing computation model. Every suggestion breaks some currently known feature of physics. Which is not to say what we know about physics won't change.
But what to do? Argue what is possible based on what we know, or just throw things out and argue anything? Based on what we know, the brain is computable. New evidence could change that understanding. Hand waving and personal incredulity arguments aren't interesting (to me).
I wish DrKitten was here. She's quite knowledgeable about computability, and would have slapped me around for my earlier mistakes.
Turing wrote about computability models that aren't Turing reducible. Hypercomputation generally involves introducing elements like oracles (something that somehow magically knows the right answer), infinities (calculate an infinite amount of work in a finite time), infinite superpositions in QM, etc. In short, nothing that appears to be physically realizable. Mark Burgin claims to have a physically realizable super-recursive algorithm, but his results are not accepted in the mathmatics community.
So of course what I've been arguing is not proven without exception. However, so far as I am aware no one has suggested a physically realizable non-Turing computation model. Every suggestion breaks some currently known feature of physics. Which is not to say what we know about physics won't change.
But what to do? Argue what is possible based on what we know, or just throw things out and argue anything? Based on what we know, the brain is computable. New evidence could change that understanding. Hand waving and personal incredulity arguments aren't interesting (to me).
I wish DrKitten was here. She's quite knowledgeable about computability, and would have slapped me around for my earlier mistakes.