Alan Turing: "Raciocínio matemático pode ser considerado esquematicame...

"Raciocínio matemático pode ser considerado esquematicamente como o exercício de uma combinação de duas instalações, que podemos chamar de intuição e engenhosidade. A atividade da intuição consiste em fazer julgamentos espontâneos que não são o resultado de trens conscientes do raciocínio. O exercício de engenhosidade na matemática consiste em ajudar a intuição através de arranjos adequados de proposições, e talvez figuras ou desenhos geométricos."

--- Alan Turing

Versão em inglês

Mathematical reasoning may be regarded rather schematically as the exercise of a combination of two facilities, which we may call intuition and ingenuity. The activity of the intuition consists in making spontaneous judgements which are not the result of conscious trains of reasoning. The exercise of ingenuity in mathematics consists in aiding the intuition through suitable arrangements of propositions, and perhaps geometrical figures or drawings.