Related terms:
halting problem
computable function
computability theory
computable
about natural numbers
weaker form
statements about natural numbers
relative computability
undecidable problems
models of computation
turing's
kolmogorov complexity
recursively enumerable
incompleteness theorem
undecidable
equivalent definitions
basic open
initial segment
Wikipedia sources:
Halting problem
Computability theory
Oracle machine
Undecidable problem
Hypercomputation
List of undecidable problems
Algorithmically random sequence
Deadlock
Many-one reduction
Enumeration
Computable number
Mathematical universe hypothesis
Autonomation
Computable function
Coolock
Theory of computation
Context for words:
halting
|
|