Hi,
This isn't something that I really know much about, but I'll
put my understanding of the issue down in the hope that if
I'm missing something then somebody will point it out and
I'll learn something :)
The literal Church-Turing thesis states that all formal models
of what constitutes a well
The C-T Thesis is an argument for Strong AI because it requires that any
opponent of Strong AI posit a nonstandard model of physics to allow for
noncomputable processes which, through a nonstandard neurological
mechanism, have a noticeable macroscopic effect on brain processes.
This is not a kn