Turing jump

English dictionary entry

Meanings

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

Word forms

Turing jump Turing jumps

Etymology

Named after Alan Turing.

This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.