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
"The idea of a 'soul' is a philosophical concept, not a scientific one."
"The problem of consciousness is a difficult one, and I do not have a solution to it."
"I expect to lie in the sun, talk French and modern Greek, and make love, though the sex and nationality... has yet to be decided: in fact it is quite possible that this item will be altogether omitted…"
"The human brain has a finite number of states, and so it can be simulated by a finite state machine."
"The process of education is an attempt to produce the kind of intelligence that we would like to have in our machines."
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].