One day ladies will take their computers for walks in the park and tell each other, "My little computer said such a funny thing this morning".

Instruction tables will have to be made up by mathematicians with computing experience and perhaps a certain puzzle-solving ability. There need be no real danger of it ever becoming a drudge, for any processes that are quite mechanical may be turned over to the machine itself.

In 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.

Machines take me by surprise with great frequency.

One day ladies will take their computers for walks in the park and tell each other, "My little computer said such a funny thing this morning".

Mathematical reasoning may be regarded.

Mathematical reasoning may be regarded rather schematically as the exercise of a combination of two facilities, which we may call intuition and ingenuity.