Turing jump
English edit
Etymology edit
Named after Alan Turing.
Noun edit
Turing jump (plural Turing jumps)
- (computing theory) In computability theory, an operation that assigns to each decision problem X a successively harder decision problem X′ with the property that X′ is not decidable by an oracle machine with an oracle for X.
Further reading edit
- Turing jump on Wikipedia.Wikipedia