“Q7. The total output of all the mathematicians who have ever lived, together with the output of all the human mathematicians of the next (say) thousand years is finite and could be contained in the memory banks of an appropriate computer. Surely this particular computer could, therefore, simulate this output and thus behave (externally) in the same way as a human mathematician-whatever the Godel argument might appear to tell us to the contrary?

While this is presumably true, it ignores the essential issue, which is how we (or computers) know which mathematical statements are true and which are false. (In any case, the mere storage of mathematical statements is something that could be achieved by a system much less sophisticated than a general purpose computer, e.g. photographically.) The way that the computer is being employed in Q7 totally ignores the critical issue of truth judgment. One could equally well envisage computers that contain nothing but lists of totally false mathematical 'theorems', or lists containing random jumbles of truths and falsehoods. How are we to tell which computer to trust? The arguments that I am trying to make here do not say that an effective simulation of the output of conscious human activity (here mathematics) is impossible, since purely by chance the computer might 'happen' to get it right-even without any understanding whatsoever. But the odds against this are absurdly enormous, and the issues that are being addressed here, namely how one decides which mathematical statements are true and which are false, are not even being touched by Q7.

There is, on the other hand, a more serious point that is indeed being touched upon in Q7. This is the question as to whether discussions about infinite structures (e.g. all natural numbers or all computations) are really relevant to our considerations here, when the outputs of humans and computers are finite.”