“It has been said that computing machines can only carry out the purposes that they are instructed to do,” he explained in a talk to the London Mathematical Society in February 1947. “But is it necessary that they should always be used in such a manner?”

