List of inventors
article-link
What links here
Turing machine
Hilary Putnam
article-link
Universal Turing machine
article-link
Busy beaver
article-link
Wang tile
article-link
Post correspondence problem
article-link
Abstract machine
article-link
History of logic
article-link
Gödel's incompleteness theorems
article-link
Recursively enumerable language
article-link
PSPACE-complete
article-link
NP-hardness
article-link
EXPSPACE
article-link
P-complete
article-link
Cellular automaton
article-link
Esoteric programming language
article-link
Machine
article-link
Communication complexity
article-link
Alonzo Church
article-link
Fuzzy logic
article-link
Turing tarpit
article-link
Philosophy of mathematics
article-link
Goldbach's conjecture
article-link
Warren Sturgis McCulloch
article-link
Group theory
article-link
PSPACE
article-link
Actual and potential infinity
article-link
Collatz conjecture
article-link
Novikov self-consistency principle
article-link
Thought
article-link
Occam's razor
article-link
Unary numeral system
article-link
Turing completeness
article-link
Theory of computation
article-link
Structured programming
article-link
General recursive function
article-link
Roger Penrose
article-link
Regular language
article-link
Quantum information
article-link
Quantum computing
article-link
Peano axioms
article-link
Primitive recursive function
article-link
Pushdown automaton
article-link
Oracle machine
article-link
Nondeterministic Turing machine
article-link
Number
article-link
NP (complexity)
article-link
Mathematical logic
article-link
Lambda calculus
article-link
Lossless compression
article-link
Turing Machine
redirect
Turing Machine simulator
redirect
Universal computation
redirect
Turing machines
redirect