Harry Erwin wrote:
> On the other hand, it has some
> relevance to Church's thesis, since I haven't been able to identify the
> mechanism of a Turing machine (or any of the alternatives) in the
> anatomy 8).
You're not going to find a Turing machine in the nervous system of a
bat. A Turing machine is an infinite object. Any biological system of
nerves with binary states is a finite automata, and thus can be
simulated by a Turing machine. Therefore, you will never find something
a bat can do which a TM cannot do, and Church's thesis is unaffected.
Kevin K.
