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
If this physical interpretation of the Church-Turing thesis
is accepted then it follows that if the physical brain and its
operation is a well defined process then it must be possible
to implement the process that the brain carries out on a Turing
machine. This is the claim of Strong AI.