Wiktionary

Turing jump

English edit

Etymology edit

Named after Alan Turing.

Noun edit

Turing jump (plural Turing jumps)

  1. (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

Retrieved from "https://en.wiktionary.org/w/index.php?title=Turing_jump&oldid=78095643"