Alan Turing — "Mathematical reasoning may be regarded rather schematically as the exercise of a…"

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 — Alan Turing Modern · Computer science, codebreaking

Get This Quote & Author's Image Illustrated On:

Click any product to generate a realistic preview. Up to 3 at a time.
* Initial load can take up to 90 seconds — revising the preview in another color is nearly instant.

Kitchen

Apparel

Other

Details

Systems of Logic Based on Ordinals

Date: 1939

Educational

Verification

Unverifiable

Found in 1 providers: grok

1 source checked

Understanding this quote

What it means

Mathematical thinking works through two distinct mental gears: intuition, the direct grasp of whether a statement is true without formal proof, and ingenuity, the clever construction of logical steps that bridge known truths to new conclusions. Neither alone suffices. Real mathematical work requires sensing where truth lies and then engineering the rigorous path to demonstrate it.

Relevance to Alan Turing

Turing embodied both faculties simultaneously. His intuition produced the conceptual leap of the universal Turing machine before formal computing existed. His ingenuity built the Bombe at Bletchley Park, systematically cracking Enigma through mechanical logical elimination. This distinction reflects how Turing approached problems: visionary insight paired with ruthless, precise technical execution that translated abstract ideas into working systems.

The era

Turing wrote this in 1939, as formalism in mathematics was under intense scrutiny following Gödel's incompleteness theorems and Hilbert's program collapse. The question of what machines could compute, what humans could intuit, and whether mathematical truth exceeded formal proof was live and urgent. World War II was beginning, making the gap between conceptual insight and engineered solutions immediately, devastatingly consequential.

AI-generated insights based on extensive research and information for context. Factual errors? Email [email protected].

Your Cart

Your cart is empty