Related terms:
turing's
turing machine
kleene
computability theory
computable function
halting problem
minsky
hilbert's
decidable
halting
turing
computable
completeness
undecidable theories
Wikipedia sources:
Undecidable problem
Decidability (logic)
Halting problem
Turing machine
Algorithm
Computability theory
List of undecidable problems
Reduction (complexity)
Turing machine examples
Type system
Computability
Abelian group
Context-free grammar
Decision problem
Mathematical proof
Algorithm examples
Universal Turing machine
Alfred Tarski
Lists of mathematics topics
Satisfiability Modulo Theories
Quantum algorithm
Theory of everything
Cellular automaton
Register machine
Ambiguous grammar
Model theory
Mathematical logic
Rewriting
Complexity class
System F
Context for words:
undecidable
|
|