Alan Turing — "Mathematical logic, as a subject, is going to have a great future."
Mathematical logic, as a subject, is going to have a great future.
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
More from 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. The activity of the intuition consists in mak…"
"Mother has been staying here, and we seem to be getting on a good deal better. I have been subjecting her to a good deal of sexual enlightenment and she seems to have stood up to it very well. There w…"
"The extent to which we regard something as a machine is a matter of degree."
"May not machines carry out something which ought to be described as thinking but which is very different from what a man does?"
"The question is not whether machines can think, but whether they can do something that we would call thinking."
Verification
Unverifiable
Found in 1 providers: grok
1 source checked
Understanding this quote
What it means
Mathematics would develop powerful formal systems for reasoning, proof, and computation that would transform science and technology. The underlying structure of logical thinking could be mechanized, analyzed, and extended far beyond human intuition alone, opening entirely new fields of inquiry that blend abstract reasoning with practical problem-solving in ways previously unimaginable.
Relevance to Alan Turing
Turing built his career on mathematical logic, from his 1936 paper introducing Turing machines to his work on computability and decidability. He proved certain mathematical questions are undecidable, simultaneously founding theoretical computer science. His Enigma codebreaking applied formal logical reasoning to real-world cryptanalysis, validating his belief that abstract mathematics had profound practical power.
The era
In the 1930s-1950s, Gödel's incompleteness theorems had just shaken foundations of mathematics, while Hilbert's formalist program was collapsing. Church, Turing, and Kleene were independently formalizing computability. The dawn of electronic computers made mechanized logic suddenly tangible. Cold War cryptography and early AI research confirmed that mathematical logic would indeed reshape science, warfare, and human knowledge.
AI-generated insights based on extensive research and information for context. Factual errors? Email [email protected].