> So the real question is this: do those features (spiking, conduction delays) actually make biological neural networks capable of computing something that Turing Machines and Artificial Neural Networks cannot?
Are Turing machines proven to be able to compute anything computable, so isn't this known absolutely to be a "no"?
Well, ask this: does "computable" mean the upper limit of all things that can be computed ever, or simply the upper limit of what can be computed in the ways we know to compute things?
Maybe there is indeed a way to solve the halting problem using a type of computation we can't quite imagine yet. And maybe the human brain is capable of that kind of computation. I don't even know if we know the answers to those questions. I suspect not.
This is where computer science starts to get all philosophical, which is pretty awesome.
Are Turing machines proven to be able to compute anything computable, so isn't this known absolutely to be a "no"?