There are numerous examples of this extended usage in theliterature.

The literature on the computational theory of the mind containsnumerous endorsements of propositions equivalent or similar to thesisM that are supported by nothing more than a reference to the work ofTuring or Church (as is illustrated by a number of the quotationsgiven earlier).

(McArthur 1991: 401.) [The] Church/ Turing thesis ...

Therefore, Thesis P is not essentially di#erent from the standard Church-Turing Thesis.
Photo provided by

Some prefer the name Turing-Church thesis.

Because the word ‘computable’ is here being employedsynonymously with ‘computable by an effective method’,this statement is entailed by the Church-Turing thesis, in conjunctionwith Turing’s result that there exist functions uncomputable byany standard Turing machine. However, to a casual reader of thetechnical literature, this statement and others like it may appear tosay more than they in fact do. That a function isuncomputable, in this sense, by any past, present, or futurereal machine, does not entail that the function in questioncannot be generated by some real machine (past, present, orfuture).

[and] [g]ranted that the [Church-Turing] thesis is correct, then...

A common formulation of the Church-Turing thesis in the technicalliterature is the following, where ‘computable’ is beingused synonymously with ‘effectively computable’:

Meanderings concerning the extended Church-Turing thesis and quantum/classical query complexities.
Photo provided by

the Church-Turing Thesis and the Quantum ..

The error of confusing the Church-Turing thesis properly so calledwith one or another form of the maximality thesis has led to someremarkable claims in the foundations of psychology. For example, onefrequently encounters the view that psychology must becapable of being expressed ultimately in terms of the Turing machine(e.g., Fodor 1981: 130; Boden 1988: 259). To one who makes this error,conceptual space will seem to contain no room for mechanical models ofthe mind that are not equivalent to Turing machines. Yet it iscertainly possible that psychology will find the need to employ modelsof human cognition transcending Turing machines.

Classical physics and the Church--Turing Thesis

Yet the analyses Newell is discussing are of the concept of aneffective method, not of the concept of a machine-generatablefunction. The equivalence of the analyses bears only on the questionof the extent of what is humanly computable, not on the question ofwhether the functions generatable by machines could extend beyond thefunctions generatable by human computers (even human computers whowork forever and have access to unlimited quantities of paper andpencils). Indeed, Newell’s argument is undercut by the existenceof (notional) machines capable of generating functions that, givenTuring’s thesis, cannot be generated by any effectivemethod.

37 Quantum Mechanics - Extended Church Turing thesis - …

Rejecting the conventional view, Kripke suggests that, on thecontrary, the Church-Turing thesis is susceptible to mathematicalproof. Furthermore he canvasses the idea that Turing himself sketchedan argument that serves to prove the thesis.

The Church-Turing Thesis (Stanford Encyclopedia of …

A quantum algorithm that exploits the quantum adiabatic which is equivalent to the Turing halting problem and known to be mathematically noncomputable.

37 Quantum Mechanics - Extended Church Turing thesis …

The maximality thesis is by no means the only thesis commonlymislabelled as the ‘Church-Turing thesis’. Another exampleis the simulation thesis. A widespread mistake in modernwriting on computability and the brain is to hold that Turing’sresults somehow entail that the brain, and indeed any biological orphysical system whatever, can be simulated by a Turingmachine.