Turing jump

E1750351 UNEXPLORED

The Turing jump is an operation in computability theory that, given a decision problem, produces a strictly more complex problem whose solution encodes answers to all instances of the original problem.

Try in SPARQL Jump to: Surface forms Referenced by

All labels observed (1)

Label	Occurrences
Turing jump canonical	1

Referenced by (1)

Full triples — surface form annotated when it differs from this entity's canonical label.

Turing degrees → relatedTo → Turing jump ⓘ