Skip to content
sahil.science
Questions
Papers
Topics
Syntheses
Almanac
About
C⁶
2026
← Questions
Source-derived question
What theoretical foundations did Turing's 1936 paper lay for computation, years before the machines it described could be built?
Computational Complexity Theory
Mathematical Logic and Foundations
Sources that address it
Death of Alan Turing
almanac
Related questions
How can a nondeterministic finite automaton be converted into a deterministic one without losing expressive power?
How did Cook's proof show that many seemingly unrelated hard computational problems were secretly versions of the same problem?
How did Manuel Blum help define what it means for an encryption scheme to be secure?
How did Rabin and Scott's result seed later work on regular expressions and the P versus NP problem?
How did Vladimir Voevodsky's homotopy theory for algebraic varieties let him prove Milnor's conjecture?
How did the classification of a problem as NP-complete change how computer scientists approach solving it?
How do Yao's circuit complexity results limit restricted models of computation?
How do modern proof assistants like Coq and Lean rely on the Curry-Howard correspondence to verify mathematical proofs?