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

    Alan Turing: Mathematical reasoning may be regarded rather schematically as the exercise of a combination of two facilities, which we may call intuition and ingenuity.
    "Systems of Logic Based on Ordinals". Proceedings of the London Mathematical Society, Series 2, Volume 45, 1939.