turing jump

Fetched 2026-10-26 (cache).

Datamuse reports no synonyms or antonyms for this word.

Noun

1. {{lb|en|computing theory}} In [[computability theory]], an [[operation]] that [[assign]]s to each [[decision problem]] ''X'' a [[successively]] [[hard]]er [[decision problem]] ''X′'' with the [[property]] that ''X′'' is not [[decidable]] by an [[oracle machine]] with an [[oracle]] for ''X''.

Source: Wiktionary · CC BY-SA 4.0 (Wiktionary dump) · cached copy, not a rewrite.