Mathematical reasoning may be regarded rather schematically as the exercise of a combination of two facilities, which we may call intuition and ingenuity.
Alan TuringWe may hope that machines will eventually compete with men in all purely intellectual fields.
Alan Turing