It is likely that the total number of possible mental states invovled in developing these methods converges to infinity withy time. But, on the other hand, the total number of possible Turing machine states will alwyas be finite.
Kurt Gödel, 1951.
Note:
Gödel claims that Turing's argument only becomes valid under the following two assumptions:
1) There is no mind separate from matter.
2) The brain functions basically like a digital computer.
Gödel believed that the secondary assumption was true but that the first was "merely a prejudice of our times" that would eventually be disproved." Wang, 1974, p.326.
