Quote by Turing, Alan
"In fact, there are already a number of theorems which have been proved by machines, and in the near future it is quite likely that this will be done on a very large scale."
More from Turing, Alan
"I believe that at the end of the century the use of words and general educated opinion will have altered so much that one will be able to speak of machines thinking without expecting to be contradicted."
"The question 'Can machines think?' I believe is too meaningless to deserve discussion."
"A man provided with paper, pencil, and rubber, and subject to strict discipline, is in effect a universal computing machine."
"Computing machinery and intelligence."