Jump to content

Turing jump

From Wiktionary, the free dictionary

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=82026591"