Mathematical reasoning may be regarded rather schematically as the exercise of a combination of two facilities, which we may call intuition and ingenuity.
Alan TuringIt seems probable that once the machine thinking method had started, it would not take long to outstrip our feeble powersโฆ They would be able to converse with each other to sharpen their wits. At some stage therefore, we should have to expect the machines to take control.
Alan TuringI am not very impressed with theological arguments whatever they may be used to support. Such arguments have often been found unsatisfactory in the past. In the time of Galileo it was argued that the texts, 'And the sun stood still... and hasted not to go down about a whole day' (Joshua x. 13) and 'He laid the foundations of the earth, that it should not move at any time' (Psalm cv. 5) were an adequate refutation of the Copernican theory.
Alan TuringA very large part of space-time must be investigated, if reliable results are to be obtained.
Alan TuringI'm afraid that the following syllogism may be used by some in the future. Turing believes machines think Turing lies with men Therefore machines do not think Yours in distress, Alan
Alan TuringIn attempting to construct such (artificially intelligent) machines we should not be irreverently usurping His (God's) power of creating souls, any more than we are in the procreation of children,โ Turing had advised. โRather we are, in either case, instruments of His will providing mansions for the souls that He creates.
Alan Turing