Church–Turing thesis what can be computed is invalid". They claim that forms of computation not captured by the thesis are relevant today, terms which they call super-Turing computation. Philosophers have interpreted the Church–Turing thesis as having implications for the philosophy of mind. B. Jack Copeland states that it is an open empirical question whether there are actual deterministic physical processes that, in the long run, elude simulation by a Turing machine; furthermore, he states that it is an open empirical question whether any such processes are involved in the working of the human brain. There are also some important open questions which
Turing degree same level of unsolvability; each Turing degree is a collection of Turing equivalent sets, so that two sets are in different Turing degrees exactly when they are not Turing equivalent. Furthermore, the Turing degrees are partially ordered so that if the Turing degree of a set "X" is less than the Turing degree of a set "Y" then any (noncomputable) procedure that correctly decides whether numbers are in "Y" can be effectively converted to a procedure that correctly decides whether numbers are in "X". It is in this sense that the Turing degree of a set corresponds to its level