Mathematical reasoning may be regarded rather schematically as the exercise of a combination of two...#Alan Turing